Section: Members

Research Scientists

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

PhD Students

Hichem Chihani [Inria, FP7 ERC PROOFCERT grant, from Oct 2012]
Mahfuza Farooque [CNRS, until Dec 2013]
Ivan Gazeau [ATER Université Paris XI, until Oct 2013]
Quentin Heath [Ecole Polytechnique, from Oct 2013]

Post-Doctoral Fellows

Ryuta Arisaka [Inria, ANR STRUCTURAL INTB grant, from May 2013]
Matteo Cimini [Inria, ANR STRUCTURAL INTB grant]
Anupam Das [Inria, from Nov 2013]
Stefan Hetzl [Inria, ANR STRUCTURAL INTB and PARSIFAL, until Jan 2013]
Danko Ilik [Inria, FP7 ERC PROOFCERT grant, from Dec 2013]
Novak Novakovic [Inria, ANR STRUCTURAL INTB grant, until Nov 2013]
Fabien Renaud [Inria, FP7 ERC PROOFCERT grant]
Mikheil Rukhaia [Inria, ANR STRUCTURAL INTB grant, Apr–Dec 2013]

Visiting Scientists

Chuck Liang [Hofstra University, Jun 2013]
Stefan Mehner [U. Bonn, Dec 2013]
Gopalan Nadathur [Univ. of Minnesota, May 2013]
Elaine Pimentel [UFRN, Brazil, Jun–Jul 2013]
Thanos Tsouanas [ENS Lyon, Jan 2013]

Administrative Assistant

Christelle Liévin [Inria]

Others

Olivier Savary-Bélanger [McGill University, internship, May–August 2013]
Stéphane Bersier [Ecole Polytechnique, internship, Apr–Aug 2013]
Anastasia Gkolfi [Inria, internship, Apr–Aug 2013]
Sonia Marin [Inria, internship, Jun–Aug 2013]
Jean Pichon [Inria, internship, Mar–Aug 2013]