Guests in 2008 (Roughly in Reverse Chronological Order)

Wolfgang Merkle (Ruprecht-Karls-Universität Heidelberg, Germany).
Research Interests: See here.
Host: Magnus M. Halldorsson. Location: School of Computer Science, Reykjavik University.
Period: 4-12 September, 2008.

Giuseppe Persiano (Università di Salerno, Italy).
Research Interests: Algorithmic Game Theory and Microeconomics, Network Security and Cryptography.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-13 July, 2008.

Maurizio Lenzerini (Università di Roma "La Sapienza", Italy).
Research Interests: Artificial Intelligence, Conceptual Modeling, Database Theory, Data Warehousing, Description Logics, Information Integration and Data Exchange, Knowledge Representation and Reasoning, Logic in Computer Science, Object Oriented Technology, Ontology-based Information Systems, Semi-structured Data, View-based Query Processing, Representing and Reasoning about E-services.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-13 July, 2008.

Ashish Goel (Stanford University, USA).
Research Interests: Algorithms, optimization, stochastics, graph theory. Applications in networks, self-assembly, Internet commerce, social networks and reputation systems, fairness.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-13 July, 2008.

Rocco De Nicola (Università di Firenze, Italy).
Research Interests: Design methods and formal specifications and their use for the verification of distributed and mobile systems.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-13 July, 2008.

Chris Tofts (HP Laboratories Bristol, UK).
Research Interests: Simulation, process algebra, modelling complex systems, understanding of requirements for complex IT outsourcing deals.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 12-13 July, 2008.

Roger Wattenhofer (ETH Zurich, Switzerland).
Research Interests: Distributed computing, ad hoc and sensor networking, distributed algorithms.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-13 July, 2008.

Joseph Sifakis (Verimag, France).
Research Interests: Model checking, embedded system design, verification and validation, component-based construction.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-13 July, 2008.

Vincent Danos (University of Edinburgh, UK).
Research Interests: Logic in computer science; Modelling and Analysis of Biological Systems; Probabilistic Computation; Quantum Computing; Semantics of Programming Languages.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-13 July, 2008.

Andreas Winter (University of Bristol, UK).
Research Interests: Quantum information theory, quantum computation, discrete mathematics.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-13 July, 2008.

Terry Rudolph (Imperial College, UK).
Research Interests: Theoretical and experimental research in a broad range of topics, including Condensed Matter, Quantum Field Theory, Quantum Information Theory, Quantum Optics and Quantum Foundations.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-13 July, 2008.

Christina Fragouli (École Polytechnique Fédérale de Lausanne, CH).
Research Interests: Network information flow theory and algorithms, network coding, connections between communications and computer science, communication and coding theory, ad-hoc wireless and sensor networks, and signal processing for communications.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-13 July, 2008.

Catuscia Palamidessi (INRIA Futurs Saclay and LIX, École Polytechnique, France).
Research Interests: Principles of programming languages, logic and functional programming, theory of concurrency, distributed systems, formal methods for security.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-13 July, 2008.

Susanne Albers (Freiburg University, Germany).
Research Interests: Design and analysis of algorithms, in particular online and approximation algorithms. Algorithmic game theory.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-13 July, 2008.

Philippe Robert (INRIA Roquencourt, France).
Research Interests: Internet traffic.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-13 July, 2008.

Fedor Fomin (University of Bergen, Norway).
Research Interests: Algorithms and Graph Theory.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-13 July, 2008.

Shlomi Dolev (Ben-Gurion University of the Negev, Israel).
Research Interests: Distributed computing and communication networks. Fault tolerance with emphasis on self-stabilization, Communication networks (Traditional networks, High-Speed, Mobile, Ad-Hoc and Sensor networks), Cryptography with emphasis on anonymous computing and unidirectional encryption, and optical computing.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-13 July, 2008.

Christian Scheideler (Technische Universität München, Germany).
Research Interests: Distributed algorithms and data structures, randomized algorithms and stochastic processes, theory of network communication, combinatorics and discrete mathematics.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-13 July, 2008.

Elias Koutsoupias (University of Athens, Greece).
Research Interests: Game Theory.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-13 July, 2008.

Al Roth (Harvard University, USA).
Research Interests: Game Theory and Experimental Economics.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-13 July, 2008.

Kurt Mehlhorn (Max Planck Institut fuer Informatik, Germany).
Research Interests: Algorithmics.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-13 July, 2008.

Helmut Schwichtenberg (University of Munich, Germany).
Research Interests: Mathematical Logic.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-13 July, 2008.

Stephane Legrand (LIX Ecole Polytechnique, France).
Research Interests: Logic and type theory.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-13 July, 2008.

