- michnia at cs.rwth-aachen.de
- Address
- Room 4205
Ahornstraße 55
D-52074 Aachen
I am a PhD student in the Software Modeling and Verification Group headed by Professor Joost-Pieter Katoen.
Research. My current research targets Multi-objective Model Checking for probabilistic process models (most specifically, Generalized Stochastic Petri Nets (GSPNs)) obtained from state-of-the-art process mining methods. This line of research falls within the broader domain commonly known as compliance checking. Specific to my work, verification with STORM requires a translation to its Markov automata semantics (to support non-determinism) and careful consideration of silent steps in the process model.
Thesis Projects
If any of the highlighted topics spark your interest and you’d like to explore them in your Bachelor’s or Master’s thesis, feel free to contact me. Currently there are no open thesis topics, but You are invited to bring own ideas, or we can develop new ad-hoc topics in ongoing research.
Teaching
Current Semester
- Proseminar – Introduction to Program Analysis and Formal Methods (WS25/26)