List of my students

Bastien Maubert Ph.D. since September 2010. Topic: "Logical foundations of imperfect information games". (co-supervision with Guillaume Aucher)

Lois Vanhée Master 2RI (ENS Bretagne) 2008-2010 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.

Guillaume Feuillade from ENS Cachan (2002-2005) Defense 8 december 2005 at IRISA. Now Assistant Professor at IRIT, University Paul Sabatier, Toulouse.

Title: "Specifications Logiques de Réseaux de Petri."

Stéphane Riedweg, Doctorant INRIA-Région (2000-2003) Defense 19 december 2003 at IRISA. Now teacher in Mathematics.

Title: "Logiques pour le contrôle d'automatismes discrets."

Mirabelle Nebut , Doctorant MESR (2000-2003), Co-encadrement avec P. Le Guernic (INRIA). Defense 19 november 2002 at IRISA. Now Assistant Professor at LIFL univeristy of Lille.

Title: "Réactions synchrones : spécification et analyse"