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