Pôle Preuve et langages
Members
Faculty
Thibaut Benjamin
Armaël Guéneau
Safouan Taha
Emeriti
Postdocs and Engineers
Alidra Abdelghani
Baschenis
Hans-Jörg SCHURR
PhD Students
Simon Corbard
Yoshimi-Theophile ETIENNE
David Hamelin
Yago Iglesias Vazquez
Nicolas Margulies
Ivan Martinez Comas
Andrei Samokish
Melanie Taprogge
Valeria Valdés Ríos