Section: Dissemination
Teaching - Supervision - Juries
Teaching
Note: we only list the teaching activities of researchers here, not those of our assistant and full professors.
-
Licence: Stefan Haar taught one half of the L3 course on formal languages (18 h EQ TD) at ENS Paris-Saclay.
-
Master: Matthias Függer and Stefan Haar each taught a module of 10 h EQTD in the Jaques Herbrand master MI course Introduction à la recherche.
-
Laurent Fribourg taught one half of M2 course on “Hybrid Automata” at MPRI (Master Parisien de Recherche en Informatique).
Supervision
-
-
Thomas Chatain is the supervisor of the PhD thesis of Mathilde Boltenhagen.
-
Laurent Fribourg is the supervisor of the PhD theses of
-
Adnane SaoudCompositional controller synthesis for cyber-physical systems, started in October 2016, co-supervised by Antoine Girard (CentraleSupelec), funded by Digicosme projet Emergence Codecsys
-
Jawher JerrayFormal analysis of real-time systems, started in October 2018, co-supervised by Etienne André (Paris 13), funded by University Paris 13, ED Galilée.
-
-
Serge Haddad is the supervisor of the PhD thesis of Igor Khmelnitsky on Machine Learning and Verification of Infinite-state Systems co-supervised with Alain Finkel.
-
Juries
-
Thomas Chatain reviewed the PhD thesis of Thi Thanh Huyen Nguyen, directed by Laure Petrucci and defended at Université Paris 13 in December 2018.
-
Stefan Schwoon reviewed the PhD thesis of Adrien Pommellet, directed by Tayssir Touili and defended at Université Paris 13 in July 2018. He also acted as examinator for the PhD thesis of Huu Vu Nguyen.