Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence: K. Chaudhuri, “INF 321 : Les principes des langages de programmation”, 40 hours eq. TD, L3, Ecole polytechnique, France

• Licence: S. Graham-Lengrand, “INF431: Algorithmique et programmation”, 50 hours eq. TD, L3, Ecole Polytechnique, France.

• Licence: S. Graham-Lengrand, “INF412: Les bases de la programmation et de l'algorithmique”, 32 hours eq. TD, L3, Ecole Polytechnique, France.

• Master: S. Graham-Lengrand, “INF551: Computer-aided reasoning”, 36 hours eq. TD, M1, Ecole Polytechnique, France.

• Master: S. Graham-Lengrand, “Curry-howard correspondence for classical logic”, 12 hours eq. TD, M2, Master Parisien de Recherche en Informatique, France.

• Master: D. Miller, “MPRI 2-1: Logique linéaire et paradigmes logiques du calcul”, 12 hours, M2, Master Parisien de Recherche en Informatique, France.

Supervision

• PhD: Hernán Vanzetto, “Automatisation des preuves et synthèse des types pour la théorie des ensembles dans le contexte de TLA${}^{+}$”, Université de Lorraine, 4 Dec 2014; supervised by Stephan Merz (Inria Lorraine) and K. Chaudhuri

• PhD in progress: Sonia Marin, 1 Nov 2014, supervised by L. Straßburger and D. Miller

• PhD in progress: Roberto Blanco, Zakaria Chihani, and Quentin Heath, supervised by D. Miller

Juries

• L. Straßburger was external reviewer and jury member for the PhD of Roman Krenický, University of Manchester, UK. Defence date: April 28, 2014.

• S. Graham-Lengrand was a jury member for the PhD of Luis Pino Duque, École Polytechnique, France. Defence date: September 25, 2014.

• D. Miller was a reporter for the following two PhD theses: Taus Brock-Nannestad (IT University of Copenhagen, 12 September 2014) and Thanos Tsouanas (ENS Lyon, 2 July 2014).