Current PhD students

Maxime Folschette, “Modélisation algébrique de l’évolution et de la dynamique multi-échelles des réseaux de régulation biologique“, since 2011/09/01, co-supervised with Olivier (F.) Roux (50%).

Former PhD students

Loïc Paulevé, “Modélisation, Simulation et Vérification des Grands Réseaux de Régulation Biologique“, defended on 2011/10/06, co-supervised with Olivier (F.) Roux (50%). Currently Post-doc in the AMIB team at LIX,  Palaiseau.

Former Master students

Maxime Folschette, “Application de la logique de Hoare pour la détermination des paramètres de délai dans un système de régulation génique“, defended on 2011/09/01, co-supervised with Olivier (F.) Roux (50%). Currently PhD Student at IRCCyN, Nantes.

Mylène Maurin, “Contribution à l’analyse stochastique des systèmes évolutionnaires : Application à la régulation génique et utilisation du pi-calcul“, defended on 2009/06/25, co-supervised with Olivier (F.) Roux (50%). Currently R&D engineer at GECEM, Paris.

Gilles Benattar, “Logiques temporelles dédiées à la vérification de réseaux de Petri à chronomètres en temps discret” defended on 2007/09/18, co-supervised with Olivier (H.) Roux (50%). Currently R&D engineer at ClearSy, Paris.

Charlotte Seidner, “Mise en oeuvre d’une traduction préservant la bisimulation d’un modèle d’architecture fonctionnelle de haut niveau vers les réseaux de Petri temporels“ defended on 2006/09/20, co-supervised with Olivier (H.) Roux (50%). Currently Associate Professor at IUT de Nantes.