This academic year and the previous one, I have a "délégation" Inria at the QuaCS team at the Laboratoire Méthodes Formelles of Ecole Normale Supérieure Paris-Saclay/Université Paris-Saclay. Since September 2012, I’m “Maitre de conférence” at Université Paris-Est Créteil (France), my research being assigned to Laboratoire d’Algorithmique, Complexité et Logique (LACL) and my teaching to Faculté des Sciences et Technologies (FST).
Before that I’ve spent a year at Université de Paris-Diderot (½ ATER in LIAFA, now IRIF), four years at Université Paris-Saclay and INRIA Saclay (PhD student with teachings, then ½ ATER at LRI/INRIA). As student, I’ve been “chargé de TD” during my second and third year and a research engineer during a summer at the end of my fourth year.