Guests in 2016 (Roughly in Reverse Chronological Order)

Adrian Francalanza (University of Malta).
Research Interests: Concurrency theory, verification.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 12-19 November 2016.

Christos Papadimitriou (University of California at Berkeley).
Research Interests: Theory of algorithms and complexity, and its applications to databases, optimization, AI, the Internet, game theory, and evolution.
Host: Magnus M. Halldorsson.
Location: School of Computer Science, Reykjavik University.
Period: June 22-24, 2016.

Dániel Marx (Hungarian Academy of Sciences, Budapest).
Research Interests: The main focus of my research is reaching the ultimate limits of algorithmic techniques for solving hard computational problems. I am equally interested in working on problems of algorithm design and in using computational complexity to discover the fundamental limitations of efficient algorithms. A large part of my work uses the framework of parameterized complexity to obtain a more fine-grained understanding of problem complexity. I have worked on a wide range of combinatorial problems coming from algorithmic graph theory, combinatorial optimization, constraint satisfaction problems (CSP), and other areas.
Host: Magnus M. Halldorsson.
Location: School of Computer Science, Reykjavik University.
Period: June 22-24, 2016.

Julia Chuzhoy (Toyota Technical Institute, Chicago).
Research Interests: My broad research interest is theoretical computer science, with the main focus on the area of approximation. I am interested in both designing approximation algorithms for combinatorial optimization problems, and exploring the limits of approximation via inapproximability, or hardness of approximation, results. Specific problem types include network design and routing, graph drawing and partitioning, scheduling, geometric problems, and so on. I am also interested in graph theory and fixed parameter tractability.
Host: Magnus M. Halldorsson.
Location: School of Computer Science, Reykjavik University.
Period: June 22-24, 2016.

Kim G. Larsen (Aalborg University, Denmark)
Research Interests: Concurrency theory, computer-aided verification, model checking.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 3-5 June 2016.

Dino Distefano (Facebook and Queen Mary, University of London, UK).
Research Interests: Software verification.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 3-4 June 2016.

Adrian Francalanza (University of Malta).
Research Interests: Concurrency theory, verification.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 31 May-7 June 2016.

Zoltan Esik (University of Szeged, Hungary)
Research Interests: Automata theory, logic in computer science, iteration theories, categorical methods in computer science.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 22 May-1 June 2016.

Huimin Lin (Chinese Academy of Sciences, Beijing, China).
Research Interests: Concurrency, Process algebras, Value-passing, Mobility, Model checking, Modal logics and mu-Calculus, Tools and algorithms for concurrent systems, Formal methods.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 18 May-3 June 2016.

Tamás Fleiner (Budapest University of Technology and Economics, Hungary).
Research Interests: graph theory, graph algorithms, stable matchings, choice functions.
Hosts: Ágnes Cseh.
Location: School of Computer Science, Reykjavik University.
Period: 18-29 May 2016.

Holger Hermanns (Saarland University, Germany)
Research Interests: Concurrency, probabilistic and stochastic models, performance evaluation.
Host: Marjan Sirjani.
Location: School of Computer Science, Reykjavik University.
Period: 14-15 April 2016.

Wan Fokkink (VU Amsterdam, the Netherlands).
Research Interests: Protocol verification, model checking, safety-critical systems, distributed algorithms, wireless systems, executable models of biological systems, process algebra, structural operational semantics.
Host: Marjan Sirjani.
Location: School of Computer Science, Reykjavik University.
Period: 14-15 April 2016.

Georgiana Caltais (University of Konstanz, Germany)
Research Interests: Formal modelling, specification and analysis of computer systems, with emphasis on automata, formal languages and system semantics.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 18-25 March 2016.