Researchers
- Gilles Dowek (INRIA research director, 2012-2025, founder of Deducteam)
- Jean-Pierre Jouannaud (Professor Emeritus, University Paris-Saclay, 2016-2024)
- Valentin Blot (INRIA researcher, 2019-2024)
- Anthony Bordg (INRIA ARP, 2023-2024)
- Pablo Arrighi (Associate Professor Aix-Marseille Université, 2019-2020) now research director at INRIA
- David Delahaye (Associate Professor, CNAM/Cedric, 2012) now professor at Polytech' Montpellier
Postdocs
- Claude Stolze (INRIA postdoc, 2023-2024)
- Pierre Vial (Postdoc INRIA/Nomadic Labs, 2020-2022)
- Rehan Malak (Postdoc DigiCosme, 2019-2020)
- Michael Färber (Postdoc INRIA, 2019-2020)
- Étienne Miquey (Postdoc DIM-RFSI, 2019-2020) now assistant professor at Aix-Marseilles
- Franck Slama (Postdoc INRIA, 2018-2019)
- Rodolphe Lepigre (Postdoc INRIA, 2017-2018)
- Simon Martiel (Postdoc 2015-2017)
- Vaston Goncalves Da Costa (Postdoc Universidade Federal de Goias, Brazil, 2014-2015)
- Arnaud Spiwack (Postdoc ENS Paris, 2014-2015) now at Tweag.io
- Hugo Dos Santos Macedo (Postdoc INRIA, 2013-2014)
- Benoît Valiron (Postdoc, 2013) now professor at CentraleSupélec
- Alejandro Díaz-Caro (ATER, 2012-2014) now assistant professor at Universidad Nacional de Quilmes, Argentina
Engineers
- Boris Djalal (Engineer INRIA/Nomadic Labs, 2020-2022)
PhD students
- Luc Chabassier (intern 2021 and PhD student ENS Paris, 2021-2024)
- Yoan Géran (intern and PhD student ENS Paris-Saclay, 2021-2024)
- Thiago Felicissimo (intern and PhD student Université Paris-Saclay, 2021-2024)
- Louise Dubois de Prisque (intern and PhD student Nomadic Labs, 2020-2024)
- Amélie Ledein (intern ENSIIE and PhD student DigiCosme, 2020-2023)
- Emilie Grienenberger (intern ENS Cachan and PhD student ENS Paris-Saclay, 2019-2022)
- Gabriel Hondet (intern ENAC and PhD student INRIA, 2019-2022)
- Yacine El Haddad (PhD student DigiCosme/LSV, 2018-2021)
- Gaspard Férey (PhD student Mines ParisTech, 2017-2020)
- Guillaume Genestier (intern Ecole Polytechnique and PhD student ENS Paris-Saclay, 2017-2020)
- François Thiré (PhD student ENS Cachan, 2016-2019) now engineer at Nomadic Labs
- Bruno Bernardo (PhD student, 2015) now engineer at Nomadic Labs
- Frédéric Gilbert (PhD student Ecole des Ponts, 2014-2017) now at the Department of Industry
- Guillaume Bury (PhD student ENS Paris, 2014-2018) now at OCamlPro
- Pierre Halmagrand (PhD student CNAM, 2013-2016) now at EDF
- Kim Quyen Ly (PhD student 2013-2014) now software engineer at Tezos
- Ronan Saillard (PhD student Mines ParisTech, 2012-2015) now at ClearSy
- Ali Assaf (PhD student Ecole Polytechnique, 2012-2015) now at Google Zurich
- Kailiang Ji (PhD Student 2012-2015)
- Raphaël Cauderlier (intern ENS Cachan 2012 and then PhD student 2012-2016) now engineer at Nomadic Labs
- Simon Cruanes (PhD student Ecole Polytechnique, 2011-2014)
- Pierre Néron (PhD student 2010-2013)
Interns
- Mathis Bouverot-Dupuis (intern ENS Paris, 2025)
- Thomas Laure (intern ENS Paris, 2024)
- Amal Makni (intern ENSTA, 2024)
- Salwa Tabet Gonzalez (intern, 2024)
- Arunava Gantait (intern Chennai Mathematical Institute, 2023)
- Nabin Kumar Sahoo (intern Chennai Mathematical Institute, 2023)
- Elliot Butte (intern, 2022)
- Quentin Buzet (intern L3 Télécom Paris, 2022)
- Taïssir Marce (intern M1 University Paris-Saclay, 2022)
- Émile Oléon (intern M2 ENS Paris-Saclay, 2022)
- Pauline Bonnet (intern CNRS, 2021)
- Aurélien Castre (intern L3 Télécom Paris, 2021)
- Corentin Chabanol (intern Centrale Supélec, 2021-2022)
- Loris Cros (intern Centrale Supélec, 2021-2022)
- Yann Leray (intern ENS Paris, 2021-2022)
- Oleksii Tsokurov (intern M2 Sorbonne Université, 2021)
- Tristan Delort (intern L3 ENSIIE, 2020)
- Nathan Guermond (intern M1 ENS Paris-Saclay, 2020)
- François Lefoulon (intern L3 ENSIIE, 2020)
- Valentin Maestracci (intern M2 ENS Paris-Saclay, 2020)
- Simon Mirwasser (intern M1 ENS Paris-Saclay, 2020)
- Ashish Kumar Barnawal (intern IIT Guwahati, India, 2020)
- Farzad Jafarrahmani (intern MPRI, 2019)
- Jui-Hsuan Wu (intern ENS Paris, 2019)
- Houda Mouzoun (intern ENSEEIHT, 2019)
- Aristomenis-Dionysios Papadopoulos (intern Imperial College, London, 2018)
- Quentin Ye (intern Sup-Galilée, 2018)
- Walid Moustaoui (intern Sup-Galilée, 2018)
- Ismail Lachheb (intern Sup-Galilée, 2018)
- Antoine Defourné (intern ENSIMAG, 2017)
- Rafaël Bocquet (intern ENS Paris, 2017)
- Chaitanya Leena Subramaniam (intern Ecole Polytechnique, 2017)
- Éric Uzena (intern Université Denis Diderot, 2015)
- Shuai Wang/Robert White (intern ENS Cachan, 2015)
- Gaëtan Gilbert (intern ENS Paris, 2015)
- Raphaël Bost (intern Ecole Polytechnique, 2012)
- Quentin Carbonneaux (intern MPRI, 2012)
Visitors
- Geoff Sutcliffe (University of Miami, visitor 2023-2025)
- Claudio Sacerdoti Coen (University of Bologna, visitor 2023-2025)
- Cristian Sottile (Universidad de Buenos Aires, visitor 2022)
- Kazuhiko Sakaguchi (University of Tsukuba, Japan, visitor 2022)
- Edward Hermann Häusler (PUC Rio, visitor 2014)
- Ying Jiang (ISCAS Beijing, visitor 2014-2015)
- Nachum Dershowitz (Tel Aviv University, visitor 2012)
- Cecilia Englander (PUC Rio, visitor 2012)
Administrative assistants
- Aïssatou-Sadio Diallo (INRIA, administrative assistant, 2022-2024)
- Alexandra Merlin (INRIA, administrative assistant, 2020-2022)
- Adeline Lochet (INRIA, administrative assistant, 2018)
- Emmanuelle Perrot (INRIA, administrative assistant, 2017-2018)
- Thida Iem (INRIA, administrative assistant, 2016-2017)
- Virginie Collette (INRIA, administrative assistant, 2014-2015)
- Hélène Milome (INRIA, administrative assistant, 2012-2014)