I am a researcher at INRIA's Rocquencourt site, near Paris, France. (Here is a photo!) I am a member of the Cristal team.
I am an associate editor for ACM TOPLAS.
My former and current students are Vincent Simonet, Nadji Gauthier, and Yann Régis-Gianas.
You may consult- a summary of my research interests;
- lists of my publications and talks;
- a list of bibliographic references that I have put together for my own use;
- some course material for students at MPRI;
- some course material for students at École Polytechnique;
- Cαml, a tool that helps deal with α-conversion in Objective Caml programs;
- my Macintosh software, written in a former life;
- my World Wide Web link checker Big Brother;
- a basic Java applet, written in a desperate attempt to be fashionable;
- Back to Corsica, an album with text and photos;
- older, sparsely commented photos of Corsica, Mercantour, and Pyrénées.