Ernst Moritz Hahn

Portrait photo of Ernst Moritz Hahn

About me

I am a Marie Skłodowska Curie Fellow at the Computer Science department of the University of Liverpool. My project is called PaVeCo and targets at developing practically efficient analysis methods for stochastic systems which involve partial control, non-functional requirements, and multi-objective requirements. Previously, I have been working as Associate Research Professor at State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, have been postdoc at Department of Computer Science, University of Oxford and Ph.D. student at Dependable Systems and Software, Universität des Saarlandes.

Research Interests

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


Supervision and Evaluation of Individual Students



Professional Activities

Professional Appointments


Honours and Awards

Language Proficiency

Contact Details

Ernst Moritz Hahn
University of Liverpool
Department of Computer Science
Ashton Building
Ashton Street
Liverpool L69 3BX
United Kingdom

Office: Room 307, Ashton Building