Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Master : Benoît Caillaud is teaching with Marc Pouzet a first year master degree course on hybrid systems modeling. The course is open to the students registered to the computer science research and innovation curriculum of the university of Rennes 1 and ENS Rennes, France.

• Master : Khalil Ghorbal, Analyse et Conception Formelles, M1, (chargé de TD), 22h EqTD, University Rennes 1 and ENS Rennes, France

• Master : Khalil Ghorbal, Solvers Principle and Architectures, M2, (enseignant principal), 30h EqTD, ENS Rennes, France

• Master : Khalil Ghorbal, Modeling Physics with Differential-Algebraic Equations, M2, (enseignant principal), 25h EqTD, Ecole Polytechnique, Palaiseau, France

Supervision

• PhD : Ayman Aljarbouh, Accelerated Simulation of Hybrid Systems: Method combining static analysis and runtime execution analysis, University of Rennes 1, defended 13/09/2017, supervised by Benoît Caillaud.

• PhD : Guillaume Baudart, A Synchronous Approach to Quasi-Periodic Systems, Ecole Normale Superieure (Paris), defended 13/03/2017, co-supervised by Albert Benveniste.

Juries

Benoît Caillaud has been president of PhD defence jury of Mohamed Amine Aouadhi, on 29 September 2017, at LS2N, the University of Nantes, France.

Albert Benveniste participated in the jury of the PhD thesis of Guillaume Baudart.