Supervision of PhDs and internships
Damien Doligez is co-advisor of Richard Bonichon's PhD, with Thérèse Hardin (U. Paris 6).
François Pottier supervises the PhD thesis of Yann Régis-Gianas.
Sandrine Blazy supervised the master's internship of Thomas Moniot (ENSIIE, 6 months).
Alain Frisch supervises the PhD thesis of Kim Nguyen, together with Giuseppe Castagna and Véronique Benzaken.
Xavier Leroy is PhD advisor for Zaynah Dargaye and Jean-Baptiste Tristan. He supervised the Master's internship of Jean-Baptiste Tristan.
Michel Mauny supervised Nicolas Pouillard's internship for his engineering diploma at EPITA. In cooperation with Emmanuel Chailloux (PPS & LIP6), Michel Mauny supervises Grégoire Henry's PhD.
Didier Rémy supervises Boris Yakobowski's PhD.
The Gallium project-team is strongly involved in the Master Parisien de Recherche en Informatique (MPRI), a graduate curriculum co-organized by University Paris 7, École Normale Supérieure Paris, École Normale Supérieure de Cachan and École Polytechnique.
Xavier Leroy participates in the organization of the MPRI, as INRIA representative on its board of directors and as a member of the commission des études .
Xavier Leroy and François Pottier taught a 24-hour lecture on functional programming languages and type systems at the MPRI, attended by about 30 students.
Xavier Leroy gave a 6-hour lecture on abstract machines and compilation of functional languages at the ``École Jeune Chercheurs en Programmation'' (Toulouse, june 2006), a summer school attended by about 40 first-year PhD students.
François Pottier is a part-time assistant professor (professeur chargé de cours ) at École Polytechnique. He taught the Compilation course to third-year students and one of the student groups (``petite classe '') for the Foundations of Computer Science course.
Didier Rémy was a part-time professor at École Polytechnique until September 2006. He taught a course on Operating systems principles and programming to third-year students. Maxence Guesdon was teaching assistant for this course.
Yann Régis-Gianas was teaching assistant for a programming module for second-year students at university Paris 7, from January to June.
Boris Yakobowski was teaching assistant for a project module for first-year students at university Paris 7, from January to June. He was also teaching assistant on a course on logical tools for second-year students, from September to December.