TCS / Personnel / Keijo Heljanko / Distributed Computation Group
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Distributed Computation Group

Members of the Group

Keijo Heljanko, Professor
Tommi Junttila, Docent, D.Sc. (Tech.), also affiliated with Computational Logic Group
Xiang Gan, M.Sc., Researcher
Kari Kähkönen, M.Sc. (Tech.), Researcher
Tuomas Launiainen, M.Sc. (Tech.), Researcher
Siert Wieringa, M.Sc., Researcher
Sakari Ellonen, Research Assistant
Janne Kauttio, Research Assistant
Henna Ruusu, Research Assistant

Alumni

Toni Jussila, D.Sc. (Tech.), currently at OneSpin Solutions
Misa Keinänen, D.Sc. (Tech.), currently at European Batteries
Timo Latvala, D.Sc. (Tech.), currently at Space Systems Finland
Heikki Tauriainen, D.Sc. (Tech.), currently at Conformiq
Matti Koskimies, M.Sc. (Tech.)
Jussi Lahtinen, M.Sc. (Tech.), currently at VTT
Jani Lampinen, M.Sc. (Tech.), currently at Accenture
Matti Niemenmaa, Research Assistant

Group Description of the former Model Checking Group


[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 02 February 2010. Keijo Heljanko