Luca Aceto, Department 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.
Antonis Achilleos, Department of Computer Science, Reykjavik University.
Logic in computer science, with emphasis on Runtime Verification and
Justification and Modal Logic and their complexity.
Eyjolfur Ingi
Asgeirsson,
Department of 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, Department of
Computer
Science, Reykjavik
University.
Artificial Intelligence, informed search methods, learning
search-control, AI in computer games.
Bjarni
V. Halldorsson, deCODE genetics and Department of Engineering, Reykjavik University.
Algorithms in bioinformatics, computational biology and
bioinformatics, combinatorics and combinatorial optimization.
Magnus M.
Halldorsson, Department 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, Department 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.
Jacky Clare Mallett,
Department of Computer Science, Reykjavik
University.
Dynamics and operation of large scale networked systems, time
series analysis with deep learning for real time medical sleep
monitoring, and investigating and simulating financial and economic
systems.
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.