Pôle Preuve et langages
Members
Faculty
Thibaut Benjamin
Armaël Guéneau
Safouan Taha
Emeriti
Postdocs and Engineers
Alidra Abdelghani
Noé Canva
PhD Students
Benoît Ballenghien
Nicolas Margulies
Ivan Martinez Comas
Andrei Samokish
Melanie Taprogge