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