• Master 2, Formalismes de description de systèmes, 2006/07
  • Licence, Théorie des langages, 2007
  • Master 2, Logiques comportamentales (Jeux et logique), 2008
  • Master 1, Modèles de calcul, 2009/10, 2010/11, 2011/12