Section: Team, Visitors, External Collaborators

Research Scientists

Xavier Leroy [Team leader, Inria, Senior Researcher, until Oct 2018; Collège de France, Prof, since Nov 2018]

Umut Acar [Inria, Advanced Research Position, until Apr 2018]

Damien Doligez [Inria, Researcher]

Ioannis Filippidis [Inria, Starting Research Position, since Oct 2018]

Fabrice Le Fessant [Inria, Researcher, until Jan 2018]

Jean-Marie Madiot [Inria, Researcher]

Luc Maranget [Inria, Researcher]

Michel Mauny [Inria, Senior Researcher]

François Pottier [Inria, Senior Researcher, HDR]

Mike Rainey [Inria, Starting Research Position, until Feb 2018]

Didier Rémy [Inria, Senior Researcher, HDR]

Post-Doctoral Fellow

Gergö Barany [Inria, until Aug 2018]

PhD Students

Vitaly Aksenov [Inria, until Aug 2018]

Armaël Guéneau [Université Paris Diderot]

Glen Mével [Inria, since Nov 2018]

Naomi Testard [Inria]

Thomas Williams [ENS Paris, until Aug 2018]

Technical staff

Sébastien Hinderer [Inria]

Interns

Lucas Baudin [ENS Paris, from Mar 2018 to Aug 2018]

Nathanaël Courant [Inria, from Mar 2018 to Jul 2018]

Glen Mével [ENS Cachan, from Mar 2018 to Aug 2018]

Simon Colin [École Polytechnique, from April 2018 to July 2018]

Émilie Guermeur [Inria, from May 2018 to Jul 2018]

Sébastien Michelland [Inria, from Jun 2018 to Jul 2018]

Administrative Assistant

Laurence Bourcier [Inria]