skip to content
 

Speakers (BPRW01)

Name Home Institution
Steve Awodey Carnegie Mellon University
Jasmin Blanchette INRIA Nancy - Grand Est; Max-Planck-Institut für Informatik, Saarbrücken
Leonardo de Moura Microsoft Research
Stephanie Dick Harvard University
Martin Escardo University of Birmingham; University of Birmingham
Jacques Fleuriot University of Edinburgh
Georges Gonthier
William Timothy Gowers University of Cambridge
Thomas Hales University of Pittsburgh
Marijn Heule University of Texas at Austin
Patrick Ion University of Michigan
Mateja Jamnik University of Cambridge
Michael Kohlhase Jacobs University Bremen
Katya Komendenskaya Heriot-Watt University
Dan Licata Wesleyan University
Peter LeFanu Lumsdaine Stockholm University
Assia Mahboubi INRIA Saclay - Île-de-France
Ursula Martin University of Oxford
Tobias Nipkow Technischen Universität München
Grant Passmore University of Cambridge
Larry Paulson University of Cambridge
Alison Pease University of Dundee
Natarajan Shankar
Floris van Doorn Carnegie Mellon University
Vladimir Voevodsky Institute for Advanced Study, Princeton
Stephen Watt University of Waterloo
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons