Permanent members
- Bruno Barras (INRIA) [office 3S61]
- Frédéric Blanqui (INRIA) [office 3U61]
- Valentin Blot (INRIA) [office 2S61]
- Gilles Dowek (INRIA, scientific leader) [office 3S60]
- Jean-Pierre Jouannaud (Professor Emeritus, Université Paris-Saclay)
- Théo Winterhalter (INRIA) [office 3S61]
Postdocs and engineers
- Claude Stolze [office 3S53]
PhD students
- Luc Chabassier (ENS Paris) [office 3S53]
- Louise Dubois de Prisque (INRIA/Nomadic Labs) [office 3S55]
- Thiago Felicissimo (Université Paris-Saclay) [office 3S62]
- Yoan Géran (ENS Paris-Saclay) [office 3S53]
- Emilie Grienenberger (ENS Paris-Saclay) [office 3S64]
- Amélie Ledein (DigiCosme) [office 3S62]
- Rishikesh Vaishnav (University of San Diego) [office 3S64]
Interns
- Corentin Chabanol (Centrale Supélec)
- Arunava Gantait (Chennai Mathematical Institute)
- Nabin Kumar Sahoo (Chennai Mathematical Institute)
- Yann Leray (ENS Paris)
- Thomas Traversie (Centrale Supélec)
Associate members
- Guillaume Burel (ENSIIE)
- Catherine Dubois (ENSIIE)
- Olivier Hermant (Mines ParisTech)
Visitors
- Cristian Sottile (Universidad de Buenos Aires, October 2022)
Administrative staff
- Aissatou Sadio Diallo (INRIA, administrative assistant)
Former members
