Members and collaborators

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)