

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