PhD defended on June 2001, University Paris 7, Contribution à l'algorithmique des automates : complexité et aspects topologiques. ps.gz file, supervised by Jean-Eric Pin and Pascal Weil.
HDR defended on November 2009, Université de Franche-Comté, Automates finis pour la fiabilité logicielle et l'analyse d'accessibilité, pdf.