Institut National de Recherche en Informatique et Automatique (INRIA)

Faculty Member, Paris-Rocquencourt

Directeur de recherche

About

I am a researcher in Computer Science; my research topic is distributed systems (i.e., interconnected computers working together). My two current projects are:

• Understanding replication and consistency.
• Simple proof techniques for concurrent programs.

An employee of INRIA, the French National Institute for Computer Science and Control Science, I am part of Regal, a joint group between INRIA and LIP6.

I previously led the Cambridge Distributed Systems Group (Camdis) at Microsoft Research Cambridge (MSRC). Before that I led INRIA's SOR group.

I am the past chair of EuroSys, the European professional society in Computer Systems, which I was instrumental in creating. EuroSys is is the European chapter of SIGOPS.

Contact Information