CREST - Center for Reliable Software Technology
CREST is a research center at the Department of Information Technologies at Åbo Akademi University. Its research is focused on the development and analysis of software intensive systems and on the use of software based research paradigms in systems modeling and development. CREST's key competencies are in formal methods for software development, construction of embedded systems, software processes, high performance and energy efficient computing, systems biology, data mining and CS education.
CREST in figures