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

Research output per year

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

Activities

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

University of Liverpool

Moritz Hahn (Advisor)
16 Oct 201918 Oct 2019

Activity: Visiting an external institution typesVisiting an external academic institution

University of Twente

Moritz Hahn (Advisor)
07 Nov 201908 Nov 2019

Activity: Visiting an external institution typesVisiting an external academic institution