Homepage Inria website
  • Inria login
  • The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

  • Legal notice
  • Cookie management
  • Personal data
  • Cookies

Creation of the Team: 2011 December 01, updated into Project-Team: 2017 January 01

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]


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]