Section: Team, Visitors, External Collaborators

Research Scientists

Gilles Dowek [Team leader, Inria, Senior Researcher, HDR]

Bruno Barras [Inria, Researcher]

Frédéric Blanqui [Inria, Researcher, HDR]

Valentin Blot [Inria, Researcher, from Mar 2019]

Jean-Pierre Jouannaud [University Paris-Saclay, Emeritus, HDR]

Faculty Members

Pablo Arrighi [Inria, Professor, from Sep 2019]

Guillaume Burel [ENSIIE, Associate Professor, until Aug 2019]

Post-Doctoral Fellows

Michael Farber [Inria, Post-Doctoral Fellow, from Sep 2019]

Rehan Malak [CNRS, Post-Doctoral Fellow, from Nov 2019]

Étienne Miquey [CNRS, Post-Doctoral Fellow, from Nov 2019]

Franck Slama [Inria, Post-Doctoral Fellow, until Aug 2019]

PhD Students

Mohamed Yacine El Haddad [CNRS, PhD Student]

Gaspard Ferey [École Nationale Supérieure des Mines de Paris , PhD Student]

Guillaume Genestier [École Normale Supérieure de Cachan, PhD Student]

Emilie Grienenberger [École Normale Supérieure de Cachan, PhD Student, from Oct 2019]

Gabriel Hondet [Inria, PhD Student, from Oct 2019]

François Thiré [École Normale Supérieure de Cachan, PhD Student, until Nov 2019]

Interns and Apprentices

Emilie Grienenberger [École Normale Supérieure de Cachan, from Mar 2019 until Aug 2019]

Gabriel Hondet [Inria, from Feb 2019 until Jul 2019]

Farzad Jafar Rahmani [Univ Paris-Saclay, from Mar 2019 until Aug 2019]

Houda Mouzoun [Mines ParisTech, from Jun 2019]

Jui Hsuan Wu [Inria, from Mar 2019 until Jul 2019]

Administrative Assistants

Adeline Lochet [Inria, Administrative Assistant, until May 2019]

Emmanuelle Perrot [Inria, Administrative Assistant]

External Collaborators

Guillaume Burel [ENSIIE, from Sep 2019]

Catherine Dubois [ENSIIE]

Olivier Hermant [École Nationale Supérieure des Mines de Paris]