E.M. Hahn

E.M. Hahn serves as Assistant Professor in the Formal Methods and Tools group within the Department of Computer Science at the University of Twente's Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS). His academic appointment focuses on theoretical and algorithmic approaches to system verification.

His research program centers on stochastic system analysis, with particular emphasis on:

• Stochastic hybrid systems and continuous-time Markov chains with infinite state-space
• Parametric/interval Markov models and quantum Markov models
• Multi-objective model checking and stochastic parity games
• Reinforcement learning applications for linear-time properties

The Formal Methods and Tools group leverages these methodologies to develop efficient algorithms for verifying complex computational systems, bridging theoretical computer science with practical verification challenges.