Project Hyben

The project Hyben (Hybrid Verification of Heterogeneous Message-Passing Applications) studies new methods for the hybrid (static+runtime) verification of concurrent and distributed systems. The goal is to model systems with both statically-verified and runtime-verified (i.e., monitored) components, exploring new ways to combine the two verification techniques.

The project started in June 2022 and is funded by the Independent Research Fund Denmark. I am Principal Investigator, in collaboration with Adrian Francalanza (University of Malta) and Nobuko Yoshida (University of Oxford). The project also involves Motorola Solutions Danmark A/S – that has been helping with use cases, very insightful discussions, and MSc project co-supervision.

At DTU, the project involves (besides me):

• Radoslaw Jan Rowicki (PhD student, graduated on 27 March 2026)

The research also involved the final project of the MSc student Zdenek Pazdera.