Section: Dissemination

Teaching - Supervision - Juries

Teaching

Christophe Morvan

• License: Compilation, System, Advanced Algorithmics Université de Paris-Est, Marne-la-Vallée, France.

Nathalie Bertrand

• Agreg: Responsible of computer science organization, 16h (eq. TD), M2, Ecole Normale Supérieure de Rennes, France.

Loïc Hélouët

• Licence: JAVA programming, 35h, INSA Rennes, France.

• Agreg: Algorithms, M2, ENS Rennes, France.

• Master: Initiation to research, M1, ENS Rennes, France.

Éric Fabre

• Master: "ASR: introduction to distributed systems and algorithms," 12h (eq. TD), M2, Univ. Rennes 1, France.

• Master: "Information theory," 30h (eq. TD), M1, Ecole Normale Superieure de Rennes, France.

• Master: Preparation of Agrégation, 6h (eq. TD), M1, Ecole Normale Superieure de Rennes, France.

• Master: Initiation to research, 12h (eq. TD), M1, ENS Rennes, France.

• Licence : "Information theory for computer scientists," 4.5h (eq. TD), L3, Ecole Normale Supérieure de Cachan, France.

Supervision

• HdR: Christophe Morvan, Familles de graphes de présentation finie, propriétés et applications, Université de Paris-Est Marne-La-Vallée, 19 novembre 2014.

• PhD: Sébastien Chédor, Diagnostic, opacité et test de conformité pour des systèmes récursifs, Université Rennes 1, 7th january 2015, supervised by Thierry Jéron and Christophe Morvan.

• PhD: Mohamadou Lamine Diouf, Opacité des artefacts d'un système workflow, Rennes I University and University Cheikh Anta Diop (UCAD) in Dakar, 10th October 2014, supervised by Éric Badouel.

• PhD in progress: Srinivas Pinisetty, Runtime validation of critical control-command systems, started in December 2011, supervised by Thierry Jéronand Hervé Marchand. Defense scheduled 23rd of January 2015.

• PhD in progress: Bruno Karelovic, Approximated analysis for checking Stochastic Models and Games, started in November 2012, supervised by Blaise Genest and Wieslaw Zielonka.

• PhD in progress : Paulin Fournier, Parameterized verification of networks of probabilistic processes, started in september 2012, supervised by Nathalie Bertrand and Thierry Jéron.

• PhD in progress: Mathieu Pichene, Stochastic models to model apoptosis, started in December 2014, supervised by Blaise Genest.

• PhD in progress: Karim Kecir, Supervision of urban railway systems with advanced regulation techniques, starting early 2015 (currently in pre-thesis period before a CIFRE convention is agreed by the ANRT), supervised by Loïc Hélouët.

Juries

Nathalie Bertrand was member of the private and public PhD defenses committee of Aaron Bohy, Antichain based algorithms for the synthesis of reactive systems, Université Mons, Belgium, 30/05/2014 and 10/06/2014.

This year, Thierry Jéron has been:

• member of the PhD defense jury of Axel Belinfante, JTorX: Exploring Model-based Testing, University of Twente, Netherlands, 18/09/2014.

• member and president of the PhD defense jury of Hernan Ponce de Léon, Testing concurrent systems through event structures, LSV, ENS Cachan, 7/11/2014.

• member and president of the PhD defense jury of Anaïs Guignard, Validation fonctionnelle de contrôleurs logiques: contribution au test de conformité et à l'analyse en boucle fermée, Lurpa, ENS Cachan, 4/12/2014.

Éric Fabre participated to the Habilitation committee (HDR) of Samy Abbes, University Paris Diderot (Paris 7), "Asynchronous Probabilistic Processes," Sept. 2014.