My main research interests are logic and automata theory. More precisely, I am interested in understanding the expressive power of fragments of monadic second-order logic when used on word or tree structures.
My CV.
L'enseignement est sur la page suivante.