Members

Team leader:

• Yves Bertot

Project assistant:

• Nathalie Bellesso

Permanent researchers:

• Cyril Cohen
• Benjamin Grégoire
• José Grimm
• Laurence Rideau
• Enrico Tassi
• Laurent Théry

Postdocs:

• Christian Doczkal

Doctoral Students

• Cécile Baritel-Ruet
• Sophie Bernard
• Boris Djalal
• Mohamad El Laz
• Damien Rouhling

External members:

• Gilles Barthe
• Frédérique Guilhot
• Loïc Pottier

Past members:

• Michaël Armand
• Philippe Audebaud, Associate professor at ENS de Lyon
• Guillaume Cano
• Maxime Dénès
• Sylvain Heraud, Engineer
• Tom Hutchinson, Engineer
• Nicolas Julien
• Ekaterina Komendantskaya, Senior Lecturer at the School of Computing of the University of Dundee
• Vladimir Komendantsky, Research programmer at St Andrews University
• Konstantinos Lentzos, PhD Student at the University of Athens
• Assia Mahboubi, Researcher in the Specfun team at Inria Saclay
• Evgeny Makarov
• Érik Martin-Dorel, Postdoc in the Toccata team at Inria Saclay
• Anders Mörtberg, Postdoc in the School of Computer Science at Carnegie Mellon University
• Sidi Ould Biha
• Anne Pacalet, Engineer
• Ioana Pasca, Maths Teacher at IUT Nîmes
• Tuan-Minh Pham, Engineer
• Benoit Razet, Assistant Professor of Computer Science at Bucknell University
• Jorge Luis Sacchini, Post-doctoral Research Associate at Carnegie Mellon University in Qatar
• Santiago Zanella-Béguelin, Post-doctoral Researcher at Microsoft Research Cambridge
• Julianna Zsido