Section: Members

Research Scientists

Xavier Leroy [Team leader, DR INRIA]

Damien Doligez [CR INRIA]

François Pottier [DR INRIA, HdR]

Didier Rémy [Deputy team leader, DR INRIA, HdR]

Na Xu [CR INRIA]

Faculty Member

Roberto Di Cosmo [Professor, on leave from U. Paris Diderot, until September 2011, HdR]

Technical Staff

Xavier Clerc [IR INRIA, SED, 30% part time]

PhD Students

Julien Cretin [AMX grant, U. Paris Diderot]

Alexandre Pilkiewicz [AMX grant, Polytechnique]

Nicolas Pouillard [Digiteo grant, INRIA]

Jonathan Protzenko [CORDI-S grant, INRIA]

Tahina Ramananandro [AMN grant, U. Paris Diderot]

Gabriel Scherer [ENS Paris, since October 2011]

Administrative Assistant

Stéphanie Chaix [Temporary personnel]

Others

Sylvain Dailler [M2 graduate intern, March–July 2011]

Jacques-Henri Jourdan [M2 graduate intern, March–September 2011]

Valentin Robert [M2 graduate intern, July–December 2011]