Section: Members

Research Scientists

Dale Miller [Team leader, Inria, Senior Researcher]

Beniamino Accattoli [Inria, Researcher]

Kaustuv Chaudhuri [Inria, Researcher]

François Lamarche [Inria, Senior Researcher]

Stéphane Graham-Lengrand [CNRS, Researcher, HdR]

Lutz Straßburger [Inria, Researcher, HdR]

Engineers

Danko Ilik [Inria]

Tomer Libal [Inria]

Noam Zeilberger [Inria]

PhD Students

Roberto Blanco Martinez [Inria, ProofCert]

Hichem Chihani [Inria, ProofCert]

Ulysse Gerard [Inria, ProofCert from Apr 2015]

Quentin Heath [Ecole Polytechnique]

Sonia Marin [Inria, ProofCert]

Post-Doctoral Fellows

Taus Brock-Nannestad [Inria]

Giselle Reis [Inria]

Matthias Puech [Inria]

Hugh Paul Steele [Inria, from Dec 2015]

Marco Volpe [Inria]

Visiting Scientist

Chuck Liang [Professor, 25 May to 15 June 2015]

Administrative Assistant

Christine Aklouche [Inria]

Others

Horace Blanc [Inria, Intern, Apr 2015 until Sep 2015]

Leonardo Augusto Lima Ferreira Da Silva [Inria, Intern, Oct 2015 until March 2016]