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, until August 2012]

Engineers

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

Valentin Robert [Research programmer, January–September 2012]

PhD Students

Julien Cretin [AMX grant, U. Paris Diderot]

Jacques-Henri Jourdan [ENS Paris student, since September 2012]

Jonathan Protzenko [CORDI-S grant, U. Paris Diderot]

Gabriel Scherer [AMN grant, U. Paris Diderot]

Post-Doctoral Fellows

Thomas Braibant [since September 2012]

Thibaut Balabonski [since October 2012]

Administrative Assistants

Stéphanie Chaix [Temporary personnel, until September 2012]

Virginie Collette [AI Inria, since October 2012]

Others

Raphaël Proust [graduate intern, ENS Cachan, April–August 2012]

Joseph Tassarotti [undergraduate intern, Harvard University, June–August 2012]