Encadrement en thèse (liste provisoire)

Michael Blondin (thèse 2013-2016): Algorithmique et complexité des machines à compteurs et des WSTS (co-encadré avec Pierre McKenzie, UdM). Post-doc à Munich dans l'équipe d'Esparza.

Michael Cadilhac (thèse 2010-2013): Automates à contraintes semilinéaires (co-encadré avec Pierre McKenzie, UdM), post-doc Univ. Tübingen.

Florent Bouchy (thèse 2006-09): vérification des systèmes numériques temps-réel, post-doc à Montréal. Informaticien à Montréal.

Arnaud Sangnier (thèse 2005-08): Analyse des programmes avec mémoire (co-encadré avec Etienne Lozes). Maître de conférences, Université Paris 7, LIAFA

Sébastien Bardin (thèse 2002-2005), Ingénieur CEA

Jérôme Leroux (thèse 2000-2003). Chargé de recherches CNRS au LaBRI depuis 2005. DR CNRS au Labri.

Grégoire Sutre (thèse 1997-2000). Chargé de recherches CNRS au LaBRI  depuis 2001.

Christophe Collet (thèse 1996-1999, co-encadré avec Rachid Gherbi). Maître de conférences, IUT de Toulouse.

Catherine Dufourd (thèse 1995-1998). Ingénieure de recherches au Centre de recherches d'EDF.

Gérard Cécé (thèse 1995-1998). Maître de conférences, Université de Franche-Comté, Besançon.

Zakaria Bouziane (1992-96). Project Manager , Dryade.

Ramak GhavamizadehMeibodi (1991-1996). Maître de conférences, Iran.

Isabelle Tellier (thèse 1994-1997). Professeure à l'Université d'Orléans (anciennement Maître de conférences à l'Université de Lille 3).

Annie Choquet (1984-87). Professeure à l'Université de Poitiers (anciennement Maître de Conférences à l'Université de Poitiers).