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 2023/2024
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.
- 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
Courses academic year 2022/2023
- 192111092 - Advanced Logic
- 192199508 - Research Topics CS+IST
- 192199968 - Internship CS
- 192199978 - Final Project CS+IST
- 201300086 - Research Topics 2 CS+IST
- 201300294 - Master Thesis SEC Computer Science
- 201400171 - Capita Selecta Software Technology
- 201500039 - Security Verification
- 201800524 - Research Topics EIT
- 202000670 - Bachelor Assignment
- 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
- 202100113 - Probabilistic Model Checking
- 202200251 - Capita Selecta DST
Address
![](https://1348661504.rsc.cdn77.org/.uc/iff4689c40103f3eb1100f2c8f403e85637f06a7b284b0801e3bc0268018041/zilverling.jpg)
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