Depuis le 1er octobre 2008, je suis post-doctorant au département d'informatique de l'universit&eactue; de Turin, en Italie
J'ai soutenu ma thèse de doctorat le 30 septembre 2008 après l'avoir préparée sous la direction de Dale Miller dans l'équipe PARSIFAL (Preuves Automatques et Raisonnement sur des SpécIFicAtions Logiques). Les informations sur ma th&eagrave; et mes recherches sont disponibles ici.
Je suis par ailleurs ancien élève de l'École normale supérieure et j'ai été moniteur de l'enseignement supérieur à l'École Polytechnique.