Section: Members

Research Scientists

Dale Miller [Team leader, Inria, Senior Researcher]
Kaustuv Chaudhuri [Inria, Researcher]
Stéphane Graham-Lengrand [CNRS, Researcher, HdR]
François Lamarche [Inria, Senior Researcher]
Lutz Straßburger [Inria, Researcher, HdR]

PhD Students

Roberto Blanco Martinez [Inria, from Oct 2014]
Hichem Chihani [Inria, from Oct 2012]
Quentin Heath [Ecole Polytechnique, from Sep 2013]
Sonia Marin [Inria, from Nov 2014]

Post-Doctoral Fellows

Ryuta Arisaka [Inria, until May 2014]
Taus Brock-Nannestad [Inria, from Oct 2014, granted by FP7 ERC PROOFCERT- project]
Matteo Cimini [Inria, until Jan 2014, granted by FP7 ERC PROOFCERT- project]
Anupam Das [Inria, Nov 2013 – Sep 2014]
Danko Ilik [Inria, granted by FP7 ERC PROOFCERT- project]
Giselle Machado Nogueira Reis [Inria, from Nov 2014, granted by FP7 ERC PROOFCERT- project]
Fabien Renaud [Inria, until Sep 2014, granted by FP7 ERC PROOFCERT- project]
Marco Volpe [Inria, from Nov 2014, granted by ERCIM and FP7 ERC PROOFCERT- project]

Visiting Scientists

Roman Kuznets [Vienna University of Technology, funded through Digiteo, 24 Nov – 5 Dec 2014]
Chuck Liang [Professor, Hofstra University, USA, from 20 May – 7 Jun 2014]
Gopalan Nadathur [Professor, University of Minnesota, 20 May – 2 Jun 2014]
Claudio Sacerdoti Coen [University of Bologna, from 29 Sep – 3 Oct 2014]
Yuting Wang [University of Minnesota, funded through ERC ProofCert, May – Aug 2014]

Administrative Assistant

Martine Thirion [Inria]

Others

Siddhartha Prasad [Inria, Intern, from Jun 2014 until Jul 2014]
Mary Southern [University of Minnesota, Intern, funded through ERC ProofCert, May – Aug 2014]