I am a senior researcher at INRIA's Rocquencourt site, near Paris, France. (Here is a photo! And here are instructions for traveling to Rocquencourt.) I am a member of the Gallium team (formerly Cristal).
You may consult:- a (definitely 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 (.bib file);
- 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.
Activities:
- ACM TOPLAS (associate editor);
- ICFP (member of the steering committee);
- the ML Workshop (member of the steering committee);
- our group's seminar (organizer);
- other seminars in Rocquencourt;
- le Modèle et l'Algorithme (co-organizer);
Upcoming events:
My current and former students are:
- Nicolas Pouillard (2008-),
- Alexandre Pilkiewicz (2008-),
- Arthur Charguéraud (2007-),
- Yann Régis-Gianas (2004-2007),
- Nadji Gauthier (2003-2005),
- Vincent Simonet (2000-2004).