skip to content
 

Current Visitors

Name Home Institution Visit Dates Event
3 July to 28 July;
13 July to 4 August
SIN, BPR
Benedikt Ahrens  INRIA Rennes - Bretagne Atlantique 26 June to 4 August BPR, BPRW01
Christophe Andrieu University of Bristol, University of Bristol
University of Bristol
3 July to 28 July SIN, SINW01
Louis Aslett  Durham University
University of Oxford
3 July to 28 July SIN, SINW01
David Aspinall  , University of Edinburgh, The Alan Turing Institute 9 July to 28 July BPR, BPRW01
Jeremy Avigad  Carnegie Mellon University 26 June to 4 August BPR, BPRW01
Yves Bertot  , INRIA Sophia Antipolis 10 July to 28 July BPR, BPRW01
Jasmin Blanchette  , Vrije Universiteit Amsterdam, Max-Planck-Institut für Informatik, Saarbrücken
INRIA Nancy - Grand Est, Max-Planck-Institut für Informatik, Saarbrücken
10 July to 28 July BPR, BPRW01
Maria Paola Bonacina  Università degli Studi di Verona 10 July to 28 July BPR, BPRW01
Mario Carneiro  , Carnegie Mellon University, Ohio State University 8 July to 3 August BPR, BPRW01
Joe Corneli  University of Edinburgh, University of London 9 July to 4 August BPR, BPRW01
Leonardo de Moura  , Microsoft Research 10 July to 4 August BPR, BPRW01
Alain Durmus École Polytechnique 3 July to 28 July SIN, SINW01
Gabriel Ebner  Vienna University of Technology 9 July to 4 August BPR, BPRW01
Paul Fearnhead Lancaster University 3 July to 28 July SIN, SINW01
Marcelo Fiore  , University of Cambridge 26 June to 4 August BPR, BPRW01
Jacques Fleuriot  University of Edinburgh 23 July to 28 July BPR
Georges Gonthier INRIA Saclay - Île-de-France 26 June to 4 August BPR, BPRW01
Timothy Griffin  University of Cambridge, University of Cambridge 26 June to 4 August BPR, BPRW01
Thomas Hales University of Pittsburgh 9 July to 28 July BPR, BPRW01
Hugo Herbelin  INRIA Paris - Rocquencourt, Université Paris 7 - Denis-Diderot 9 July to 28 July BPR, BPRW01
Chris Holmes  , University of Oxford 3 July to 28 July SIN, SINW01
Martin Hyland University of Cambridge 26 June to 4 August BPR, BPRW01
Mateja Jamnik  , University of Cambridge 26 June to 4 August BPR, BPRW01
Adam Johansen  University of Warwick 10 July to 27 July SIN
Deepak Kapur  University of New Mexico 18 July to 4 August BPR
Luke Kelly  University of Oxford 18 July to 28 July SIN
Konstantin Korovin  , University of Manchester 10 July to 28 July BPR, BPRW01
Oliver Kullmann Swansea University 13 July to 4 August BPRW01
Catherine LELAY Institute for Advanced Study, Princeton 26 June to 4 August BPR
Jean-Pierre LELAY Institute for Advanced Study, Princeton 26 June to 4 August BPRW01
Robert Lewis  Carnegie Mellon University 9 July to 4 August BPR, BPRW01
Wenda Li  , University of Cambridge
Cambridge Research Institute
26 June to 4 August BPR, BPRW01
Sam Livingstone  University of Bristol 3 July to 28 July SIN, SINW01
Assia Mahboubi  , INRIA Saclay - Île-de-France, INRIA Saclay - Île-de-France
INRIA Saclay - Île-de-France
26 June to 29 July BPR, BPRW01
Matthew Moores  University of Warwick 24 July to 28 July SIN
Arnold Neumaier  , Universität Wien 10 July to 27 July BPR, BPRW01
Paulo Oliva  Queen Mary University of London, Queen Mary University of London 17 July to 28 July BPR
Ian Orton  , University of Cambridge 26 June to 4 August BPR, BPRW01
Grant Passmore  Aesthetic Integration Ltd
University of Cambridge
1 July to 4 August BPR, BPRW01
Larry Paulson University of Cambridge 26 June to 4 August BPRW01
Lawrence Paulson  University of Cambridge 26 June to 4 August BPR
Andrew Pitts  , University of Cambridge 26 June to 4 August BPR, BPRW01
Murray Pollock University of Warwick 3 July to 25 July SIN, SINW01
Sylvia Richardson University of Cambridge 3 July to 28 July SIN, SINW01
Gareth Roberts University of Warwick 3 July to 28 July SIN, SINW01
Havard Rue  King Abdullah University of Science and Technology (KAUST) 13 July to 28 July SIN
Peter Sewell  , University of Cambridge 26 June to 4 August BPR, BPRW01
Natarajan Shankar SRI International
26 June to 4 August BPR, BPRW01
Fenner Tanswell University of Oxford 10 July to 24 July BPR, BPRW01
Laurent Théry  INRIA Sophia Antipolis, INRIA Sophia Antipolis
INRIA Sophia Antipolis
10 July to 28 July BPR, BPRW01
Cesare Tinelli University of Iowa 9 July to 25 July BPR, BPRW01
Josef Urban Czech Technical University 10 July to 28 July BPR, BPRW01
Floris van Doorn  Carnegie Mellon University 16 July to 4 August BPR
Vladimir Voevodsky  , Institute for Advanced Study, Princeton 26 June to 4 August BPR, BPRW01
Tamara von Glehn University of Cambridge 26 June to 4 August BPR, BPRW01
Makarius Wenzel  , Other 10 July to 28 July BPR, BPRW01
Christoph Wintersteiger  , Microsoft Research 10 July to 28 July BPR, BPRW01
Jessie Wu University of Oxford 24 July to 28 July SIN
Sinan Yildirim  Sabanci University 3 July to 28 July SIN, SINW01
Bohua Zhan  Massachusetts Institute of Technology 9 July to 4 August BPR, BPRW01
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons