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



Visiting address

University of Twente

Zilverling (building no. 11), room 3122
Hallenweg 19
7522 NH Enschede

Navigate to location


Scan the QR code or
Download vCard