Ernst Moritz Hahn (韩墨锐)’s Homepage


About me

I am Associate Research Professor at State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences. Previously, I was postdoc at Department of Computer Science, University of Oxford and Ph.D. student at Dependable Systems and Software, Universität des Saarlandes. My main research interest is probabilistic model checking. This involves topics such as:

  • stochastic hybrid systems
  • efficient algorithms for deciding linear time logic properties
  • continuous-time Markov chains with infinite state-space
  • parametric Markov models
  • quantum Markov models

Professional activities


Google Scholar page:


Student projects

Christian Josef Köhl: Probabilistische Aspekte – AspectKP – ein verteiltes Prozesskalkül

Teaching activities

Participation in tool development

I have contributed to the development of the following tools:

  • IscasMC (main developer)
  • CCMC (participation in tool paper and internal review of homepage)
  • PARAM (main developer)
  • ProHVer (main developer)
  • INFAMY (main developer)
  • PASS (improvements on value iteration and code cleanup)
  • PRISM (integration of parametric analysis and an extension of the fast adaptive uniformisation, see the development version
  • MRMC (integration of two algorithms on continuous-time Markov decision processes)

My work also involves several smaller tools developed for single publications.

Participation in Projects in the past

  • CAP – “Composition, Abstraction, and Parametrization for the Verification of Probabilistic Hybrid Systems”, Chinesisch-Deutsches Zentrum für Wissenschaftsförderung (CDZ)
  • VERIWARE (University of Oxford)
  • AVACS (S2, S3, H4) (Universität des Saarlandes)
  • Quasimodo (Universität des Saarlandes)
  • ROCKS (Universität des Saarlandes)


Professional Appointments

Scholarships and Affiliations

Personal Data

  • Full Name: Ernst Moritz Hahn
  • Date of Birth: October 3rd, 1982
  • Place of Birth: Fernwald, Germany (Hesse)

Language proficiency

  • German: native speaker
  • English: highly proficient in spoken and written language
  • Chinese (Mandarin): good command