Team Leader
- Dale Miller (DR INRIA)
Project Assistant
- Maëva JEANNOT (
maeva dot jeannot at inria dot fr)
Permanent Researchers
- Beniamino Accattoli (CR Inria
- Kaustuv Chaudhuri (CR Inria)
- François Lamarche (DR Inria)
- Ian Mackie (CR CNRS)
- Gabriel Scherer (CR Inria)
- Lutz Straßburger (CR Inria)
- Noam Zeilberger (Polytechnique)
External Collaborators
- Tomer Libal, The American University and the University of Luxembourg
Post Docs
- Matteo Acclavio (starting 1 Dec 2019, supervised by Burel, Chaudhuri, and Miller)
- Marianna Girlando (starting 1 Nov 2019, supervised by Lutz Strassburger)
- Luc Pellissier (starting 1 Nov 2019, supervised by Gabriel Scherer)
- Benjamin Ralph (starting 1 Feb 2019, supervised by Lutz Strassburger)
PhD Students
- Ulysse Gérard (starting 1 Nov 2015, supervised by Dale Miller)
- Maico Leberle (starting 1 Oct 2017, supervised by Beniamino Accattoli)
- Matteo Manighetti (starting 1 Oct 2017, supervised by Dale Miller)
- Marianela Morales (starting 1 Oct 2019, supervised by Lutz Straßburger)
- Emilie Grienenberger (starting 1 Oct 2019, supervised by Dowek and Miller)
- Wendlasida Ouedraogo (starting 1 Nov 2019, CIFRE, supervised by Danko and Straßburger)
- François Thiré (starting 1 Sep 2016, supervised by Graham-Lengrand and Dowek)
Interns and short-term visitors
- Francesco Mecca (6 months starting 1 Oct 2019, supervised by Gabriel Scherer)
