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.

Fingerprint Dive into the research topics where Moritz Hahn is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Engineering & Materials Science

Model checking
Markov processes
Hybrid systems
Specifications
Polynomials
Binary decision diagrams
Computer viruses
Stochastic models
Costs
Explosions
Wireless sensor networks
Chemical analysis
Statistical Models
Reinforcement learning
Discrete event simulation
Reliability analysis
Electric network analysis
Computer networks
Rational functions
Parallel algorithms
Data structures
Controllers
Data storage equipment
Surface mount technology
Chemical reactions
Numerical methods

Mathematics

Reward
Reachability
Model Checking
Markov Decision Process
Regular Expressions
Markov chain
Multiple Objectives
Parametric Model
Pareto
Hybrid Systems
Stochastic Systems
Probabilistic Model
Markov Model