Permanent members
- Bruno Barras (INRIA)
- Frédéric Blanqui (INRIA) [office 3S61]
- Valentin Blot (INRIA) [office 2S61]
- Gilles Dowek (INRIA, scientific leader)
- Jean-Pierre Jouannaud (Professor Emeritus, Université Paris-Saclay)
Postdocs and engineers
- Pierre Vial (Postdoc INRIA/Nomadic Labs)
PhD students
- Luc Chabassier (ENS Paris)
- Louise Dubois de Prisque (INRIA/Nomadic Labs)
- Thiago Felicissimo (Université Paris-Saclay)
- Yoan Géran (ENS Paris-Saclay)
- Emilie Grienenberger (ENS Paris-Saclay)
- Gabriel Hondet (INRIA)
- Amélie Ledein (DigiCosme)
Interns
- Corentin Chabanol (Centrale Supélec)
- Loris Cros (Centrale Supélec)
- Taïssir Marce (University Paris-Saclay)
- Émile Oléon (ENS Paris-Saclay)
- Amélie Rima (LMFI, Univ. Paris-Cité)
- Thomas Traversie (Centrale Supélec)
Associate members
- Guillaume Burel (ENSIIE)
- Catherine Dubois (ENSIIE)
- Olivier Hermant (Mines ParisTech)
Visitors
- Kazuhiko Sakaguchi
Administrative staff
- Aissatou Sadio Diallo (INRIA, administrative assistant)
Former members
