Assistant professor at Université Paris-Est Créteil (Paris 12) in LACL lab.

Now FNRS researcher at Université Libre de Bruxelles. New webpage

Enseignement à l'Université Paris-Est Créteil

2012-2013 Cours et TDs d'Algorithmique et Initiation à la Complexité. L3, UPEC. Page du cours.

2012-2013 Cours de Modèles et Outils pour la Vérification, Master 1 Informatique, UPEC. Transparents.

2012-2013 Cours de Langage de Spécification, Master 1 Informatique, UPEC. Page du cours.

2012-2013 TD Algorithmique et Complexité, L2 Info, UPEC. solutions.