Ran Canetti (IBM T.J. Watson Research Center and MIT, USA).
Research Interests: Cryptography and Information Security.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-13 July, 2008.

Bruno Courcelle (Labri, Universitè Bordeaux, France).
Research Interests: Logic and graphs.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-13 July, 2008.

Javier Esparza (Technische Universität München, Germany).
Research Interests: Algorithms and tools for the design and verification of reactive and distributed systems; Verification of systems with infinitely many states; Software Model Checking; Program analysis; Formal models for distributed systems: Petri nets and process algebras; Logic and automata theory; Analysis of probabilistic systems; Applications of linear and constraint programming to verification problems; Semantics of parallel programming languages; Analysis and synthesis of asynchronous circuits.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-13 July, 2008.

Muthu Muthukrishnan (Google, USA).
Research Interests: Databases, networking and theory of computation.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-13 July, 2008.

Peter Winkler (Dartmouth, USA).
Research Interests: Discrete mathematics and the theory of computing; probability theory; applications.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-13 July, 2008.

Clifford Stein (IEOR and Department of Computer Science, Columbia University, USA).
Research Interests: Design and analysis of algorithms, combinatorial optimization, operations research, network algorithms, scheduling, algorithm engineering and computational biology.
Host: Eyjolfur Asgeirsson.
Location: Department of Computer Science, Reykjavik University.
Period: 30 June-3 July, 2008.

Bridget Eileen Tenner (Department of Mathematical Sciences, DePaul University, USA).
Research Interests: Enumerative and algebraic combinatorics.
Hosts: Luca Aceto, Anna Ingolfsdottir and Einar Steingrimsson.
Location: Department of Computer Science, Reykjavik University.
Period: 27 June-31 July, 2008.

Jeff Remmel (Department of Mathematics, University of California at San Diego, USA).
Research Interests: Algebraic and Enumerative Combinatorics; Computability Theory, Computable Algebra and Model Theory; Knowledge Representation, Nonmonotonic Logic, Complexity Theory; Hybrid Control.
Host: Sergey Kitaev.
Location: Department of Computer Science, Reykjavik University.
Period: 16-23 June, 2008.

Tommaso Toffoli (Electrical and Computer Engineering Department, Boston University, USA).
Research Interests: Cellular automata, quantum computation.
Host: Silvio Capobianco.
Location: Department of Computer Science, Reykjavik University.
Period: 15 June-20 June, 2008.

Eirikur Palsson (Dept. of Biology, Simon Fraser University, Canada).
Research Interests: Mathematical modelling in biology and the life sciences.
Host: Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6 June, 2008.

David Harel, Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Israel.
Research Interests: My research interests are in several areas of computer science. In the past these included computability (especially levels of undecidability), logics of programs (especially dynamic logic), database theory (especially query languages and their power), and automata theory. In recent years, my activity in these areas has diminished, being replaced by software and systems engineering, object-oriented analysis and design, visual languages, layout of diagrams, modeling and analysis of biological systems, and the synthesis and communication of smell.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 21-27 April, 2008.

Marjan Sirjani (School of Electrical and Computer Engineering, University of Teheran, Iran).
Research Interests: Formal Methods in Software Engineering, Modeling Reactive and Concurrent Systems, Object-based Modeling, Actor Model, Component-based Modeling, Formal Verification Methods, Model Checking and Reduction Techniques, Applying Formal Methods in System Design.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 25-29 March 2008.

Bas Luttik, Department of Mathematics and Computer Science, Eindhoven University of Technology, and CWI, Amsterdam, The Netherlands.
Research Interests: Process algebra, concurrency theory, term rewriting, verification and validation technology.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 10-14 March 2008.

Luca Zamboni (Department of Mathematics, University of North Texas, USA)
Research Interests: Theoretical Computer Science, Combinatorial Number Theory and Symbolic Dynamical Systems.
Hosts: Luca Aceto, Magnus M. Halldorsson, Anna Ingolfsdottir and Einar Steingrimsson.
Location: Department of Computer Science, Reykjavik University.
Period: 8-12 March, 2008.

Pall Melsted (Carnegie-Mellon University, USA).
Research Interests: Probabilistic Combinatorics with emphasis on its applications to Theoretical Computer Science.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 6-23 March, 2008.

Petter Brändén (Department of Mathematics, Royal Institute of Technology, Sweden).
Research Interests: Algebraic combinatorics.
Host: Anders Claesson, Reykjavik University.
Period: 2-9 March, 2008.

Antti Rasila (Institute of Mathematics, Helsinki University of Technology, Finland).
Research Interests: Mathematical analysis.
Host: Tommi Sottinen, Reykjavik University.
Period: 18-22 February, 2008.