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]