Section: Dissemination

Teaching - Supervision - Juries

Teaching

• 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: Christelle Kozaily, Structural analysis of nonsmooth dynamical systems, university of Rennes 1, co-supervised by Vincent Acary (Tripop (https://team.inria.fr/tripop/) team at Inria Grenoble), Benoît Caillaud and Kahlil Ghorbal, started October 2018.

• PhD: Aurélien Lamercerie, Formal analysis of cyber-physical systems requirements expressed in natural language, university of Rennes 1, co-supervised by par Benoît Caillaud et Annie Forêt (SemLIS (https://www-semlis.irisa.fr) team of IRISA), started December 2017.

Juries

Benoît Caillaud has been external examiner of Nikolaos Kekatos' PhD, defended at the University of Grenoble Alpes in December 2018. He has also served on the jury of Etienne André's habilitation, defended in June 2018 at University Paris 13.