Photo of Moritz Hahn
  • Room 01.004 - Computer Science Building

    United Kingdom

Accepting PhD Students

PhD projects

I am open to PhD projects related to the area of (stochastic/probabilistic) model checking and generally formal methods such as but not limited to - very large or infinitely large models (using state-space truncation, finite-state projection, (multi-terminal) binary decision diagrams (BDDs), satisfiability modulo theories (SMT), and similar approaches) - analysis of parametric and interval Markov models - stochastic parity games - stochastic hybrid (discrete-continuous) systems - efficient algorithms for deciding linear time logic properties (omega-regular properties) - learning of Markov models - real-world applications of such methods

20062019
If you made any changes in Pure these will be visible here soon.

Activities 2018 2019

  • 3 Other
  • 2 Visiting an external academic institution
  • 1 Participation in workshop, seminar, course
  • 1 Research and Teaching at External Organisation
Filter
Other

Supervising CS Final Year Projects

Moritz Hahn (Recipient)
08 Oct 201929 Apr 2020

Activity: Other activity typesOther

Publication reviews

Moritz Hahn (Recipient)
01 Nov 201831 Dec 2019

Activity: Other activity typesOther

Various internal events at QUB

Moritz Hahn (Recipient)
01 Nov 201831 Dec 2019

Activity: Other activity typesOther