Team signes

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Other Grants and Activities
Dissemination
Bibliography

Section: Members

Research Scientists

Gérard Huet [INRIA, Research Director (DR) located in Rocquencourt, HdR]
Richard Moot [CNRS, Research Associate (CR)]
Sylvain Salvati [INRIA, Research Associate (CR)]

Faculty Members

Lionel Clément [University Bordeaux 1, Assistant Professor (MCF)]
Christian Retoré [University Bordeaux 1, Team Leader, Professor (Pr), HdR]

External Collaborators

Christian Bassac [University Lyon 2, Professor (Pr), HdR]
Mauro Gaio [University of Pau et des Pays de l'Adour, Professor (Pr), HdR]
Alain Lecomte [University Paris 8, Professor (Pr), HdR]

PhD Students

Pierre Bourreau [University Bordeaux 1, since Sep. 2007]
Ivano Ciardelli [INRIA, CORDI/S, since Sep 2010]
Noémie-Fleur Sandillon-Rezer [CNRS, since Nov 2010]
Anaïs Lefeuvre [Bourse Région Aquitaine - INRIA]
Bruno Mery [University Bordeaux 1, since Oct. 2006]
Natalia Vinogradova [INRIA, CORDI/S, since Dec. 2008]

Visiting Scientist

Michele Abrusci [Universita Roma3, Professor (Pr), HdR]

Administrative Assistants

Sylvie Embolla [INRIA, until Oct. 2010]
Anne-Laure Gautier [INRIA, since Oct. 2010]



previous
next

Logo Inria