Pôle Preuve et langages
Members
Faculty
Thibaut Benjamin
Gilles Dowek
Armaël Guéneau
Safouan Taha
Emeriti
Postdocs and Engineers
PhD Students
Benoît Ballenghien
Luc Chabassier
Vincent Lafeychine
Erwann Loulergue
Nicolas Margulies
Ivan Martinez Comas
Quentin Petitjean
Andrei Samokish
Julien Simonnet
Melanie Taprogge