Alexander Bork
Wissenschaftlicher Mitarbeiter at RWTH Aachen University
Aachen, North Rhine-Westphalia, Germany
Summary
👤
SeniorAlexander Bork is a research-focused software engineer and PhD candidate at RWTH Aachen with eight years of experience in modeling and verification of probabilistic systems. He specializes in verification of partially observable stochastic models, particularly POMDPs, and develops practical methods to check real-world properties of AI-modeled devices and processes. As a core developer of the Storm probabilistic model checker, he combines formal-methods research with hands-on engineering of a mid-scale open-source tool. His work has been accepted at top conferences in computer-aided verification, reflecting both theoretical depth and applied impact. Based in Aachen, he brings a pragmatic approach to turning complex verification problems into usable, audit-friendly solutions.
8 years of coding experience
Github Skills (13)
mdp10
machine-learning10
markov-chain10
model-checking10
checker10
python-bindings9
markov-decision-processes8
julia6
python5
reinforcement-learning5
control-systems5
artificial-intelligence4
multicore4
Programming languages (5)
Github contributions (5)
AlexBork/storm
Apr 2021 - Sep 2025
A Modern Probabilistic Model Checker
Contributions:19 reviews, 11 PRs, 108 pushes in 4 years 5 months
model-checkerprobabilisticmachine-learningchecker
AlexBork/stormpy
Jun 2023 - Dec 2025
Python Bindings for the Probabilistic Model Checker Storm
Contributions:1 PR, 10 pushes, 2 branches in 2 years 6 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.