I work as assistant professor at the Formal Methods and Tools group. Research-wise, I am concerned with developing analysis methods for various types of stochastic systems, such as
- stochastic hybrid systems
- efficient algorithms for deciding linear time logic properties
- continuous-time Markov chains with infinite state-space
- parametric and interval Markov models
- quantum Markov models
- reinforcement learning of linear-time properties
- multi-objective model checking
- stochastic parity games
Organisations
Courses academic year 2025/2026
Courses in the current academic year are added at the moment they are finalised in the Osiris system. Therefore it is possible that the list is not yet complete for the whole academic year.
Courses academic year 2024/2025
Courses academic year 2023/2024
Address
University of Twente
Zilverling (building no. 11), room 3122
Hallenweg 19
7522 NH Enschede
Netherlands
University of Twente
Zilverling 3122
P.O. Box 217
7500 AE Enschede
Netherlands
Scan the QR code or