Scientific Personnel

Permanent Members

Luca Aceto, School of Computer Science, Reykjavik University (Scientific Co-director).
Semantics of concurrency, with emphasis on the study of algebraic process description languages and on the techniques they support to specify and reason about reactive systems. Logic in Computer Science. Applications of equational logic in Computer Science, with special focus on process algebras, formal languages, automata, tropical semirings, min-max algebras and the theory of fixed points. Structural Operational Semantics. Computational complexity of verification problems and of problems in bioinformatics.

Eyjolfur Ingi Asgeirsson, School of Science and Engineering, Reykjavik University.
Approximation Algorithms and Heuristics. Design and analysis of simple algorithms for finding good solutions for difficult (NP-hard) problems.

Yngvi Bjornsson, School of Computer Science, Reykjavik University.
Artificial Intelligence, informed search methods, learning search-control, AI in computer games.

Bjarni V. Halldorsson, deCODE genetics and School of Science and Engineering, Reykjavik University.
Algorithms in bioinformatics, computational biology and bioinformatics, combinatorics and combinatorial optimization.

Magnus M. Halldorsson, School of Computer Science, Reykjavik University. (Scientific Director).
Design and analysis of algorithms, in particular approximation algorithms for combinatorial NP-hard problems; algorithmic problems in wireless communication; bioinformatics and biological computing, as well as networked computation and reliable computing.

Anna Ingolfsdottir, School of Computer Science, Reykjavik University. (Scientific Co-director).
Semantics of concurrency, with emphasis on the study of algebraic process description languages and on the techniques they support to specify and reason about reactive systems. Logic in Computer Science. Applications of equational logic in Computer Science, with special focus on process algebras, formal languages, automata, tropical semirings, min-max algebras and the theory of fixed points. Structural Operational Semantics. Computational complexity of verification problems and of problems in bioinformatics. Systems Biology. Linkage Analysis.

Páll Melsted, Faculty of Industrial Engineering, Mechanical Engineering and Computer Science, University of Iceland, and deCODE genetics.
Bioinformatics; Design and analysis of algorithms, in particular randomized algorithms.

Henning Ulfarsson (Reykjavik University).
Algebraic geometry and algebraic combinatorics and their intersections, in particular Schubert calculus of Grassmannians and flag varieties, Young tableaux, patterns in permutations, equivalence relations on the symmetric group, descent theory in algebraic geometry, derived categories and enumerative geometry.

Affiliated Members

None at the moment.

Former Members


Postdocs

Former Postdocs


PhD Students

Former PhD Students

MSc Students

Former MSc Students