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]