Email

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. I am interested in formal verification techniques for process mining and business process analysis. My current work applies (multi-objective) model checking to stochastic process models (e.g. Generalized Stochastic Petri Nets (GSPNs)) to assess probabilistic compliance requirements. I am further interested in time-bounded reachability and probabilistic bisimulations.

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 together.

Teaching

Current Semester

• Lecture – Static Program Analysis (SS26)

Past Semesters

• Proseminar – Introduction to Program Analysis and Formal Methods (WS25/26)