Where academic tradition
meets the exciting future

Distributed Systems Laboratory (DS Lab)

The Distributed Systems Laboratory is a research laboratory within the Turku Centre for Computer Science (TUCS). It involves a group of researchers from the Department of Information Technologies at Åbo Akademi University. The laboratory is multidisciplinary with background in computer science, software engineering, and mathematics. The mission of the Distributed Systems Laboratory is to develop methods, techniques and tools that help in the design of correct and dependable distributed systems. The Distributed Systems Design Laboratory was a part of the Centre of Excellence in Formal Methods in Programming, Academy of Finland 2002-07.

Our main areas of expertise are formal methods, control systems, dependable systems, fault tolerance, automated reasoning, verification, trusted networks and services, formal hardware design and quality measurement.

Two research groups:

Formal Methods and Networks Group (Formnet)

In this group we focus on modeling, analyzing, and developing networked systems, from both a qualitative and a quantitative point of view. We are interested in wireless sensor networks, mobile networks, peer-to-peer networks, multi-core systems, network-on-chip architectures and study trustworthiness as well as location-, context-, and energy-awareness. We are working on discovering suitable language abstractions for capturing contemporary networked systems and protocols. Our main tools at the moment consist of formal approaches such as the action systems formalism, Event-B, and statistical model checking. Our favorite modeling methods consist of abstraction and refinement. We use the Rodin platform to correctly model networked systems and to prove various properties for the systems we model.

Leader: Doc. Luigia Petre

Research Themes

Integrated Design of Quality Systems group (InDeQS)

The Integrated Design of Quality Systems Group is a research group within the Distributed Systems laboratory that focuses their research on integrating methods and tools in the development of high quality systems. In order to ensure the quality of the systems, formal verification techniques are used to guarantee the correctness of the systems. The group is are also interested in increasing the flexibility and maintainability of formal methods in the design process and to evaluate the benefit of this via metrics and measurements.

Leader: Doc. Marina Waldén

Research interests

Research Unit Web Page: https://research.it.abo.fi/research/distributed-systems-laboratory

Leader of the unit

Luigia Petre Marina Waldén


Pontus Boström Mats Neovius Marta Olszewska

Doctoral Students

Petter Sandvik Moigan Kamali Sergey Ostroumov Jonatan Wiik Masoumeh Parsa

Research Groups

Formal Methods and Networks (FormNet)

Leaders: Luigia Petre
Members:       Mats Neovius
Petter Sandvik
Moigan Kamali

Integrated Design of Quality Systems (InDeQS)

Leaders: Marina Waldén
Members:       Pontus Boström
Marta Olszevska
Sergey Ostroumov
Jonatan Wiik
Masoumeh Parsa


EFFIMA/DiHy+Digihybrid (2009–2014, FIMECC SHOK)

eDiHy (2011–2014, Academy of Finland)

FResCo (2013–2015, Academy of Finland)

ADVICeS (2013–2017, Academy of Finland)


Click here to see the full list of publications from the TUCS Publication Database