Researchers

Interests: Language design for distributed programming; automatic synthesis of cryptographic protocols; type safety of distributed communication; Jocaml; distributed failure detection; distributed transactions; process calculi for concurrent computation; operational semantics; bisimulation theory.

Program committee: EXPRESS 2002, POPL 2009.

• 1 September 2006: I now divide my time between Inria Rocquencourt and the new Microsoft Research-Inria Joint Centre.
• 1 September 2002: Research scientist (Chargé de recherche), Moscova Project, Inria Rocquencourt.
• 1 March 2001: Postdoc, Moscova Project, Inria Rocquencourt.
• October 1995 - February 2001: Ph.D. student, Theory and Semantics Group, Computing Laboratory, University of Cambridge, supervised by Robin Milner.