Section: Members

Research Scientists

Yves Bertot [Team leader, Inria, HdR]

Benjamin Grégoire [Research scientist Inria]

José Grimm [Research scientist Inria]

Laurence Rideau [Research scientist Inria]

Loïc Pottier [Research scientist Inria, until August 2012, HdR]

Laurent Théry [Research scientist Inria]

PhD Students

Guillaume Cano [supervised by Y. Bertot]

Maxime Dénès [supervised by Y. Bertot]

Nicolas Julien [supervised by Y. Bertot]

Michaël Armand [supervised by L. Théry and B. Grégoire]

Post-Doctoral Fellows

Erik Martin-Dorel [starting in October]

Julianna Zsido [starting in September]

Administrative Assistant

Nathalie Bellesso [Administrative assistant]