Moritz Hahn
    Phone: +44 (0)28 9097 6813

    For media contact email
    or call +44(0)2890 973091.

    View graph of relations

    Research Interests

    My research area is located in the area of formal methods. I work in probabilistic model checking, which is the automatic analysis of properties (given e.g. as ω-regular languages) of stochastic models (such as for instance Markov decision processes). Within this area, I am especially interested in

    • very large or infinitely large models,
    • parametric and interval Markov models,
    • stochastic parity games,
    • stochastic hybrid (discrete-continuous) systems,
    • efficient algorithms for deciding linear time logic properties,
    • quantum Markov models, and
    • learning of Markov models.

    View all

    Frequent Journals

    • ACM Transactions on Modeling and Computer Simulation

      ISSNs: 1049-3301

      Additional searchable ISSN (Electronic): 1558-1195

      Association for Computing Machinery (ACM)

      Scopus rating (2018): SJR 0.314 SNIP 1.436



      ISSNs: 1863-2122

      European Association of Software Science and Technology

      Scopus rating (2018): SJR 0.15 SNIP 0.862


    • Formal Methods in System Design

      ISSNs: 0925-9856

      Additional searchable ISSN (Electronic): 1572-8102

      Springer Netherlands

      Scopus rating (2018): SJR 0.308 SNIP 1.026


    • Mathematical Structures in Computer Science

      ISSNs: 0960-1295

      Additional searchable ISSN (Electronic): 1469-8072

      Cambridge University Press

      Scopus rating (2018): SJR 0.371 SNIP 1.052


    • Performance Evaluation

      ISSNs: 0166-5316


      Scopus rating (2018): SJR 0.517 SNIP 1.37


    View all »

    ID: 159649945