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

Supported By