Pôle Preuve et langages
Members
Faculty
Armaël Guéneau
Safouan Taha
Emeriti
Postdocs and Engineers
PhD Students
Léo Andrès
Luc Chabassier
Xavier Denis
Paul Geneau de Lamarliere
Yoan Geran
Mickael Laurent
Nicolas Meric
Josué Moreau
Houda Mouhcine
Clément Pascutto
Quentin Petitjean
Vaishnav Rishikesh
Andrew Samokish
Julien Simonnet
Rébecca Zucchini