CREST

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

• 7 research groups in 2008

• Over 50 researchers employed at CREST

• External funding was approximately 1.5 million euros in 2007
• Some 80 person years used in CREST research projects in 2007
  
• More than 300 internationally refereed publications in the six year period  2002 - 2007
• More than 20 doctoral degrees have been awarded to CREST researchers

Funding