M.Sc. David Spieler

Research interests





My main research interests are :

  • Numerical steady-state analysis of stochastic hybrid systems,
  • sensitivity analysis and parameter estimation of biochemical systems,
  • retrival of geometric bounds for the steady state distributions of structured continuous time Markov chains (CTMC) with infinite state-space by the use of Lyapunov functions, as implemented e.g. in the Geobound tool,
  • deterministic timed automata (DTA) as a specification mechanism for CTMC,
  • and detecting oscillatory behavior in discrete stochastic models of chemical reaction networks.



Günther Hotz Medal (2010)


M.Sc. David Spieler

Saarland University, Campus E1 3, Room 534 66123 Saarbrücken

Fon: +49 (0)681 302-5478