EN FR
Homepage Inria website


Section: Dissemination

Teaching - Supervision - Juries

Teaching

Licence: Pierre Boutillier has a temporary research and teaching position (A.T.E.R) at University Paris 7 for the academic year 2013–2014. He teaches this year Programmation fonctionnelle (L3) and Analyse lexicale et syntaxique (L3).

Master: Compilation, (Boutillier) 1/4, M1, Université Paris Diderot.

Master: Assistants de Preuve (Sozeau), 9, M2, Université Paris Diderot.

Master: Functional Programming and Type Systems (Regis-Gianas), 12, M2, Université Paris Diderot.

Master: Lambda-calculus (Saurin), 24H, M2 of Mathematics "Logique Mathématique et Fondements de l'Informatique", Université Paris Diderot.

Master Pierre-Louis Curien teaches in the course Models of programming languages: domains, categories, games of the MPRI (together with Thomas Ehrhard and Paul-André Melliès).

Supervision

Internship: Yves Guiraud has supervised the M2 internship of Maxime Lucas.

Internship: Alexis Saurin has supervised the internship of Fanny He.

Internship: Alexis Saurin has supervised (with Claudia Faggian) the M2 internship of Amina Doumane.

PhD in progress: Pierre Boutillier, Représentation des effets et inférence de type dans le cadre du développement d'un langage de programmation à types riches, September 2010, Hugo Herbelin.

PhD in progress: Lourdes del Carmen González Huesca, Un langage de tactiques typées pour Coq, December 2011, Hugo Herbelin and Yann Régis-Gianas.

PhD in progress: Guillaume Claret, Programmation avec effets en Coq, September 2012, Hugo Herbelin and Yann Régis-Gianas.

PhD in progress: Pierre-Marie Pédrot, Logique linéaire et types dépendants, september 2012, supervised by Alexis Saurin and Hugo Herbelin.

PhD in progress : Cyrille Chenavier, supervised by Yves Guiraud and Philippe Malbos.

PhD in progress : Maxime Lucas, supervised by Yves Guiraud and Pierre-Louis Curien.

PhD defended: Guillaume Munch-Maccagnoni, Syntaxe et modèles d'une composition non-associative des programmes et des preuves, Université Paris Diderot - Paris 7, December 10 2013, Pierre-Louis Curien and Thomas Ehrhard. [11] . Hugo Herbelin was a member of the jury.

Juries

Pierre-Louis Curien was referee and Yves Guiraud was jury member for the PhD defence of Pierre Rannou (“Réécriture de diagrammes et de Sigma-diagrammes”, Univ. Aix-Marseille).

Pierre-Louis Curien was jury member of the thesis of Florian Hatat (“Jeux graphiques et théorie de la démonstration”, Univ. Chambéry).

Pierre-Louis Curien was (as thesis director) in the jury of the theses of Stéphane Zimmermann (“Vers une ludique différentielle”, Univ. Paris Diderot) and of Alexis Goyet (“Le lambda lambda-bar calcul, un calcul dual pour les stratégies non contraintes”, Univ. Paris Diderot).

Pierre Letouzey was a referee for the PhD thesis of Pierre-Nicolas Tollitte in December 2013 (“Extraction de code fonctionnel certifié à partir de spécifications inductives”, CNAM), while Hugo Herbelin was a member of this PhD committee.