Name | Home Institution | Visit Dates | Event |
---|---|---|---|
Naijun Zhan | Chinese Academy of Sciences | VS2W02 | |
Ranko Lazic | University of Warwick | 04 July 2022 to 12 August 2022 | VS2W02 |
Eyal Kaplan | Bar-Ilan University | NCN2 | |
Marcus Berg | Karlstad University | 01 August 2022 to 20 August 2022 | NCN2 |
Philip Candelas | University of Oxford | 01 August 2022 to 23 September 2022 | NCN2 |
Jens Funke | Durham University | 01 August 2022 to 23 September 2022 | NCN2 |
Siddhartha Sahi | Rutgers, The State University of New Jersey | 01 August 2022 to 04 September 2022 | NCN2 |
Dmitry Gourevitch | Weizmann Institute of Science | 01 August 2022 to 29 August 2022 | NCN2 |
Michael Green | University of Cambridge; Queen Mary University of London | 01 August 2022 to 23 September 2022 | NCN2 |
Manish Patnaik | University of Alberta | NCN2 | |
Don Zagier | Max-Planck-Institut für Mathematik, Bonn | NCN2 | |
Jeff Harvey | University of Chicago | 07 August 2022 to 26 August 2022 | NCN2 |
Baiying Liu | Purdue University | 01 August 2022 to 23 September 2022 | NCN2 |
Xenia de la Ossa | University of Oxford | 02 August 2022 to 23 September 2022 | NCN2 |
Solomon Friedberg | Boston College | 01 August 2022 to 23 September 2022 | NCN2 |
Katrin Wendland | Trinity College Dublin | 01 August 2022 to 03 September 2022 | NCN2 |
Daniel Bump | Stanford University | 01 August 2022 to 23 September 2022 | NCN2 |
David Evans | Cardiff University | 03 August 2022 to 23 September 2022 | NCN2 |
Gordan Savin | University of Utah | NCN2 | |
Anne Taormina | Durham University | NCN2 | |
Roberto Volpato | Università degli Studi di Padova | 01 August 2022 to 13 August 2022 | NCN2 |
Ahmed Bouajjani | Université Paris 7 - Denis-Diderot | 04 July 2022 to 12 August 2022 04 July 2022 to 12 August 2022 |
VS2W02, VSO2 |
Dirk Beyer | Ludwig-Maximilians-Universität München | 02 August 2022 to 12 August 2022 02 August 2022 to 12 August 2022 |
VSO2, VS2W02 |
Azadeh Farzan | University of Toronto | VS2W02, VSO2 | |
Philippa Gardner | Imperial College London | 10 July 2022 to 12 August 2022 10 July 2022 to 12 August 2022 |
VS2W02, VSO2 |
Annabelle McIver | Macquarie University | VSO2, VS2W02 | |
Lennart Beringer | Princeton University | 04 July 2022 to 12 August 2022 04 July 2022 to 12 August 2022 |
VS2W02, VSO2 |
James Woodcock | University of York; Aarhus Universitet | 04 July 2022 to 12 August 2022 04 July 2022 to 12 August 2022 |
VS2W02, VSO2 |
Patrice Godefroid | Emeritus Researcher of Microsoft Research | VS2W02, VSO2 | |
John Wickerson | Imperial College London | 11 August 2022 to 12 August 2022 11 August 2022 to 12 August 2022 |
VS2W02, VSO2 |
Anil Madhavapeddy | Cambridge Computer Laboratory | 04 July 2022 to 12 August 2022 04 July 2022 to 12 August 2022 |
VS2W02, VSO2 |
Timothy Griffin | University of Cambridge; Cambridge Computer Laboratory | 04 July 2022 to 12 August 2022 04 July 2022 to 12 August 2022 |
VS2W02, VSO2 |
Glynn Winskel | University of Cambridge; Cambridge Computer Laboratory | 04 July 2022 to 12 August 2022 04 July 2022 to 12 August 2022 |
VSO2, VS2W02 |
Conrad Watt | University of Cambridge | VS2W02, VSO2 | |
Moshe Vardi | Rice University | 04 July 2022 to 12 August 2022 04 July 2022 to 12 August 2022 |
VS2W02, VSO2 |
Lawrence Paulson | University of Cambridge | 04 July 2022 to 12 August 2022 04 July 2022 to 12 August 2022 |
VSO2, VS2W02 |
Warren Hunt | University of Texas at Austin | VSO2, VS2W02 | |
Aditya Nori | Microsoft Research - Cambridge | VSO2, VS2W02 | |
Natarajan Shankar | SRI International | 04 July 2022 to 12 August 2022 04 July 2022 to 12 August 2022 |
VS2W02, VSO2 |
Andrew Pitts | University of Cambridge | 10 July 2022 to 12 August 2022 10 July 2022 to 12 August 2022 |
VSO2, VS2W02 |
Peter Sewell | University of Cambridge | 04 July 2022 to 12 August 2022 04 July 2022 to 12 August 2022 |
VSO2, VS2W02 |
Aws Albarghouthi | University of Wisconsin-Madison | VSO2, VS2W02 | |
Joshua Berdine | Facebook Research | VS2W02, VSO2 | |
Viktor Kuncak | EPFL - Ecole Polytechnique Fédérale de Lausanne; IST Austria | VSO2, VS2W02 | |
Neel Krishnaswami | University of Cambridge | VS2W02, VSO2 | |
Ruzica Piskac | Yale University | VS2W02, VSO2 | |
Maxim Pavlov | Lebedev Physical Institute | 04 July 2022 to 16 December 2022 | HYD2 |
Mark Hoefer | University of Colorado Boulder | 04 July 2022 to 16 December 2022 | HYD2 |
Olga Trichtchenko | University of Western Ontario | 04 July 2022 to 16 December 2022 | HYD2 |
Elliot Blackstone | University of Michigan | 02 August 2022 to 21 August 2022 | HYD2 |
Alexey Yermakov | University of Colorado Boulder | 07 August 2022 to 20 August 2022 | HYD2 |
Hayder Salman | University of East Anglia | 04 July 2022 to 16 December 2022 | HYD2 |
Daniel Ratliff | Northumbria University | 04 July 2022 to 30 September 2022 | HYD2 |
Thibault Congy | Northumbria University | 04 July 2022 to 18 September 2022 | HYD2 |
Yassir Dinar | Sultan Qaboos University | HYD2 | |
Giacomo Roberti | Northumbria University | 29 July 2022 to 29 August 2022 | HYD2 |
Yifeng Mao | University of Colorado Boulder | 07 August 2022 to 20 August 2022 | HYD2 |
Eduardo Khamis | INPE - Instituto Nacional de Pesquisas Espaciais | 01 August 2022 to 29 August 2022 | HYD2 |
Antoine Remond-Tiedrez | University of Cambridge | 04 July 2022 to 16 December 2022 | HYD2 |
Antonio Moro | Northumbria University | 07 July 2022 to 01 October 2022 | HYD2 |
Roberto Camassa | University of North Carolina | HYD2 | |
Denis Silantyev | University of Colorado Colorado Springs; Courant Institute of Mathematical Sciences | 04 July 2022 to 16 December 2022 | HYD2 |
Thibault Bonnemain | Northumbria University | 31 July 2022 to 28 August 2022 | HYD2 |
Ted Johnson | University College London | 04 July 2022 to 16 December 2022 | HYD2 |
Katie Oliveras | Seattle University | HYD2 | |
Marco Bertola | Concordia University; SISSA | 03 August 2022 to 28 August 2022 | HYD2 |
Patrick Sprenger | University of Cambridge | HYD2 | |
Alexander Bivolcic | University at Buffalo | HYD2 | |
Alexander Tovbis | University of Central Florida | 07 July 2022 to 17 September 2022 | HYD2 |
Mariana Haragus | Université de Franche-Comté | 04 July 2022 to 16 December 2022 | HYD2 |
Gennady El | Northumbria University | 04 July 2022 to 16 December 2022 | HYD2 |
Sergey Dyachenko | University at Buffalo | 07 August 2022 to 01 September 2022 | HYD2 |
Manuela Girotti | Saint Mary's University; Concordia University | 04 July 2022 to 11 September 2022 | HYD2 |
Mark Groves | Universität des Saarlandes; Loughborough University | 08 August 2022 to 03 September 2022 | HYD2 |
Stanislav Opanasenko | Loughborough University | HYD2 | |
Gavin Esler | University College London | 04 July 2022 to 16 December 2022 | HYD2 |
Henry Carr | Northumbria University | HYD2 | |
Sergey Gavrilyuk | Aix Marseille Université | 04 July 2022 to 12 August 2022 | HYD2 |
Yuji Kodama | Ohio State University | 04 July 2022 to 30 September 2022 | HYD2 |
Costanza Benassi | Northumbria University | 31 July 2022 to 13 August 2022 | HYD2 |
Leonid Kurdachenko | None / Other | SLM |