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)
- Renaud Vilmart (INRIA)
Postdocs and engineers
- Boris Djalal (Engineer INRIA/Nomadic Labs)
- Pierre Vial (Postdoc INRIA/Nomadic Labs)
PhD students
- Louise Dubois de Prisque (PhD student INRIA/Nomadic Labs)
- Yacine El Haddad (PhD student DigiCosme/LSV)
- Emilie Grienenberger (PhD student ENS Paris-Saclay)
- Gabriel Hondet (PhD student INRIA)
- Amélie Ledein (PhD student DigiCosme)
Interns
- Aurélien Castre (L3 Télécom Paris) [office 1S62]
- Luc Chabassier (M2 ENS Paris)
- Loris Cros (L3 Centrale Supélec)
- Yoan Géran (M2 ENS Paris-Saclay)
- Thiago Felicissimo (M2 Télécom Paris and UFMG, Brazil)
- Yann Leray (M1 ENS Paris)
- Thomas Traversie (L3 Centrale Supélec)
- Alex Tsokurov (M2 Sorbonne Université)
Associate members
- Guillaume Burel (ENSIIE)
- Catherine Dubois (ENSIIE)
- Olivier Hermant (Mines ParisTech)
Administrative staff
- Alexandra Merlin (INRIA, administrative assistant)
Former members
