Encadrement en thèse (liste provisoire)
Florent Bouchy
(2006-09): vérification des systèmes
numériques temps-réel, post-doc à Montréal.
Arnaud Sangnier
(2005-08): analyse des programmes avec mémoire, 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
Grégoire Sutre
(thèse 1997-2000), Chargé de recherches CNRS au
LaBRI depuis 2001
Christophe Collet
(thèse 1996-1999, co-encadrée 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).