Je travaille principalement en logique et en théorie des automates. En particulier, je m'intéresse au pouvoir d'expression des fragments de MSO.
Ma liste de publications.
Ma Thèse. Ecrite au LSV, sous la direction de Luc Segoufin.
L'enseignement est sur la page suivante.