RESEARCH CENTERS IN COMPUTER SCIENCE
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, 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, 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, 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.
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.