Researchers
- Bruno Barras (INRIA) [office 3S61]
- Frédéric Blanqui (INRIA), scientific leader [office 3U61]
- Gilles Dowek (INRIA) [office 3S60]
- Théo Winterhalter (INRIA) [office 3S61]
- Catherine Dubois (ENSIIE) [office 3S60]
Engineers
- Abdelghani Alidra (INRIA) [office 3S56]
Postdocs
- Ciarán Dunne (Telecom Sud Paris) [office 3U63]
PhD students
- Nicolas Margulies (ENS Paris-Saclay) [office 3S62]
- Melanie Taprogge (University of Paris-Saclay and University of Greifswald) [office 3S64]
- Thomas Traversié (CentraleSupélec) [office 3S62]
- Rishikesh Vaishnav (INRIA) [office 3S64]
Interns
- Mathis Bouverot-Dupuis (ENS Paris) [office 3S62]
- Antoine Gontard (LMFI, Université Paris Cité) [office 3S62]
External collaborators
- Guillaume Burel (ENSIIE)
- Olivier Hermant (Mines ParisTech)
- Claudio Sacerdoti (University of Bologna)
- Geoff Sutcliffe (University of Miami)