Section: Dissemination

Teaching - Supervision - Juries

Teaching

Didier Rémy is Inria's delegate in the pedagogical team of the MPRI (Master Parisien de Recherche en Informatique).

• Master: Luc Maranget, “Semantics, languages and algorithms for multi-core programming”, 18 HETD, M2 (MPRI), Université Paris Diderot, France.

• Master: Michel Mauny, “Principles of Programming Languages”, 32 HETD, M1, ENSTA-ParisTech, France.

• Master: François Pottier and Didier Rémy, “Functional programming and type systems”, 18 + 18 HETD, M2 (MPRI), Université Paris Diderot, France.

• Licence: Armaël Guéneau, “Initiation à la programmation” (TP), “Projet informatique” (TP), “Concepts informatiques” (TD), “Langages et automates” (TD), 64 HETD, L1 and L2, Université Paris Diderot, France.

• Licence: Thomas Williams, “Projet informatique” (TD), “Programation orientée objet et interfaces graphiques” (TD/TP), 64 HETD, L2, Université Paris Diderot, France.

Supervision

• M1: Danny Willems, Université de Mons, supervised by François Pottier.

• PhD in progress: Vitalii Aksenov, “Parallel Dynamic Algorithms”, Université Paris Diderot, since September 2015, supervised by Umut Acar (co-advised with Anatoly Shalyto, ITMO University of Saint Petersburg, Russia).

• PhD in progress: Pierrick Couderc (ENSTA-ParisTech & OCamlPro), “Typage modulaire du langage intermédiaire du compilateur OCaml,” Université Paris-Saclay, since December 2014, supervised by Michel Mauny, Grégoire Henry (OCamlPro) and Fabrice Le Fessant.

• PhD in progress: Albin Coquereau (ENSTA-ParisTech), “Amélioration de performances pour le solveur SMT Alt-Ergo: conception d'outils d'analyse, optimisations et structures de données efficaces pour OCaml,” Université Paris-Saclay, since October 2015, supervised by Michel Mauny, Sylvain Conchon (LRI, Université Paris-Sud) and Fabrice Le Fessant.

• PhD in progress: Armaël Guéneau, “Towards Machine-Checked Time Complexity Analyses”, Université Paris Diderot, since September 2016, supervised by Arthur Charguéraud and François Pottier.

• PhD in progress: Naomi Testard, “Reasoning about Effect Handlers and Cooperative Concurrency”, Université Paris Diderot, since January 2017, supervised by François Pottier.

• PhD in progress: Thomas Williams, “Putting Ornaments into practice”, Université Paris Diderot, since September 2014, supervised by Didier Rémy.

Juries

Xavier Leroy was on the Ph.D. committees of Quentin Carbonneaux (Yale University, August 2017) and of Gabriel Radanne (University Paris Diderot, November 2017).

François Pottier was a reviewer for the Ph.D. thesis of Sandro Stucki (École Polytechnique Fédérale de Lausanne, September 2017). He was a member of the jury for the GDR GPL dissertation award (prix de thèse du GDR GPL).