Alexander Bork

alexander.bork at
Room 4205
Ahornstraße 55
D-52074 Aachen
+49 241 80 21252

I have been a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor Joost-Pieter Katoen since April 2021. Additionally, I am a doctoral researcher within the Research Training Group UnRAVeL.


My research focus is on the verification of partially observable stochastic models, in particular the analysis of partially observable Markov decision processes (POMDPs). An emphasis is on the development of approaches that can be used in practice to verify certain properties on these models.

I am a developer of the probabilistic model checker Storm.

Thesis Projects

If you are interested in writing a Bachelor’s/Master’s thesis within my research area, don’t hesitate to contact me. You can also check out our list of open thesis topics.


I’m currently not actively involved in any teaching activities.

Past Semesters


DOI [bibtex]
title = {Verification of Indefinite-Horizon POMDPs},
author = {Alexander Bork and Sebastian Junges and Joost-Pieter Katoen and Tim Quatmann},
publisher = {Springer},
booktitle = {LNCS},
volume = {12302},
pages = {288-304},
type = {Conference Paper},
year = {2020},
doi = {10.1007/978-3-030-59152-6_16},
url = {},
Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann. Verification of Indefinite-Horizon POMDPs, International Symposium on Automated Technology for Verification and Analysis (ATVA 2020), Volume 12302 of LNCS, 288-304, Springer, 2020.
Show all