I am a senior researcher at INRIA's Rocquencourt site, near Paris, France. (We are the inventors of the digital world! No kidding. By the way, here are directions to Rocquencourt.) I am a member of the Gallium team (formerly Cristal). I am also a part-time associate professor at École Polytechnique.
Research:- lists of my publications and talks;
- a list of bibliographic references that I have put together for my own use (.bib file);
- Mezzo, the prototype programming language that I am developing together with Jonathan Protzenko.
Teaching:
- I teach algorithms and programming (INF431) 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 OCaml programs;
- Menhir, a LR(1) parser generator for the OCaml programming language;
- Fix, a simple OCaml module for computing the least fixed point of a system of monotone equations;
- PPrint, an OCaml 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;
My current and former students are:
- Jonathan Protzenko (2010-),
- Nicolas Pouillard (2008-2011) (now a postdoc researcher at the IT University of Copenhagen),
- Alexandre Pilkiewicz (2008-2011) (now at Google),
- Arthur Charguéraud (2007-2010) (now a postdoc researcher at MPI),
- Yann Régis-Gianas (2004-2007) (now at Université Paris 7),
- Nadji Gauthier (2003-2005),
- Vincent Simonet (2000-2004) (now at Google France).
Activities:
Upcoming events:
Photos:
- working at night doubles my productivity;
- 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.