Members of the ARC CORIAS
 Horatiu Cirstea (MCF, Pareo) |
 Gilles Dowek (Professor, TypiCal) |
 Germain Faure Project coordinator (CR Inria, TypiCal) |
 Claude Kirchner (DR Inria, Pareo) |
 Lisa Allali (PhD student, TypiCal) |
 Mathieu Boespflug (PhD student, TypiCal) |
 Paul Brauner (PhD student, Pareo) |
 Guillaume Burel (PhD student, Pareo) |
 Denis Cousineau (PhD student, TypiCal) |
 Clément Houtmann (PhD student, Pareo) |
 Cody Roux (PhD student, Pareo) |
Close collaborators
 Richard Bonichon (CEA) |
 Olivier Hermant (ISEP) |
 Chantal Keller (TypiCal) |
 Alberto Naibo (Paris 1) |
 Benjamin Werner (TypiCal) |
