r2 is a common project with University Paris 7, within the laboratory “Preuves, Programmes et Systèmes”, which is itself joint between Paris 7 and CNRS.. The team has been created on January the 1st, 2009 and became an INRIA “équipe-projet” on July the 1st, 2009.
Section: Members
Research Scientist
Pierre-Louis Curien [ Team leader, DR CNRS, HdR ]Hugo Herbelin [ DR INRIA, HdR ]
Faculty Member
Pierre Letouzey [ MC Paris 7 ]Yann Régis-Gianas [ MC Paris 7 ]
Bruno Bernardo [ ATER Paris 7 ]
Technical Staff
Vincent Gross [ Ingénieur ADT Coq ]PhD Student
Stéphane Glondu [ Allocation couplée, inscrit à Paris 7 ]Danko Ilik [ Allocation Gaspard Monge, Ecole Polytechnique ]
Guillaume Munch [ Elève ENS Lyon, inscrit à Paris 7 ]
Matthias Puech [ Cotutelle avec l'Université de Bologne, financement Ministère de la Recherche italien (MIUR) ]
Vincent Siles [ Allocation couplée, inscrit à l'Ecole Polytechnique ]
Élie Soubiran [ Financement Ile de France, inscrit à l'Ecole Polytechnique ]
Post-Doctoral Fellow
Jeff Sarnat [ INRIA funding ]Alexis Saurin [ INRIA funding ]
Noam Zeilberger [ Postdoc of the Foundation “Sciences Mathématiques de Paris” ]
Visiting Scientist
Andreas Abel [ Assistant Professor at LMU, Munich, visiting from October 1st, 2009 till March 31, 2010, funded by INRIA ]Administrative Assistant
Cécile Espiègle
