Teaching - Supervision - Juries
PhD: Çagdas Bozman, “Profilage mémoire d'applications OCaml”, Ecole Polytechnique, defended on 16 Dec 2014, supervised by Michel Mauny (ENSTA), Pierre Chambart (OCamlPro), and Fabrice Le Fessant (Inria).
PhD: Julien Cretin, “Erasable coercions: a unified approach to type systems”  , École Polytechnique, defended on 30 Jan 2014, supervised by Didier Rémy.
PhD: Jonathan Protzenko, “Mezzo: a typed language for safe effectful concurrent programs”  , U. Paris Diderot, defended on 29 Sep 2014, supervised by François Pottier.
PhD in progress: Arthur Guillon, “Concurrent realizability and program verification for weak memory computers”, U. Paris Diderot, started September 2014, interrupted January 2015, supervised by Luc Maranget and Jade Alglave (Microsoft Research Cambridge).
Damien Doligez was a member of the Ph.D. jury of Çagdas Bozman, ENSTA ParisTech, Palaiseau, December 2014.
Xavier Leroy chaired the PhD committee of André Maroneze, University Rennes 1, June 2014.
Xavier Leroy was a member of the committees for the PhD awards of ACM SIGPLAN and of the GDR GPL (Génie de la Programmation et du Logiciel).
Damien Doligez chaired the Commission des actions de développement technologiques of Inria Paris-Rocquencourt until Oct 2014.
Xavier Leroy is vice-président du comité des projets of Inria Paris-Rocquencourt and appointed member of Inria's Commission d'Évaluation. He participated in the following Inria hiring and promotion committees: jury d'admissibilité CR2 Saclay; jury d'admissibilité DR2; promotions CR1; promotions DR1 and DR0.
Luc Maranget is an elected member of the Comité Technique Inria.
Luc Maranget chairs the Commission des utilisateurs des moyens informatiques – Recherche of Inria Paris-Rocquencourt.
Didier Rémy is deputy scientific director of Inria, in charge of the fields Algorithmics, Programming, Software and Architecture.
Didier Rémy represents Inria in the commission des études of the MPRI master, co-organized by U. Paris Diderot, ENS Cachan, ENS Paris, and École Polytechnique.