Researchers

Dr Sergio Maffeis is a Lecturer and EPSRC Research Fellow in the Department of Computing, Imperial College London. His current research interests include web security, formal methods and verification, programming language semantics. Previous research interests included concurrency theory and expressiveness. Maffeis received his Ph.D. from Imperial College and his MSc from University of Pisa, Italy.