Research centres

CRESS - CENTER FOR RESEARCH ON ENGINEERING SOFTWARE SYSTEMS 

At the CRESS center, the Center for Research on Engineering Software Systems, we create and analyse software systems, protocols, and the process by which they are engineered.

Our mission is to achieve usability, correctness, efficiency and scalability of software systems. 
To this end, we design, implement and evaluate methodologies, technologies and tools.

More »


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.

More »


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 Linguistics at University of Iceland, and the Department of Lexicography at the Árni Magnússon Institute for Icelandic Studies.  The center serves as a platform for cooperation in research, development and education in Language Technology (LT).

More »


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

More »


 


Was the content helpful? Yes No