Welcome...

dr.ing. E.M. Hahn (Moritz)

Assistant Professor

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

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (building no. 11), room 3122
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling  3122
P.O. Box 217
7500 AE Enschede
The Netherlands