Pôle Preuve et langages
Members
Faculty
Armaël Guéneau
Safouan Taha
Emeriti
Postdocs and Engineers
PhD Students
Luc Chabassier
Xavier Denis
Yoan Geran
Mickael Laurent
Nicolas Meric
Houda Mouhcine
Clément Pascutto
Rébecca Zucchini
Visitors
Sébastien Bardin