skip to content
 

Participants (LAAW05)



Note: This list may not include "Logic and Algorithms" programme participants whose visits coincide with the workshop.

Name Home Institution Visit Dates
Aaron Bradley    Stanford University 07 May to 12 May
Aart Middeldorp  [University of Innsbruck] 07 May to 12 May
Aarti Gupta  [NEC Labs America] 07 May to 12 May
Ahmed Bouajjani    [University of Paris 7] 08 May to 12 May
Alexei Lisitsa    University of Liverpool 07 May to 13 May
Alexey Gotsman University of Cambridge 08 May to 12 May
Amir ben-Amram  [The Academic College of Tel-Aviv Yafo] 07 May to 14 May
Andreas Podelski    [MPI, Saarbrücken] 08 May to 12 May
Andrei Krokhin    University of Durham 07 May to 12 May
Andrew Gordon    [Microsoft Research Cambridge] 08 May to 12 May
Andrew Pitts    University of Cambridge 08 May to 12 May
Andrey Rybalchenko  [Max Planck Institute fuer Informatik] 08 May to 12 May
Anuj Dawar  University of Cambridge 08 May to 12 May
Axel Legay  [University of Liege] 07 May to 12 May
Barnaby Martin University of Durham 08 May to 12 May
Bernard Boigelot    Université de Liège 08 May to 12 May
Bruno Berstel  [ILOG SA] 07 May to 12 May
Byron Cook    [Microsoft Research Cambridge] 08 May to 12 May
Cédric Fournet    [Microsoft Research Cambridge] 08 May to 12 May
Christian Michaux    Université de Mons-Hainaut 08 May to 12 May
Daniel Kroening    [ETH Zentrum] 07 May to 11 May
Daniele Zucchelli    Università degli Studi di Milano 07 May to 12 May
David Mitchell    Simon Fraser University 07 May to 12 May
Deian Tabakov  Rice University 08 May to 12 May
Denis Lugiez    [CMI] 07 May to 11 May
Edmund Clarke    Carnegie Mellon University 07 May to 12 May
Enrica Nicolini    Università degli Studi di Milano 07 May to 12 May
Enrico Giunchiglia    [DIST - Universita di Genova] 08 May to 12 May
Eugenia Ternovska  Simon Fraser University 08 May to 12 May
Eyal Amir    University of Illinois 08 May to 12 May
Felix Klaedtke    [ETH Zentrum] 08 May to 12 May
Florent Madelaine University of Durham 08 May to 12 May
Gavin Bierman    [Microsoft Research Cambridge] 08 May to 12 May
Giorgio Delzanno    [Universita di Genova] 07 May to 12 May
Glynn Winskel    University of Cambridge 08 May to 12 May
Heribert Vollmer    [Universitaet Hannover] 08 May to 12 May
Jan Krajicek    [Prague] 08 May to 12 May
Jean-Francois Raskin    Université Libre de Bruxelles 07 May to 12 May
Joao Marques-Silva    University of Southampton 07 May to 12 May
John Havlicek  [Freescale, Inc.] 07 May to 12 May
Kamil Kulesza  University of Cambridge 08 May to 12 May
Karem Sakallah    University of Michigan 07 May to 13 May
Kathi Fisler    Worcester Polytechnic Institute 08 May to 12 May
Kedar Namjoshi    [Bell Labs] 08 May to 12 May
Ken McMillan  [Cadence Berkeley Labs] 07 May to 12 May
Kousha Etessami  University of Edinburgh 07 May to 12 May
Kristin Rozier  Rice University 08 May to 12 May
Lauri Hella    University of Tampere 08 May to 12 May
Leila Jemni Ben Ayed  [University of Tunis] 08 May to 12 May
Luca Cardelli    [Microsoft Research Cambridge] 08 May to 12 May
Lucas Bordeaux  [Microsoft Research Ltd] 08 May to 12 May
Marc van Dongen    University College Cork 07 May to 13 May
Marcelo Fiore    University of Cambridge 08 May to 12 May
Marcin Jurdzinski    University of Warwick 07 May to 12 May
Marta Zofia Kwiatkowska  University of Birmingham 08 May to 12 May
Martin Hyland  University of Cambridge 08 May to 12 May
Michel Leconte [ILOG SA] 07 May to 12 May
Moshe Vardi    Rice University 08 May to 12 May
Naghmeh Ghafari  University of Waterloo 08 May to 12 May
Natasha Alechina    University of Nottingham 08 May to 12 May
Nils Klarlund  [Google Inc] 07 May to 13 May
Oded Maler    Verimag 08 May to 12 May
Oliver Kullmann    University of Wales, Swansea 07 May to 13 May
Orna Grumberg  Technion - Israel Institute of Technology 09 May to 12 May
Parosh Abdullah    [Uppsala University] 08 May to 12 May
Patricia Hill  University of Leeds 08 May to 12 May
Patrick Cousot    [ENS - DI] 07 May to 12 May
Paul Hunter  University of Cambridge 08 May to 12 May
Peter Jeavons  [Oxford University] 07 May to 12 May
Peter Revesz  [Max-Planck-Institut fur Informatik] 08 May to 12 May
Pierre Wolper    Université de Liège 10 May to 12 May
Radhia Cousot    [ENS - DI] 07 May to 12 May
Rakesh Verma  University of Houston 07 May to 12 May
Rina Dechter    University of California 07 May to 12 May
Roberto Sebastiani  [Universitá di Trento] 07 May to 12 May
Scott Cotton  [Verimag, Centre Equation] 07 May to 13 May
Sergei Vorobyov  [Uppsala University] 07 May to 12 May
Shaz Qadeer    Microsoft Research 07 May to 12 May
Sriram Sankaranarayanan    [NEC Labs America] 07 May to 13 May
Stephan Kreutzer    Humboldt-Universität zu Berlin 08 May to 12 May
Stephen Cook  University of Toronto 08 May to 12 May
Supratik Mukhopadhyay West Virginia University 07 May to 12 May
Surmit Nain  Rice University 08 May to 12 May
Thomas Brihaye  Université de Mons-Hainaut 08 May to 12 May
Timothy Griffin    University of Cambridge 08 May to 12 May
Tony Hoare  [Microsoft Research Cambridge] 08 May to 12 May
Ulrich Junker [ILOG] 07 May to 12 May
Ursula Martin    Queen Mary, University of London 08 May to 12 May
Witold Charatonik    University of Wroclaw 07 May to 12 May
Yannick Chevalier  [IRIT, Universite Paul Sabatier] 07 May to 12 May
Yehuda Naveh  [IBM Research Lab in Haifa] 07 May to 12 May
Youssef Hamadi  [Microsoft Research Ltd] 07 May to 12 May
Ziyad Hanna [Intel Corp] 07 May to 12 May
Zohar Manna  Stanford University 08 May to 12 May
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons