The research areas at the Department of Software Systems range from theoretically oriented to highly pragmatic topics. Characteristic to our research is industrial collaboration and practical applicability. Research is funded by TEKES (Finnish Funding Agency for Technology and Innovation), Academy of Finland, EU commission, and industrial sources. The main research areas are Artificial Intelligence, Computer Science Education Research, Mobile Systems, Software Engineering, and Verification Algorithms.