Teaching

2011, 2012 Curry-Howard correpondence for Classical Logic
MPRI

2010, 2011 INF551 : Logique et Calculabilité
Ecole Polytechnique

2008, 2009, 2010 Logique formelle et programmation logique
ESIEA

2007 Logic, Specification & Verification - CS3202
University of St Andrews, School of Computer Science

2005-2006 Automates Finis
Université Paris VII - Denis Diderot, U.F.R. d'Informatique

2004-2005 Informatique Fondamentale - IF121
Université Paris VII - Denis Diderot, U.F.R. d'Informatique