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

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
Research and Teaching at External Organisation

University of Oxford

Moritz Hahn (Advisor)
15 Nov 2019

Activity: Visiting an external institution typesResearch and Teaching at External Organisation