About Me
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
Expertise
Engineering & Materials Science
# Hybrid Systems
# Markov Chains
# Markov Processes
# Model Checking
# Reinforcement Learning
# Statistical Models
Mathematics
# Markov Decision Process
# Reward
Organisations
Courses Academic Year 2022/2023
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 2021/2022
Contact Details
Visiting Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(building no. 11)
Hallenweg 19
7522NH Enschede
The Netherlands
Mailing Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
P.O. Box 217
7500 AE Enschede
The Netherlands