The Distributed Computation Group
News
Dec 23, 2010
The webpages have a new appearance.
The Distributed Computation Group
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.
Personnel
Current
- Prof. Keijo Heljanko
- Docent, D.Sc. (Tech.) Tommi Junttila, also affiliated with Computational Logic Group
- D.Sc. (Tech.) André Schumacher
- M.Sc. (Tech.) Jori Dubrovin
- M.Sc. Xiang Gan
- M.Sc. (Tech.) Kari Kähkönen
- M.Sc. (Tech.) Tuomas Launiainen
- M.Sc. (Tech.) Trang Tran Thi Thuy
- M.Sc. Siert Wieringa
- Sakari Ellonen (research assistant)
- Janne Kauttio (research assistant)
- Merina Maharjan (research assistant)
- Matti Niemenmaa (research assistant)
- Olli Saarikivi (research assistant)
- Zhang Zhengkui (research assistant)
Alumni
- D.Sc. (Tech.) Toni Jussila, currently at OneSpin Solutions
- D.Sc. (Tech.) Misa Keinänen, currently at European Batteries
- D.Sc. (Tech.) Timo Latvala, currently at Space Systems Finland
- D.Sc. (Tech.) Heikki Tauriainen, currently at Conformiq
- M.Sc. (Tech.) Matti Koskimies, currently at kotisivut.com
- M.Sc. (Tech.) Jussi Lahtinen, currently at VTT
- M.Sc. (Tech.) Jani Lampinen, currently at Accenture
- M.Sc. (Tech.) Henna Ruusu
Courses
- T-79.5307 Distributed Computing P (5 cr), Autumn 2010
- T-79.4302 Parallel and Distributed Systems (5 cr), Autumn 2010
- T-79.5306 Reactive Systems P (5 cr), Spring 2011
- T-79.7001 Postgraduate Course on Theoretical Computer Science P (5 cr), Spring 2011
Projects
Current
- SARANA - Safety Evaluation and Reliability Analysis of Nuclear Automation
- PDMV - Parallel and Distributed Methods in Verification
- RECOMP - Reduced Certification Costs Using Trusted Multi-core Platforms
- Cloud SW - Cloud Software
- TVSDS - Testing, Verification, and Synthesis of Distributed Systems
- StMcDes - Symbolic Testing and Model Checking of Distributed Embedded Systems
- LIME2 - LightweIght formal Methods for distributed component-based Embedded systems
- MODSAFE - Model-Based Safety Evaluation of Automation Systems
Topics for Master's thesis on subjects related to the current research projects are available.
Past
- CAV - Computer Aided Verification Theory and Tools
- LIME - LightweIght formal Methods for distributed component-based Embedded systems
- Advanced Constraint Programming Techniques for Large Structured Problems
- Applications of Rule-Based Constraint Programming
- Formal Methods in Distributed Systems
- Conformance Testing and Bounded Model Checking
- Constraint Programming Based on Default Rules