Research Scientist

Yves Bertot [ Research scientist INRIA, HdR ]
Benjamin Grégoire [ Research scientist INRIA ]
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
Thomas Hutchinson
Evgeny Makarov
Benoit Razet

PhD Student

Sidi Ould Biha [ Ph.D. student, advised by L. Théry ]
Nicolas Julien [ Ph.D. student, Teaching Assistant, advised by Y. Bertot ]
Sylvain Heraud [ Ph.D. student, advised by B. Grégoire ]
Clément Hurlin [ Ph.D. student, advised by M. Huisman ]
Santiago Zanella [ Ph.D. student, advised by Gilles Barthe ]
Ioana Paşca [ Ph.D. student, advised by Y. Bertot ]
Tuan Minh Pham [ Ph.D. student, advised by Y. Bertot ]
Jorge Luis Sacchini [ Ph.D. student, advised by B.Grégoire ]
Michaël Armand [ Ph.D. student, advised by L. Théry and B. Grégoire ]

Administrative Assistant

Nathalie Bellesso [ Administrative assistant ]