Current students

Ph.D.

Sébastien Lê Cong Ph.D. since October 2017. Topic: "Attack Tree Synthesis".

Florence Wacheux Ph.D. since October 2018. Topic: "A multi-domain platform for the assisted design and analysis of Attack Trees".

Previous students

Ph.D.

Maxime Audinot Ph.D. 2015-2018. Topic: "Assistance à l'analyse de la menace sur la sécurité des bâtiments par génération automatisée d'arbres d'attaque".

Bastien Maubert, Ph.D. (Université de Rennes 1) 2010-2014. Title: "Logical foundations of imperfect information games".
Now in postdoc.

Guillaume Feuillade, PhD. (ENS Cachan) 2002-2005. Title: "Specifications Logiques de Réseaux de Petri."
Now Assistant Professor at IRIT, University Paul Sabatier, Toulouse.

Stéphane Riedweg, PhD. (INRIA-Région) 2000-2003. Title: "Logiques pour le contrôle d'automatismes discrets."
Now teacher in Mathematics.

Mirabelle Nebut, PhD (Université de Rennes 1) 2000-2003. Title: "Réactions synchrones : spécification et analyse", co-supervised with P. Le Guernic (INRIA).
Now Assistant Professor at LIFL univeristy of Lille.

Master 2 Research

Gaspard Douady Master 2RI (Université de Rennes 1) 2012-2013 on "An automaton approach to Kripke semantics" (co-supervised with François Schwarzentruber ENS Rennes).

Mohammed Ghesmoune Master 2RI (Université de Rennes 1) 2011-2012 on "Anonymization of social networks" (co-supervised with Sébastien Gambs IRISA/INRIA Rennes).

Lois Vanhée Master 2RI (ENS Bretagne) 2010-2011 on "Computing the Smallest Winning Coalition in a Multi-Agent Game", in collaboration with Sylvie Thiébaux ANU/NICTA Australia.

Bastien Maubert Master 2RI (ENS Bretagne) 2008-2009 on "Synchronizing automata and their applications to games with imperfect information".

Nicolas Bitouzé Master 2RI (ENS Bretagne) 2007-2008 on "Observability Problems for Diagnosis, Control, or Games with Imperfect Information", with Laurie Ricker.