RESEARCH CENTERS IN COMPUTER SCIENCE

DATALAB - REYKJAVIK UNIVERSITY DATABASE LAB

The Datalab, which was established in 2002, is a research laborartory focusing on database systems.  The aim of the lab is to conduct first-class research in the general area of database systems, to allow students at graduate and undergraduate levels to extend their horizons by participating in research, and to facilitate the adoption of advanced database techniques in industry and society.

CADIA - CENTER FOR ANALYSIS & DESIGN OF INTELLIGENT AGENTS

CADIA, which was established in 2005, conducts research in various areas of intelligent agents in real and virtual environments, with a strong emphasis on interaction and real-time performance, including planning, games, large-scale A.I. systems, robots, humanoids and agent-based modeling. 

ICLT - THE ICELANDIC CENTRE FOR LANGUAGE TECHNOLOGY

ICLT, which was established in 2005, is run jointly by the School of Computer Science at Reykjavik University, the Institute of Lingustics at University of Iceland, and the Department of Lexicography at the Árni Magnússon Institute for Icelandic Studies.  The centre serves as a platform for cooperation in research, development and education in Language Technology (LT). 

ICE-TCS - THE ICELANDIC CENTRE OF EXCELLENCE IN THEORETICAL COMPUTER SCIENCE

ICE-TCS, which was established in  2005, is a collaboration between the School of Computer Science at Reykjavik University, and the Department of Computer Science, Faculty of Engineering, at University of Iceland.  The aim of the centre is to establish in Iceland important areas of basic research in the mathematical foundations of computer science, notably algorithmic program verification, mathematical logic in computer science, models and logics for reactive systems, semantics of computation and systems biology.

THE COMBINATORICS GROUP

The group's research interests are in enumerative, bijective and algebraic combinatorics. Recently, the focus has been on permutation patterns, a relatively young, but very active, research area, with several hundred papers published in the last ten years. However, the driving force behind much of the group's work is to find connections between families of different combinatorial structures.

ICE-ROSE - ICELANDIC CENTER FOR RESEARCH ON SOFTWARE ENGINEERING

Focus on formal, component-based and user-oriented methods for software design and development, as well as on object-oriented methods and composition-based verification.