Teaching
2008,2009
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