J'ai soutenu ma thèse à Ottawa en septembre 2008, thèse effectuée sous la direction de Peter Selinger. J'ai ensuite fait une année de post-doctorat INRIA au laboratoire d'informatique de Polytechnique à Palaiseau. Je suis actuellement ATER au laboratoire d'informatique de Grenoble pour l'année 2009-2010.
Vous trouverez plus d'information, comme mon CV ou ma liste de publications sur mon site personnel à l'adresse http://www.monoidal.net.