I am a senior researcher at INRIA's Rocquencourt site, near Paris, France. (Here is a photo! And here are directions to Rocquencourt.) I am a member of the Gallium team (formerly Cristal).
Research:- lists of my publications and talks;
- a (definitely outdated) summary of my research interests;
- a list of bibliographic references that I have put together for my own use (.bib file);
Teaching:
- some course material for students at MPRI;
- some course material for students at École Polytechnique;
Software:
- a prototype implementation for the book chapter The Essence of ML Type Inference, by Yann Régis-Gianas, Didier Rémy, and myself;
- Pure FreshML, a prototype programming language that I have toyed with;
- 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;
- Fix, a simple Objective Caml module for computing the least fixed point of a system of monotone equations;
- PPrint, an Objective Caml adaptation of Wadler's and Leijen's prettier printer;
- FORK, an extension of System F Omega with well-behaved Recursive Kinds;
- my Macintosh software, written in a former life;
- my World Wide Web link checker Big Brother;
- my simple-minded 5-in-a-row player;
- my Connect 4 player;
Photos:
- 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);
- 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:
- Jonathan Protzenko (2010-),
- Nicolas Pouillard (2008-),
- Alexandre Pilkiewicz (2008-),
- Arthur Charguéraud (2007-),
- Yann Régis-Gianas (2004-2007) (now at Université Paris 7),
- Nadji Gauthier (2003-2005),
- Vincent Simonet (2000-2004) (now at Areva).