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);

Enseignement:

• le support de mes cours à 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 Objective Caml;
• Menhir, un générateur d'analyseurs syntaxiques LR(1) pour le langage de programmation Objective Caml;
• Fix, un module Objective Caml simple permettant de calculer le plus petit point fixe d'un système d'équations monotones;
• PPrint, une adaptation à Objective Caml 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;

Photos:

• 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.

Activités:

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

Événements prochains:

• POPL 2012 (membre du comité de programme);
• TLDI 2012 (membre du comité d'orientation);
• ESOP 2012;
• ICFP 2012;

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 en postdoc auMPI),
• Yann Régis-Gianas (2004-2007) (aujourd'hui à l'Université Paris 7),
• Nadji Gauthier (2003-2005),
• Vincent Simonet (2000-2004) (aujourd'hui chez Google France).