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
- 192111092 - Advanced Logic
- 192199508 - Research Topics CS
- 192199968 - Internship CS
- 192199978 - Final Project CS
- 201300086 - Research Topics 2 CS
- 201400171 - Capita Selecta ST
- 201500039 - Security Verification
- 201800524 - Research Topics EIT
- 202001051 - Research Project Core
- 202001361 - Languages & Machines
- 202001613 - MSc Final Project BIT + CS
- 202100113 - Probabilistic Model Checking
- 202200251 - Capita Selecta DST
- 202300106 - M12 Research Project Core TCS
- 202400371 - M12 Research Project Core BIT
Courses academic year 2023/2024
- 192111092 - Advanced Logic
- 192199508 - Research Topics CS
- 192199968 - Internship CS
- 192199978 - Final Project CS
- 201300086 - Research Topics 2 CS
- 201400171 - Capita Selecta Software Technology
- 201500039 - Security Verification
- 201800524 - Research Topics EIT
- 202001051 - Research Project Core
- 202001361 - Languages & Machines
- 202001613 - MSc Final Project BIT + CS
- 202001614 - MSc Final Project CS + I-Tech
- 202001616 - Research Topics CS + I-TECH
- 202200251 - Capita Selecta DST
- 202300106 - Research Project Core
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