skip to content
 

Participants (LAAW04)

Name Home Institution Visit Dates
Klaus Aehlig  [contact person by email] [Universitaet Muenchen] 9 April to 14 April
Natasha Alechina  [contact person by email]  University of Nottingham 10 April to 14 April
Mikhail Alekhnovich  [contact person by email] University of California 10 April to 14 April
Albert Atserias  [contact person by email]  Universitat Politècnica de Catalunya 9 April to 14 April
Gavin Bierman  [contact person by email]  [Microsoft Research Cambridge] 10 April to 14 April
Maria Luisa Bonet  [contact person by email]  [Universidad Politecnica de Catalunya] 10 April to 14 April
Thomas Brihaye  [contact person by email] Université de Mons-Hainaut 10 April to 13 April
Joshua Buresh-Oppenheim  [contact person by email] Simon Fraser University 9 April to 14 April
Samuel Buss  [contact person by email]  University of California 10 April to 14 April
Luca Cardelli  [contact person by email]  [Microsoft Research Cambridge] 10 April to 14 April
Stefano Cavagnetto  [contact person by email] [Mathematical Institute, Academy of Sciences] 9 April to 14 April
Byron Cook  [contact person by email]  [Microsoft Research Cambridge] 10 April to 14 April
Stephen Cook  [contact person by email] University of Toronto 10 April to 14 April
SB cooper  [contact person by email] University of Wales, Swansea 9 April to 14 April
Stefan Dantchev  [contact person by email] University of Durham 10 April to 14 April
Anuj Dawar  [contact person by email] University of Cambridge 10 April to 14 April
Michael Dempster  [contact person by email] University of Cambridge 10 April to 14 April
Marcelo Fiore  [contact person by email]  University of Cambridge 10 April to 14 April
Cédric Fournet  [contact person by email]  [Microsoft Research Cambridge] 10 April to 14 April
Nicola Galesi  [contact person by email] [Universita di Roma "La Sapienza"] 9 April to 14 April
Andrew Gordon  [contact person by email]  [Microsoft Research Cambridge] 10 April to 14 April
Timothy Griffin  [contact person by email]  University of Cambridge 10 April to 14 April
Lauri Hella  [contact person by email]  University of Tampere 10 April to 14 April
Tony Hoare  [contact person by email] [Microsoft Research Cambridge] 10 April to 14 April
Wilfred Hodges  [contact person by email]  Queen Mary, University of London 10 April to 14 April
Paul Hunter  [contact person by email] University of Cambridge 10 April to 13 April
Martin Hyland  [contact person by email] University of Cambridge 10 April to 14 April
Russell Impagliazzo  [contact person by email]  University of California 10 April to 13 April
Emil Jerabek  [contact person by email] University of Toronto 9 April to 14 April
Jan Johannsen  [contact person by email] [LMU Munich] 9 April to 14 April
Antonina Kolokolova  [contact person by email] Simon Fraser University 9 April to 14 April
Jan Krajicek  [contact person by email]  [Prague] 10 April to 14 April
Stephan Kreutzer  [contact person by email]  Humboldt-Universität zu Berlin 10 April to 14 April
Kamil Kulesza  [contact person by email] University of Cambridge 10 April to 14 April
Oliver Kullmann  [contact person by email]  University of Wales, Swansea 9 April to 14 April
Markus Latte  [contact person by email] [Ludwig-Maximilians-University] 9 April to 14 April
Klas Markstrom  [contact person by email]  Umeå University 9 April to 14 April
Barnaby Martin University of Durham 10 April to 14 April
Ursula Martin  [contact person by email]  Queen Mary, University of London 10 April to 14 April
Christian Michaux  [contact person by email]  Université de Mons-Hainaut 10 April to 14 April
Surmit Nain  [contact person by email] Rice University 10 April to 14 April
Pavel Naumov  [contact person by email] [McDaniel College, Maryland] 9 April to 14 April
Phuong Nguyen  [contact person by email] University of Toronto 9 April to 14 April
Jakob Nordstrom  [contact person by email] [KTH Computer Science and Communication] 9 April to 14 April
Steven Perron  [contact person by email] University of Toronto 9 April to 14 April
Toniann Pitassi  [contact person by email]  University of Toronto 9 April to 14 April
Andrew Pitts  [contact person by email]  University of Cambridge 10 April to 14 April
Chris Pollett  [contact person by email] [SJSU] 9 April to 14 April
Pavel Pudlak  [contact person by email]  [Mathematical Institute, AS CR] 10 April to 14 April
Soren Riis  [contact person by email] Queen Mary, University of London 9 April to 13 April
Kristin Rozier  [contact person by email] Rice University 10 April to 13 April
Nathan Segerlind  University of Toronto 9 April to 14 April
Alan Skelley  [contact person by email] [Mathematical Institute A V CR] 9 April to 14 April
Michael Soltys  [contact person by email] McMaster University 9 April to 14 April
Iain Stewart  [contact person by email]  University of Durham 10 April to 14 April
Deian Tabakov  [contact person by email] Rice University 10 April to 13 April
Neil Thapen  [contact person by email] [Prague] 9 April to 14 April
Iddo Tzameret  [contact person by email] Tel Aviv University 9 April to 15 April
Jouko Vaananen  [contact person by email]  University of Helsinki 10 April to 14 April
Moshe Vardi  [contact person by email]  Rice University 10 April to 14 April
Sergei Vorobyov  [Uppsala University] 10 April to 14 April
Glynn Winskel  [contact person by email]  University of Cambridge 10 April to 14 April
Taoyang Wu  [contact person by email] Queen Mary, University of London 10 April to 13 April
Hector Zenil  [contact person by email] [University of Paris] 9 April to 14 April
University of Cambridge Research Councils UK
    Clay Mathematics Institute The Leverhulme Trust London Mathematical Society Microsoft Research NM Rothschild and Sons