Team Gallium

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Dissemination

Teaching

Supervision of Ph.D. and internships

Sandrine Blazy supervises Benoît Robillard's Ph.D. in cooperation with Eric Soutif (CNAM).

Xavier Leroy is Ph.D. advisor for Zaynah Dargaye, Jean-Baptiste Tristan, and Tahina Ramananandro.

François Pottier is Ph.D. advisor for Arthur Charguéraud (since 2007), Alexandre Pilkiewicz (since december 2008), and Nicolas Pouillard (since september 2008). He supervised the master's internship of Alexandre Pilkiewicz from july to november 2008.

Didier Rémy is Ph.D. advisor for Benoît Montagu and Boris Yakobowski.

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 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 .

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, attended by 15 students.

Undergraduate courses

Since september 2008, Zaynah Dargaye is an instructor ( ATER ) at ENSIIE in Évry.

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

Boris Yakobowski was teaching assistant at university Paris 7.

Other courses

Xavier Leroy gave a one-hour lecture titled Du langage à l'action: compilation et typage at Collège de France, in Gérard Berry's course, Pourquoi et comment le monde devient numérique .


previous
next

Logo Inria