I am a researcher at INRIA's Rocquencourt site, near Paris, France. (Here is a photo!) I am a member of the Gallium team (formerly Cristal).

I am an associate editor for ACM TOPLAS. I am general chair for the 2007 ACM SIGPLAN Workshop on Types in Language Design and Implementation.

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;
• Menhir, a LR(1) parser generator for the Objective Caml programming language;
• 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;
• my daughter Lola's 2005 album;
• Back to Corsica, an album with text and photos;
• older, sparsely commented photos of Corsica, Mercantour, and Pyrénées.