About me

I am a Maître de Conférence (~assistant professor) at Université Paris-Est Créteil in the Laboratoire d'Algorithmique Complexité et Logique, team Specification and Systems Verification.

I teach at the Computer Science department of IUT Sénart-Fontainebleau.

My research topics include verification, synthesis, logic over words, automata theory, semigroup theory and relations realized by transducers.
I previously held a a Post-Doctorate position at Université Libre de Bruxelles in Méthodes formelles et vérification team with Emmanuel Filiot.
I did my PhD at LIAFA (now IRIF) under the supervision of Olivier Carton (IRIF, Université Paris 7 - Denis Diderot) and Jean-Eric Pin (IRIF, Université Paris 7 - Denis Diderot/CNRS), defended on December 2nd, 2014 (view Phd Thesis (in French)).
You can check my CV for a more detailed (although in French) Curriculum Vitae.

Publications - DBLP page