Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence: Thibaut Balabonski, “Travaux dirigés de Caml Light”, 14 hours, L1, Collège Stanislas (classes préparatoires MPSI), France.

• Licence: Julien Cretin, “Bases de données”, 26h, L3, U. Paris Diderot, France.

• Licence: Julien Cretin, “Principe de fonctionnement des machines binaires”, 33h, L1, U. Paris Diderot, France.

• Licence: Jacques-Henri Jourdan, “Langages de programmation et compilation”, 46h, L3, École Normale Supérieure, France.

• Licence: François Pottier, “Algorithmique et programmation” (INF431), 13h30, L3, École Polytechnique, France.

• Licence: Gabriel Scherer, “IF1: Introduction to computer science and programming”, 42h, L1, U. Paris Diderot, France.

• Master: Xavier Leroy and Didier Rémy, “Functional programming and type systems”, 12h + 18h, M2, MPRI master, France.

• Master: Luc Maranget, “Semantics, languages and algorithms for multicore programming”, 9h, M2, MPRI master, France.

• Master: François Pottier, “Compilation” (INF564), 13h30, M1, École Polytechnique, France.

• Master: Jonathan Protzenko, “Conception et mise en œuvre d'algorithmes” (MOOC), 32h, M1, Coursera / École Polytechnique, France.

• Master: Gabriel Scherer, “Advanced Functional Programming”, 30h, M1, U. Paris Diderot, France.

• Doctorat: Xavier Leroy, “Mechanized semantics”, 6h, Verification Technology, Systems & Applications summer school 2013, Nancy, France.

Supervision

• PhD in progress: Julien Cretin, “Erasable coercions: a unified approach to type systems”, École Polytechnique, since December 2010, supervised by Didier Rémy, to be defended January 30th, 2014.

• PhD in progress: Pierre Halmagrand, “Déduction Automatique Modulo”, CNAM, since September 2013, supervised by David Delahaye, Damien Doligez, and Olivier Hermant.

• PhD in progress: Jonathan Protzenko, “Fine-grained static control of side effects”, U. Paris Diderot, since September 2010, supervised by François Pottier.

• PhD in progress: Gabriel Scherer, “Term inference”, U. Paris Diderot, since October 2011, supervised by Didier Rémy.

• PhD in progress: Jacques-Henri Jourdan, “Formal verification of a static analyzer for critical embedded software”, U. Paris Diderot, since September 2012, supervised by Xavier Leroy.

Juries

Damien Doligez was a member of the Ph.D. jury of Mélanie Jacquel, CNAM, Paris, april 2013.

Xavier Leroy was a member of the Ph.D. jury of Xiaomu Shi, Université Joseph Fourier, Grenoble, july 2013. Xavier Leroy was president of the Ph.D. jury of Pierre-Nicolas Tollitte, CNAM, Paris, december 2013.