ICE-ROSE – Icelandic Center for Research on Software Engineering

ICE-ROSE is a research center which aims to build high quality software systems. This center has two main direction which are focusing on applying formal methods in developing systems, and software usability.

The main research areas at ICE-ROSE include: applying formal methods in Software Engineering, concurrent object and component based modeling and analysis, compositional verification, user centered software development, agile methods and Human Computer Interaction.