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

    For media contact email comms.office@qub.ac.uk
    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

    View all »

    ID: 159649945