Je suis directeur de recherche à l'INRIA, sur le site de Rocquencourt, près de Paris. (En voici une photo! Et voici des indications pour venir à Rocquencourt.) Je suis membre de l'équipe Gallium (anciennement Cristal).

Recherche:

• la liste de mes publications et exposés;
• un résumé (trop ancien) de mes activités de recherche;
• un ensemble de références bibliographiques que j'ai rassemblées pour mon propre usage (fichier .bib);

Enseignement:

• le support de mon cours au MPRI;
• 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:

• ACM TOPLAS (rédacteur associé);
• ICFP (membre du comité directeur);
• le séminaire de notre équipe (organisateur);
• d'autres séminaires à Rocquencourt;
• le Modèle et l'Algorithme (co-organisateur);

Événements prochains:

• FOSSACS 2010;
• FLOPS 2010 (membre du comité de sélection);
• LICS 2010;

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

• Jonathan Protzenko (2010-),
• Nicolas Pouillard (2008-),
• Alexandre Pilkiewicz (2008-),
• Arthur Charguéraud (2007-),
• Yann Régis-Gianas (2004-2007) (aujourd'hui à l'Université Paris 7),
• Nadji Gauthier (2003-2005),
• Vincent Simonet (2000-2004) (aujourd'hui chez Areva).