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