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).

You may consult:

• a (somewhat outdated) 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;
• some information about Pure FreshML, a prototype programming language that I am developing;
• 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.

Events and activities:

• PLPV 2007 (PC member);
• ACM TOPLAS (associate editor);
• ICFP (member of the steering committee);
• our group's seminar;
• le Modèle et l'Algorithme (co-organizer);

My current and former students are:

• Arthur Charguéraud (2007-),
• Yann Régis-Gianas (2004-),
• Nadji Gauthier (2003-2005),
• Vincent Simonet (2000-2004).