David Spieler is a Professor of Machine Learning at the University of Applied Sciences Munich since September 2018. Previously, he served as a product owner for big data topics at Audi AG (2015–2018), a system developer at Bosch SoftTec (2014–2015), and completed his PhD in Modeling and Simulation at Saarland University (2009–2014). His research focuses on stochastic systems, biochemical modeling, parameter estimation, and oscillatory behavior analysis in Markovian systems. He has contributed to numerical methods for steady-state analysis, formal verification techniques, and applications in systems biology. Research interests include stochastic hybrid systems, sensitivity analysis of biochemical networks, geometric bounds for CTMC steady-state distributions, and oscillatory dynamics in chemical reaction networks. He has published extensively on topics like model checking, parameter estimation, and algorithmic solutions for stochastic processes. His work bridges theoretical computer science with practical applications in bioinformatics and engineering. Spieler has taught courses on data networks, quantitative model checking, and stochastic simulation techniques. He has reviewed manuscripts for over 20 conferences including CAV, CMSB, HSCC, and QEST, contributing to the advancement of formal methods and computational systems biology.









