Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence : G. Scherer, Programmation Fonctionnelle, 50, L1, Paris 8 (Vincennes / Saint Denis), France

• Licence : K. Chaudhuri, Programmation avancée en OCaml, 40 hours eq TD, L3, École polytechnique, France

• Bachelor : K. Chaudhuri, Computer programming, principal instructor, École polytechnique, France

  (This program has no direct equivalent in the traditional French university system; the closest would be L1.)

• Licence: S. Graham-Lengrand, “INF412: Fondements de l'Informatique: Logique, Modèles, Calcul”, 32 hours eq. TD, L3, École Polytechnique, France.

• Master: S. Graham-Lengrand, “INF551: Computational Logic”, 45 hours eq. TD, M1, École Polytechnique, France.

• Master: B. Accattoli, “Logique linéaire et paradigmes logiques du calcul”, 18 hours eq. TD, M2, Master Parisien de Recherche en Informatique (MPRI), France.

• Master: D. Miller, “Logique linéaire et paradigmes logiques du calcul”, 18 hours eq. TD, M2, Master Parisien de Recherche en Informatique (MPRI), France.

• Summer School: B. Accattoli, “The Complexity of Beta-reduction”, 4.5h, International School on Rewriting (ISR) 2018, Cali, Colombia.

Supervision

• PhD : Sonia Marin, Modal Proof Theory through a Focused Telescope, Université Paris-Saclay, 30 January 2018, encadrant(s): Lutz Straßburger, Dale Miller.

• PhD in progress: Ulysse Gérard and Matteo Manighetti supervised by Dale Miller.

• PhD in progress: François Thiré (since 1st October 2016), supervised by S. Graham-Lengrand (joint with G. Dowek).

• PhD in progress: Maico Leberle supervised by Dale Miller and Beniamino Accattoli.

Juries

• D. Miller was the a reporter for the PhD juries of Michael Lettmann (TU Vienna, 30 October 2018)