Section: Dissemination

Teaching - Supervision - Juries

Teaching

Nathalie Bertrand

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

• L3: Lecture on Algorithms, 18h (eq. TD), L3, University Rennes 1, France.

Éric Fabre

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

• Master : "Information theory," 15h, M1, Ecole Normale Superieure de Bretagne, France.

• Master : Preparation of Aggregation, 6h, M1, Ecole Normale Superieure de Bretagne, France.

Blaise Genest

• Master: Advanced verification techniques, M2 in Compuer Science, Université Rennes I, 10h.

Loïc Hélouët

• Licence: JAVA and algorithmics at INSA de Rennes for students in the second year of engineer cycle. He also supervises practical studies (development of a small project by students under the supervision of two teachers).

• Agreg: algorithmics at ENS Rennes (8 hours / year).

Éric Fabre, Loïc Hélouët, Hervé Marchand

• Master: supervised 3 students from ENS Rennes at the M1 level during 6 month. (2 hours/ week during 6 months)

Christophe Morvan

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

Supervision

• HdR: Nathalie Bertrand, “Contributions to the verification and control of timed and probabilistic models”, University Rennes I, November 16, 2015.

• PhD:

  • Paulin Fournier, “Parameterized verification of networks of many identical processes”, Université Rennes I, December 17, 2015, Supervisors: Nathalie Bertrand, Thierry Jéron, Arnaud Sangnier (LIAFA).

  • Srinivas Pinisetty, “Runtime Enforcement of Timed Properties”, Université Rennes I, January 23, 2015, Supervisors: Thierry Jéron, Hervé Marchand, Yliès Falcone (LIG).

• PhD in progress:

  • Karim Kecir (2015-2018, CIFRE thesis): "Régulation et robustesse des systèmes ferroviaires urbains", Université Rennes I, Supervisor: Loïc Hélouët.

  • Matthieu Pichené (2014-2017): “Stochastic models for the modelling of apoptosis”, Université Rennes I, Supervisor: Blaise Genest.

  • Engel Lefaucheux (2015-2018): “Information control in probabilistic systems”, Université Rennes I, Supervisors: Nathalie Bertrand, Serge Haddad (LSV, ENS Cachan).

Juries

Éric Badouel was opponent of the Doctoral Thesis of Abel Armas-Cervantès, "Diagnosing Behavioural Differences Between Business Process Models", University of Tartu, Estonia, August 2015.

Nathalie Bertrand was member of the PhD defense committee of Nathanaël Fijalkow, Counting and Randomising in Automata Theory, Université Paris VII, 15/10/2015.

Éric Fabre was in the mid-term jury of 4 PhD students of Telecom Bretagne.

Thierry Jéron was member of the Habilitation defense committee of Nathalie Bertrand, University Rennes I, November 16, 2015 (see above), and president of the PhD defense committee of Abderahman Kriouile, Université de Grenoble, September 17, 2015. He was also in the mid-term PhD jury of Mouna Hkimi (Supélec Rennes).

Hervé Marchand was Member of the PhD Defense of Johan Girault « Conception formelle du pilotage d’une flotte de robots mobiles », Ecole centrale de Nantes, November 2015.