Creation of the Team: 2012 November 01, updated into Project-Team: 2014 July 01

Section: Personnel

Research Scientists

Frédéric Chyzak [Team leader, Inria, Researcher, HDR]

Alin Bostan [Inria, Researcher, HDR]

Philippe Dumas [Inria, Senior Researcher, until August 2017, now External Collaborator]

Georges Gonthier [Inria, Senior Researcher]

Pierre Lairez [Inria, Researcher]

Assia Mahboubi [Team co-leader, Inria, Researcher, until September 2017]

PhD Student

Thomas Sibut-Pinote [École Polytechnique]

Technical staff

Maxence Guesdon [Inria, Engineer, 40%, until May 2017]


Rémy Garnier [École Normale Supérieure Cachan, from March 2017 to August 2017]

Pascal Fong [Université Versailles – Saint-Quentin-en-Yvelines, from March 2017 to August 2017]

Administrative Assistant

Christine Biard [Inria, until Aug 2017]

External Collaborator

Marc Mezzarobba [CNRS]