Researchers
- 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]
- Anthony Bordg [office 3U63]
- Catherine Dubois [office 3S60]
Engineers
- Abdelghani Alidra (INRIA) [office 3S56]
Postdocs
- Ciarán Dunne (INRIA) [office 3S56]
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]
- Nicolas Margulies
- Thomas Traversié (CentraleSupélec)
- Rishikesh Vaishnav (University of San Diego) [office 3S64]
Interns
- Ewen Broudin--Caradec (ENS Paris-Saclay) [office 3S62]
- Thomas Laure (ENS Paris) [office 3S53]
Associate members
- Guillaume Burel (ENSIIE)
- Olivier Hermant (Mines ParisTech)
Administrative staff
- Aissatou Sadio Diallo (INRIA, administrative assistant)
Former members