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

Address

Visiting address

University of Twente

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

Navigate to location

Organisations

Scan the QR code or
Download vCard