

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:
Événements prochains:
Mes étudiants présents et passés sont: