Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Professional Licence: Bertil Folliot, Programmation C, L2, UPMC, France

• Professional Licence: Bertil Folliot, Lab projects, L2, UPMC, France

• Master: Pierre-Évariste Dagand, Specification and Validation of Programs, M2, UPMC, France

• Licence: Pierre-Évariste Dagand, INF311: Introduction to Programming, L1, École Polytechnique, France

• Master: Pierre-Évariste Dagand, INF559: Computer Architecture and Operating Systems, M1, École Polytechnique, France

Supervision

• PhD : Mariem Saeid, soutenue le 25/9/2018, Jens Gustedt (Camus), Gilles Muller.

• PhD in progress : Cédric Courtaud, CIFRE Thalès, 2016-2019, Gilles Muller, Julien Sopéna (Delys).

• PhD in progress : Redha Gouicem, 2016-2019, Gilles Muller, Julien Sopéna (Delys).

• PhD in progress : Darius Mercadier, 2017-2020, Pierre-Évariste Dagand, Gilles Muller.

• PhD in progress : Lucas Serrano, 2017-2020, Julia Lawall.

Juries

• Julia Lawall: PhD juries of Ferdian Thung, SMU (reporter), Thibaut Girka, Université Paris Diderot (president), Thomas Durieux, Lille (examiner).