Je suis directeur de recherche à l'INRIA, sur le site de Rocquencourt, près de Paris. (Nous sommes les inventeurs du monde numérique! Sans rire. Au fait, voici des indications pour venir à Rocquencourt.) Je suis membre de l'équipe Gallium (anciennement Cristal). Je suis également professeur chargé de cours à temps partiel à l'École Polytechnique.

Recherche:

• la liste de mes publications et exposés;
• un ensemble de références bibliographiques que j'ai rassemblées pour mon propre usage (fichier .bib);
• Mezzo, le langage de programmation expérimental que je développe avec Jonathan Protzenko.

Enseignement:

• j'enseigne l'algorithmique et la programmation (INF431) ainsi que la compilation (INF564) à l'École Polytechnique;

Logiciels:

• une implémentation prototype du chapitre The Essence of ML Type Inference, par Yann Régis-Gianas, Didier Rémy, et moi-même;
• Pure FreshML, un langage de programmation prototype avec lequel j'ai joué (en anglais);
• Cαml, un outil qui facilite la gestion de l'α-conversion dans les programmes OCaml;
• Menhir, un générateur d'analyseurs syntaxiques LR(1) pour le langage de programmation OCaml;
• Fix, un module OCaml simple permettant de calculer le plus petit point fixe d'un système d'équations monotones;
• PPrint (code source, documentation), une adaptation à OCaml du bel afficheur de Wadler et Leijen;
• FORK, une extension du Système F Omega avec des sortes récursives bien élevées (en anglais);
• mes logiciels Macintosh, écrits dans une vie antérieure;
• mon vérificateur de liens Web Big Brother;
• mon modeste joueur de morpion;
• mon joueur de Puissance 4;

Mes étudiants présents et passés sont:

• Jonathan Protzenko (2010-),
• Nicolas Pouillard (2008-2011) (aujourd'hui en postdoc à l'Université IT de Copenhague),
• Alexandre Pilkiewicz (2008-2011) (aujourd'hui chez Google),
• Arthur Charguéraud (2007-2010) (aujourd'hui chercheur à l'INRIA Saclay),
• Yann Régis-Gianas (2004-2007) (aujourd'hui maître de conférences à l'Université Paris 7),
• Nadji Gauthier (2003-2005),
• Vincent Simonet (2000-2004) (aujourd'hui chez Google France).

Activités:

• le séminaire de notre équipe (organisateur);
• d'autres séminaires à Rocquencourt;

Événements prochains:

• POPL 2013 (membre du comité externe de relecture);

Photos:

• travailler la nuit dédouble ma productivité;
• l'album 2005 de ma fille Lola;
• Retour en Corse, un album avec texte et photos;
• quelques vieilles photos, maigrement commentées, de Corse, du Mercantour, et des Pyrénées.