Team Gallium

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Dissemination


Supervision of Ph.D. and internships

Roberto Di Cosmo is Ph.D. advisor for Jaap Boender at the PPS laboratory.

Xavier Leroy is Ph.D. advisor for Tahina Ramananandro. He also supervised the second-year Master's internship of Vivien Maisonneuve (March–July 2010).

François Pottier is Ph.D. advisor for Arthur Charguéraud, Alexandre Pilkiewicz, Nicolas Pouillard, and (since October this year) Jonathan Protzenko. Arthur Charguéraud defended in December.

Didier Rémy is Ph.D advisor for Benoît Montagu and (since December this year) Julien Cretin. He also supervised the first-year Master's internship (April—July 2010) of Gabriel Scherer and the second-year Master's internship of Julien Cretin.

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.

Roberto Di Cosmo taught a course on Linear Logic at the MPRI (12 hours, September-October 2010).

Didier Rémy, Yann Régis-Gianas (PPS), Giuseppe Castagna (PPS) and Xavier Leroy taught a 48-hour course on functional programming languages and type systems at the MPRI. François Pottier actively participated in the course by designing and grading the mandatory programming assignment.

Xavier Leroy taught a 7-hour course at the Oregon Programming Languages Summer School “Logic, Languages, Compilation, and Verification” (University of Oregon, June 2010), attended by about 80 graduate and post-graduate students.

Undergraduate courses

François Pottier is a part-time assistant professor (professeur chargé de cours) at École Polytechnique.

Alexandre Pilkiewicz was teaching assistant for the courses “Algorithmics” for first-year undergraduate students and “Virtual Machines” for third-year undergraduate students at University Paris Diderot (60 hours, January–May 2010).

Tahina Ramananandro was teaching assistant for the course “The C programming language” for second-year undergraduate students (48 hours, January-June 2010), and for the course “Functional programming with Objective Caml” for third-year undergraduate students (24 hours, September-December 2010), both at University Paris Diderot.


Logo Inria