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]