The webpages have a new appearance.
The Distributed Computation Group is led by Prof. Keijo Heljanko. The group has two main research topics: computer aided verification and distributed computation. On the computer aided verification side the group focuses on symbolic model checking techniques, concolic testing techniques, parallel and distributed verification, and techniques for the development and quality assurance of safety critical systems. On the distributed computation side the main focus is on cloud computing, the underlying distributed algorithms and technologies, as well as applications of cloud computing.
Topics for Master's thesis on subjects related to the current research projects are available.