Je suis actuellement en thèse sous la direction d'Emmanuel Chailloux et de Michel Mauny. La soutenance publique a eu lieu le vendredi 17 juin 2011.

Coordonnées

Adresse physique :
Bureau 5A43
175, rue du Chevaleret
75013 Paris, France

Mél : gregoire.henry{at}pps.univ-paris-diderot.fr

Tél : (+33) 1 57 27 94 16

Adresse postale :
Laboratoire PPS
Université Paris Diderot - Paris 7
Case 7014
75205 PARIS Cedex 13

Un peu d'enseignement...

J'enseigne sur le campus PRG pour l'UFR d'informatique de Paris 7.

Et un peu de code

Type-safe Unmarshalling for Objective Caml ou Désérialisation typée pour Objective Caml.

Dont quelques anciens travaux :

Note : Haskell' et r6rScheme, c'est bien.