Research Centres School of Computer Science RU
CRESS - CENTER FOR RESEARCH ON ENGINEERING SOFTWARE SYSTEMS
In the center, there is the Data Lab, which focuses on database research (such as searching within video data), ICE-ROSE, which focuses on verifying that mission-critical software actually does what we want it to, Systems Lab, which is focused on creating optimized networked systems, and the HCI lab where we try to understand how people use and should use computers and application interfaces.
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 fo 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