Section: Dissemination
Teaching
Supervision of Ph.D. and internships
Sandrine Blazy supervises Benoît Robillard's Ph.D. in cooperation with Eric Soutif (CNAM) and William Bartlett's Ph.D. in cooperation with Loïc Correnson (CEA).
Roberto Di Cosmo supervises the Ph.D. of Jaap Boender at University Paris Diderot.
Xavier Leroy was Ph.D. advisor for Zaynah Dargaye and Jean-Baptiste Tristan, who both defended this year. Xavier Leroy currently supervises Tahina Ramananandro's Ph.D. He also supervised the 2-month summer internship of Silvain Rideau (first-year student at ENS Paris).
François Pottier is Ph.D. advisor for Arthur Charguéraud (since 2007), Alexandre Pilkiewicz (since 2008), and Nicolas Pouillard (since 2008).
Didier Rémy is Ph.D. advisor for Benoît Montagu (since 2007). He supervised Paolo Herms master's internship (from University of Pisa) between april and july.
Graduate courses
The Gallium project-team is involved in the Master Parisien de Recherche en Informatique (MPRI), a research-oriented graduate curriculum co-organized by University Paris Diderot, É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 .
François Pottier, Didier Rémy and Giuseppe Castagna (PPS) taught a 24-hour lecture on functional programming languages and type systems at the MPRI.
Roberto Di Cosmo gave a 12-hour lecture on Linear Logic at the MPRI (september-october 2009).
Sandrine Blazy taught a 22-hour lecture on abstract interpretation at the MOPS master curriculum of university of Évry.
Xavier Leroy taught a 4-hour course on mechanized semantics with applications to program proof and compiler verification at the Marktoberdorf summer school 2009, attended by about 80 Ph.D. students.
Undergraduate courses
François Pottier is a part-time assistant professor (professeur chargé de cours ) at École Polytechnique.
Until september 2009, Zaynah Dargaye was an instructor (ATER ) at ENSIIE in Évry.
Alexandre Pilkiewicz was teaching assistant at University Paris Diderot for the courses “Concepts Informatiques” and “Internet et outils”.
Tahina Ramananandro was teaching assistant at University Paris Diderot for the courses “Datatypes and objects in Java” (first-year undergraduate students, 52 hours, february–june) and “Object-oriented programming with Java” (third-year undergraduate students, 26 hours, september–december).
