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]