Project Team Marelle

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Partnerships and Cooperations
Dissemination
Bibliography
PDF e-pub XML


Section: Members

Research Scientists

Yves Bertot [Team leader, INRIA, HdR]
Benjamin Grégoire [Research scientist INRIA]
José Grimm [Research scientist INRIA, HdR]
Laurence Rideau [Research scientist INRIA]
Loïc Pottier [Research scientist INRIA, HdR]
Laurent Théry [Research scientist INRIA]

Faculty Member

Frédérique Guilhot [Qualified teacher, académie de Nice]

Technical Staff

Anne Pacalet [until November 2011]

PhD Students

Guillaume Cano [supervised by Y. Bertot]
Maxime Dénès [supervised by Y. Bertot]
Nicolas Julien [supervised by Y. Bertot]
Sylvain Heraud [supervised by B. Grégoire et Y. Bertot, until December 2011]
Tuan Minh Pham [supervised by Y. Bertot,until December 2011]
Jorge Luis Sacchini [supervised by B. Grégoire]
Michaël Armand [supervised by L. Théry and B. Grégoire]

Administrative Assistant

Nathalie Bellesso [Administrative assistant]