Membres

Responsable d’équipe :

• Yves Bertot

Assistante de projet :

• Nathalie Bellesso

Membres permanents :

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

Doctorants

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

Membres externes :

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

Anciens membres :

• Michaël Armand

• Philippe Audebaud, Maître de conférences à l’ENS de Lyon
• Guillaume Cano
• Maxime Dénès
• Sylvain Heraud, Ingénieur
• Tom Hutchinson, Ingénieur
• Nicolas Julien
• Ekaterina Komendantskaya, Senior Lecturer at the School of Computing à l’Université de Dundee
• Vladimir Komendantsky, Research programmer à l’Université de St Andrews
• Konstantinos Lentzos, Doctorant à l’Université d’Athènes
• Assia Mahboubi, Chercheuse dans l’EPI Specfun d’Inria Saclay
• Evgeny Makarov
• Érik Martin-Dorel, Post-doctorant dans l’EPI Toccata d’Inria Saclay
• Anders Mörtberg, Post-doctorant à Carnegie Mellon University
• Sidi Ould Biha
• Anne Pacalet, Ingénieure
• Ioana Pasca, PRAG à l’IUT de Nîmes
• Tuan-Minh Pham, Ingénieur
• Benoit Razet, Assistant Professor au département d’informatique de l’Université Bucknell
• Jorge Luis Sacchini, Post-doctorant à Carnegie Mellon University au Qatar
• Santiago Zanella-Béguelin, Post-doctorant à Microsoft Research Cambridge
• Julianna Zsido