Mon domaine de recherche est la vérification déductive de programmes. Je suis co-auteur de l'outil Why3.
Je suis membre du comité éditorial du Journal of Functional Programming; vous soumissions sont les bienvenues.
J'ai organisé la compétition 2nd Verified Software Competition (aka VSTTE 2012 Software Verification Competition), avec Andrei Paskevich et Aaron Stump, en novembre 2011.
J'ai soutenu mon HDR en décembre 2011.
Si vous aimez les maths et la programmation, vous allez adorer le Project Euler.
J'enseigne également à l'École Polytechnique, comme chargé d'enseignement dans les cours INF431 et INF421.
J'ai écrit un polycopié d'Initiation à la programmation fonctionnelle.
TP d'Informatique en Caml (classes préparatoires option info)