Dr Sergio Maffeis is a Senior Lecturer in Computer Security. His current research interests include web security, machine learning, formal methods and verification, programming language semantics. Maffeis received his Ph.D. from Imperial College London, and his MSc from University of Pisa, Italy.
Research Group: Foundations of Secure Web Programming.
See also: Personal web page.