Luca Aceto, School of
Computer
Science, Reykjavik
University.
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 (Scientific Co-director).
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.
Tarmo
Uustalu (Reykjavik University and Tallinn University of
Technology).
Structural proof theory and type theory (deductive systems and
typed term calculi for intuitionistic and related logics), algebraic
and categorical logic, semantics of programming languages and program
logics.