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]