skip to content
 

Speakers (BPRW01)

Name Home Institution
Floris van Doorn
Martin Escardo
Steve Awodey
Stephen Watt
Larry Paulson
Vladimir Voevodsky
Thomas Hales
William Timothy Gowers
Patrick Ion
Natarajan Shankar
Stephanie Dick
Jacques Fleuriot
Michael Kohlhase
Alison Pease
Katya Komendenskaya
Mateja Jamnik
Grant Passmore
Tobias Nipkow
Georges Gonthier
Marijn Heule
Ursula Martin
Jasmin Blanchette
Leonardo de Moura
Assia Mahboubi
Peter LeFanu Lumsdaine
Dan Licata
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons