Research Interests

Security, Web services, xml, distributed and functional programming, types, expressivity, pi-calculus.

Contact details

maffeis at doc ic ac uk

Room 433 Huxley Building +44 (0)75948180

Sergio Maffeis Department of Computing, Imperial College London, SW7 2AZ United Kingdom

Visiting researcher at Microsoft Research Cambridge working on security for distributed systems (2006).
Research intern at Microsoft Research Cambridge working on verification of authorization protocols (2004).
Member of the Organizing Committee of CONCUR 2004.
Speaker at FMTJP'01 (Budapest), SAS'01 (Paris), DBPL'03 (Berlin), APPSEM'04 (Tallinn), ITRS'05 ( Turku ), WCC-Ifip-TCS'05 (Toulouse), ESOP'05 ( Edinburgh ).
Research visits (and seminars) to INRIA (Sophia Antipolis, 2001), Chalmers (Gothenburg, 2001), University of Debrecen , (Hungary, 2002), INRIA Futurs (Paris, 2003), BRICS ( Aarhus , 2002; 2003; 2004), MSR-INRIA Joint Lab (2006), LIX Ecole Polytechnique (2006; 2007).

Teaching
- (2006/2007) 481 Models of Concurrent Computation (internal link).
- (2005-2006) 481 Models of Concurrent Computation.
Tutoring
- (2005-2006) Discrete Mathematics II;
- (2004-2005) Discrete Mathematics I, Discrete Mathematics II;
- (2002-2003) Personal Math Tutoring, Reasoning about Programs, Discrete Mathematics, Software Engineering - Methods, Models of Concurrent Computation, Computing Laboratory;
- (2001-2002) Personal Math Tutoring, Reasoning about Programs.