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