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.

 

Awards

Günther Hotz Medal (2010)

Contact

M.Sc. David Spieler

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

Fon: +49 (0)681 302-5478

Publications