Guests in 2015 (Roughly in Reverse Chronological Order)

Andres Iroume (Georgia Institute of Technology, USA).
Research Interests: Optimization, linear programming.
Hosts: Eyjolfur I. Asgeirsson.
Location: School of Science and Engineering, Reykjavik University.
Period: 18 December 2015.

Yolanda Ortega Mallen (Universidad Complutense de Madrid, Spain).
Research Interests: Semantics of programming languages, formal methods.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 8-28 November 2015.

David de Frutos Escrig (Universidad Complutense Madrid, Spain).
Research Interests: Concurrency theory, verification.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 17 October-1 November 2015.

David Romero Hernández (Universidad Complutense Madrid, Spain).
Research Interests: Concurrency theory, verification.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 17 October-1 November 2015.

Mads Chr. Olesen (Aalborg University, Denmark).
Research Interests: (Multi-core) Model checking (of abstractions/of timed systems/of programs); Program analysis using model checking; (Worst-Case) Execution Time/Energy Analysis
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 10-15 September 2015.

Gerard Berry (College de France)
Research Interests: Mathematical models of computation, associated programming and circuit description languages, implementation of compilers to hardware and software, usage of formal verification systems, and industrial applications.
Hosts: Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 17-21 August 2015.

George Rabanca (City University New York, USA)
Research Interests: Algorithms.
Host: Magnus M. Halldorsson.
Location: School of Computer Science, Reykjavik University.
Period: August 2015.

Carlos Varela (Rensselaer Polytechnic Institute, USA)
Research Interests: Data streaming, web-based and internet-based computing, middleware for adaptive distributed systems, concurrent programming models and languages, and software verification.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 12 June 2015.

Carlos Gregorio Rodriguez (Universidad Complutense Madrid, Spain).
Research Interests: Concurrency theory, verification.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 3-30 June 2015.

Dominic Orchard (Imperial College, London, UK)
Research Interests: Programming language design and semantics; Mathematically structured programming; Effect and coeffect systems; Embedded domain-specific languages (esp. for parallelisation); Applying programming language research to computational science.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 3 June 2015.

Michael Albert (University of Otago, New Zealand)
Research Interests: Algorithms for counting (either exactly or approximately), sampling from, or manipulating combinatorial objects. I am an enthusiastic advocate of the use of computing resources in problem solving activities of all types.
Host: Henning Ulfarsson.
Location: School of Computer Science, Reykjavik University.
Period: 31 May-14 June 2015.

Joshua Sack (University of Amsterdam, NL)
Research Interests: Reasoning about Quantum Interaction; Epistemic logic; logic in computer science;
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 24-31 May 2015.

Cheyne Homberger University of Maryland, Baltimore County.
Research Interests: Enumerative and analytic combinatorics, with a focus on permutation patterns and lattice paths
Host: Henning Ulfarsson.
Location: School of Computer Science, Reykjavik University.
Period: 18-20 May 2015.

David de Frutos Escrig (Universidad Complutense Madrid, Spain).
Research Interests: Concurrency theory, verification.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 15 May-15 June 2015.

David Romero Hernández (Universidad Complutense Madrid, Spain).
Research Interests: Concurrency theory, verification.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 13 May-15 June 2015.

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: 14-24 April 2015.

Cesar Augusto Nieto Coria (University of Camerino)
Research Interests: Agent-based modelling.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: April-July 2015.

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