Section: Members

Research Scientists

Beniamino Accattoli [Inria, Researcher]

Kaustuv Chaudhuri [Inria, Researcher]

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

François Lamarche [Inria, Researcher]

Dale Miller [Team leader, Inria, Researcher]

Lutz Straßburger [Inria, Researcher, HDR]

Engineers

Danko Ilik [Inria, until Aug 2016, funded by FP7 ERC PROOFCERT]

Tomer Libal [Inria, funded by FP7 ERC PROOFCERT]

Marco Volpe [Inria, funded by FP7 ERC PROOFCERT]

Noam Zeilberger [Inria, until Oct 2016, funded by FP7 ERC PROOFCERT]

PhD Students

Roberto Blanco Martinez [Inria, funded by FP7 ERC PROOFCERT]

Ulysse Gerard [Inria, funded by FP7 ERC PROOFCERT]

Quentin Heath [Inria, funded by FP7 ERC PROOFCERT]

Sonia Marin [Inria, funded by FP7 ERC PROOFCERT]

François Thiré [ENS Cachan, from Apr 2016]

Post-Doctoral Fellows

Taus Brock-Nannestad [Inria, until Sep 2016, funded by FP7 ERC PROOFCERT]

Giselle Machado Nogueira Reis [Inria, until Jul 2016, funded by FP7 ERC PROOFCERT]

Matthias Puech [Inria, funded by FP7 ERC PROOFCERT]

Hugh Paul Steele [Inria, until Nov 2016, funded by FP7 ERC PROOFCERT]

Visiting Scientists

Jose Carlos Espirito Santo [University of Minho, Portugal, Nov 2016]

Chuck Liang [Hofstra University, NY, USA, Jun 2016]

Administrative Assistant

Christine Aklouche [Inria]

Others

Ameni Chtourou [Inria, intern, from May 2016 until Jul 2016]

Leonardo Augusto Lima Ferreira Da Silva [Inria, Intern, until Feb 2016]