Ernst Moritz Hahn

Portrait photo of Ernst Moritz Hahn

About me

I am an assistant professor at the Formal Methods and Tools (FMT) group at the University of Twente within Mariëlle Stoelinga's project CAESAR.

Research Interests

My main research interest is probabilistic model checking. This involves topics such as:

Contact

University of Twente
Room: Zilverling 3061
E-Mail: e.m.hahn@utwente.nl

Lecturing

Supervision and Evaluation

Funding

Publications

Last updated: 2020-12-03

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2006

Talks

Since 01/07/2020

Professional Activities

Professional Appointments

Education

Honours and Awards

Language Proficiency