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).
Vous pouvez consulter:- un résumé (trop ancien) de mes activités de 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;
- le support de mon cours au MPRI;
- le support de mes cours à l'École Polytechnique;
- quelques informations (en anglais) à propos de Pure FreshML, un langage de programmation prototype que je développe en ce moment;
- 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;
- mes logiciels Macintosh, écrits dans une vie antérieure;
- mon vérificateur de liens Web Big Brother;
- une minuscule applet Java, écrite en un effort désespéré pour être à la mode;
- 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 Workshop ML (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:
Mes étudiants présents et passés sont:
- Nicolas Pouillard (2008-),
- Alexandre Pilkiewicz (2008-),
- Arthur Charguéraud (2007-),
- Yann Régis-Gianas (2004-2007),
- Nadji Gauthier (2003-2005),
- Vincent Simonet (2000-2004).
| Page principale | Téléphone: +33 1 39 63 52 64 | Dernière modification : 16 mai 2008 |