Je suis actuellement en thèse sous la direction d'Emmanuel Chailloux et de Michel Mauny.

Coordonnées

Adresse physique :
Bureau 6C12
175, rue du Chevaleret
75013 Paris, France

Mél : gregoire.henry{at}pps.jussieu.fr

Tél : (+33) 1 44 27 28 38
Fax : (+33) 1 44 27 86 54

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 :

• O'Jacare : une interface objet entre Objective Caml et Java
• TER : module Graphics d'Objective Caml pour Mac OS X
• IPv6 : RFC 3493 for Objective Caml.

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