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]

Faculty Member

Guillaume Burel [ENSIIE, Associate professor, En délégation]

Post-Doctoral Fellows

Rodolphe Lepigre [Inria]
Franck Slama [Inria, from May 2018]

PhD Students

Guillaume Bury [Université Paris Diderot, until Sep 2018]
Mohamed Yacine El Haddad [Université de Paris-Saclay]
Gaspard Férey [Univserité de Paris-Saclay]
Guillaume Genestier [Université de Paris-Saclay]
François Thiré [Université de Paris-Saclay]

Interns

Ismail Lachheb [CNRS, from May 2018 until Jul 2018]
Walid Moustaoui [Inria, from May 2018 until Jul 2018]
Aristomenis Papadopoulos [Inria, from Jun 2018 until Sep 2018]
Quentin Ye [Inria, from May 2018 until Jul 2018]

Administrative Assistants

Adeline Lochet [Inria, from Jul 2018]
Emmanuelle Perrot [Inria, until Jun 2018]

External Collaborators

Jean-Pierre Jouannaud [Emeritus, HDR]
Catherine Dubois [ENSIIE, HDR]
Olivier Hermant [École Nationale Supérieure des Mines de Paris, HDR]