Section: Dissemination

Teaching - Supervision - Juries

Teaching

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

• Licence: “Algorithmique et programmation”, 40h, L3, École Polytechnique, France. Teaching assistant: Jonathan Protzenko.

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

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

• Licence: “Travaux dirigés de Caml Light”, 36h, L1 (classes préparatoires MPSI), Lycée Louis-le-Grand, France. Teaching assistant: Gabriel Scherer.

• Master: “Functional programming and type systems”, 30h, M2, MPRI master (U. Paris Diderot and ENS Paris and ENS Cachan and Polytechnique), France. Lecturers: Xavier Leroy (12h) and Didier Rémy (18h).

• Master: “Modal Web”, 36 hours, M1, École Polytechnique, France. Teaching assistant: Jonathan Protzenko.

• Doctorat: “Proving a compiler: mechanized verification of program transformations and static analyses”, 7h, Oregon Programming Languages Summer School, USA. Lecturer: Xavier Leroy.

Supervision

• PhD: Nicolas Pouillard, “A unifying approach to safe programming with first-order syntax with binders”, U. Paris Diderot, defended January 13th, 2012, supervised by François Pottier.

• PhD: Tahina Ramananandro, “Mechanized formal semantics and verified compilation for C++ objects”, U. Paris Diderot, defended January 10th, 2012, supervised by Xavier Leroy.

• PhD in progress: Julien Cretin, “Coercions in typed languages”, since December 2010, supervised by Didier Rémy.

• PhD in progress: Alexandre Pilkiewicz (currently employed by Google in New York), “Verifying polyhedral optimizations”, U. Paris Diderot, since December 2008, supervised by François Pottier

• 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, “Modules and mixins”, U. Paris Diderot, since October 2011, supervised by Didier Rémy.

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

Juries

Xavier Leroy was reviewer (rapporteur) for the Ph.D. of Robert Dockins (Princeton University, August 2012), Antonis Stampoulis (Yale University, October 2012), and Delphine Demange (ENS Cachan Bretagne, October 2012). He was a member of the Ph.D. jury of Ricardo Bedin França (U. Toulouse, April 2012). Xavier Leroy chaired the Habilitation jury of Fabrice Rastello, ENS Lyon, December 2012.

François Pottier was an external examiner for the Habilitation defense of Etienne Lozes (École Normale Supérieure de Cachan, July 3, 2012) and for the Ph.D. defense of Jérémy Planul (École Polytechnique, February 8, 2012), Thibaut Balabonski (Université Paris Diderot, November 16, 2012), and Antoine Madet (Université Paris Diderot, December 6, 2012).