Teaching

• 2011, 2012, 2013
  Curry-Howard correspondence for Classical Logic
  MPRI
• 2012
  INF551: Computer-aided reasoning
  Ecole Polytechnique
• 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