Pôle Preuve et langages
Members
Faculty
Thibaut Benjamin
Armaël Guéneau
Safouan Taha
Emeriti
Postdocs and Engineers
PhD Students
David Hamelin
Nicolas Margulies
Ivan Martinez Comas
Andrei Samokish
Melanie Taprogge
Valeria Valdés Ríos