Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Creation of the Project-Team: 2007 July 01

Section: Team, Visitors, External Collaborators

Research Scientists

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

Post-Doctoral Fellow

Matteo Acclavio [Inria, until Nov 2018]

PhD Students

Andrea Condoluci [University of Bologna (Italy), until May 2018]
Ulysse Gerard [Inria]
Maico Carlos Leberle [Inria]
Matteo Manighetti [Inria]
François Thiré [Ecole Normale Supérieure Cachan]


Marianela Evelyn Morales Elena [Inria, until Mar 2018]
Alban Reynaud [Ecole Normale Supérieure Lyon, from Jun 2018 until Jul 2018]

Administrative Assistant

Maeva Jeannot [Inria]

Visiting Scientists

Gopalan Nadathur [University of Minnesota (USA), from Oct 2018 until Nov 2018]
Carlos Olarte [Federal University of Rio Grande do Norte (Brazil), from Oct 2018 until Nov 2018]
Elaine Pimentel [Federal University of Rio Grande do Norte (Brazil), from Oct 2018 until Nov 2018]

External Collaborator

Andrea Condoluci [University of Bologna (Italy), from Jun 2018 until Aug 2018]