Sebastian Junges
Sebastian Junges

NWO Open Science Fund for model checker STORM

NWO has awarded a grant of 50,000 euros for a research project by Sebastian Junges, a researcher at the Institute for Computing Science. In the StormAE project, Junges and his team will work on improving the interfaces and documentation of Storm: software used to analyse certain mathematical models. Junges will receive the grant alongside Joost-Pieter Katoen and Tim Quatmann from RWTH Aachen University, Germany, and Matthias Volk from TU Eindhoven.


Probabilistic model checking is a popular technique for analysing certain mathematical models, often used to describe systems where uncertainties about their behaviour play a significant role. The model checker Storm is a fast and widely used open-source software originally designed for experts in model checking.

Sebastian Junges: 'In practice, it turned out that researchers from various disciplines, from biology to physics, use the Storm software, even for applications we hadn't anticipated. Within the StormAE project, we aim to improve the software's interfaces and explanations so that more researchers can use the model checker Storm correctly. Additionally, with this NWO grant, we will also develop interactive educational materials to teach students how probabilistic model checking works.'

About the NWO Open Science Fund

The NWO Open Science Fund supports projects aimed at applying and promoting open science practices. In the 2023 round, funding was awarded to 30 projects.