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