About me

I am currently holding a Post-Doctorate position at Université Libre de Bruxelles in Méthodes formelles et vérification team with Emmanuel Filiot.
My research topics include logic over words, automata theory, semigroup theory and relations realized by transducers.
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)).

Publications - DBLP page

Some talks