Brian Nielsen, BRICS, CISS and Department of Computer
Science, Aalborg University, Denmark.
Research
Interests: Model-based testing and system development,
embedded systems, distributed systems.
Hosts: Luca Aceto and Anna
Ingolfsdottir.
Location: Department
of Computer Science, Reykjavik University.
Period: 26 November-18 December, 2007.
Cédric
Fournet (Microsoft Research, Cambridge, UK).
Research Interests: Concurrent programming, distributed systems, and security.
Hosts: Ulfar Erlingsson and
Anna Ingolfsdottir.
Location: Department of Computer
Science, Reykjavik University.
Period: 11-12 October, 2007.
Greg Morrisett
(Harvard University, USA).
Research Interests: Applications of
programming language technology for building secure and reliable
systems.
Hosts: Ulfar Erlingsson and Anna Ingolfsdottir.
Location: Department of Computer
Science, Reykjavik University.
Period: 11-12 October, 2007.
Luca Tesei,
Department of Mathematics and Computer Science, University of
Camerino, Italy.
Research Interests: Concurrency theory, timed automata
and probabilistic systems.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: Department of Computer
Science, Reykjavik University.
Period: 17-21 September, 2007.
Emanuela Merelli,
Department of Mathematics and Computer Science, University of
Camerino, Italy.
Research Interests: Agent-based computing and
formal methods for modelling and simulation of complex systems in the
domain of Computational Systems Biology.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: Department of Computer
Science, Reykjavik University.
Period: 16-19 September, 2007.
Thomas Erlebach,
Department of Computer Science,
University of Leicester, UK.
Research Interests: Approximation and on-line algorithms for combinatorial
optimization problems; Algorithmic aspects of communication networks;
Algorithmic graph theory.
Host: Magnus M. Halldorsson.
Location: Department of Computer
Science, Reykjavik University.
Period: 10 August, 2007.
Joseph
S.B. Mitchell, Department of Applied Mathematics and Statistics,
State University of New York at Stony Brook.
Research Interests: Computational Geometry, Algorithms and Data Structures,
Optimization, Operations Research, Graphics and Visualization,
Computer-Aided (Geometric) Design and Manufacturing.
Host: Magnus M. Halldorsson.
Location: Department of Computer
Science, Reykjavik University.
Period: 18 July, 2007.
Jotun
Hein, Department of Statistics, University of Oxford.
Research Interests: Molecular Evolution and Comparative Genomics,
Molecular Population Genetics especially Coalescent Theory,
Bioinformatics and Computational Biology, Statistical Alignment,
Stochastic Grammars and Molecular Evolution, Models of Evolution above
the Sequence Level.
Hosts: Luca Aceto, Bjarni V. Halldorsson
and Anna Ingolfsdottir.
Location: Department of Computer
Science, Reykjavik University.
Period: 4 June, 2007.
Brian Nielsen, BRICS, CISS and Department of Computer
Science, Aalborg University, Denmark.
Research
Interests: Model-based testing and system development,
embedded systems, distributed systems.
Hosts: Luca Aceto and Anna
Ingolfsdottir.
Location: Department
of Computer Science, Reykjavik University.
Period: 16-18 April, 2007.
Mogens Nielsen, BRICS and DAIMI, Aarhus University, Denmark.
Research Interests: Concurrency theory, Logic in Computer Science, Security.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: Department of Computer
Science, Reykjavik
University.
Period: 29 March, 2007.