skip to content
 

Speakers (BPRW01)

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