Section: Dissemination

Teaching - Supervision - Juries

Teaching

É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.

Nathalie Bertrand

• Licence: "Algorithmics", 18h (eq. TD), L3, Univ. Rennes 1, France.

• Master: "Prépa. Agreg.", 40h (eq. TD), Ecole Normale Superieure de Rennes, France.

Loïc Hélouët

• Licence: JAVA and algorithmics, L2, 40h, INSA de Renne, France.

• Licence : practical studies (development of a small project), 8h, INSA de Renne, France.

• Master: "Prépa. Agreg.", 8h (eq. TD)+ mock exams, Ecole Normale Superieure de Rennes, France.

Supervision

• PhD in progress: Engel Lefaucheux, Controlling information in Probabilistic Systems, Sept. 2015, Nathalie Bertrand, Serge Haddad (LSV, Cachan).

• PhD in progress: Karim Kecir, Régulation et robustesse des systèmes ferroviaires urbains, May 2018, Loïc Hélouët and Pierre Dersin (Alstom).

• PhD in progress: The Anh Pham, Dynamic Formal Verification of High Performance Runtimes and Applications, Nov. 2016, Thierry Jéron, Martin Quinson (Myriads, Inria Rennes).

• PhD in progress: Hugo Bazille, Diagnosability and opacity analysis of large scale systems, Oct. 2016, Blaise Genest, Éric Fabre.

• PhD in progress: Sihem Cherrared, Fault management in multi-tenant programmable networks, Oct. 2016, Éric Fabre, Gregor Goessler (Inria Grenoble), Sofiane Imadali (Orange Labs).

Juries

Éric Fabre was reviewer in the PhD defense committee of Yoann Geoffroy, A general framework for causality analysis based on traces, for composite systems, Dec. 2016, Univ. Grenoble Alpes. He was also jury member for the Habilitation defense of Blaise Genest, Taming Concurrency Using Representatives, March 2016, Univ. Rennes 1.

Hervé Marchand was member of the PhD defences of Hassan Ibrahim, Analyse à base de SAT de la diagnosticabilité et de la prédictabilité des systèmes à événements discrets centralisés et distribués (Université Paris-Sud, Gif-sur-Yvette), December 2016 and of Toussaint Tigori, Méthodes de génération d'exécutifs temps réel (Ecole centrale de Nantes, Nantes), in November 2016.

Nicolas Markey was reviewer in the PhD defense committee of Thanh-Tung Tran (LaBRI; supervised by Igor Walukiewicz and Frédéric Herbreteau).