Sergio Maffeis

Sergio Maffeis is an Associate Professor of Computer Security at the Department of Computing, Imperial College London. His research focuses on software security, network and web security, applications of AI to security, security of AI, and formal methods. He leads the Security and Machine Learning Lab and is involved in various academic and research activities, including serving as a program committee member for conferences such as CCS and AAAI. His work includes publications on topics like machine learning for intrusion detection, formal verification, and secure software development.

Sergio Maffeis is an Associate Professor in Computer Security at Imperial College London, specializing in the intersection of computer security, machine learning, programming languages, and formal methods. His research focuses on developing secure software systems through formal verification, language-based security mechanisms, and automated vulnerability detection. He has contributed to the design of secure programming languages, formal semantics for web languages like JavaScript and PHP, and techniques for analyzing and mitigating security vulnerabilities in web applications and cloud storage. His work also explores adversarial machine learning and its implications for intrusion detection systems.