

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).
You may consult:
- 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);
- some course material
for students at MPRI;
- some course material
for students at École Polytechnique;
- 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;
- 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 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:
Upcoming events:
My current and former students are:
 | Home |
Email
| Phone: +33 1 39 63 52 64
| Last modified: January 15, 2010
|