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