Sophie Grünbacher

  • Research Assistant, MSc
  • Cyber-Physical Systems
  • Institute of Computer Engineering
  • TU Wien
  • Treitlstraße 1-3
  • 1040 Wien
  • Austria

  • Room: DE 0314
  • Email: sophie.gruenbacher [at]

Research Interests

  • Reachability Analysis of cyber-physical systems with neural network controllers
  • Stochastic Reachability Analysis
  • Stochastic Global Optimization
  • Deep Learning based recommender systems
  • Machine Learning
  • Artificial Intelligence

Current Position


  • MSc: Statistics and Mathematics in Economics, TU Wien
  • BSc: Statistics and Mathematics in Economics, TU Wien

Work Experience

  • Since 2020: Co-founder and CTO at DatenVorsprung GmbH
  • Since 2017: Co-founder and CEO at Absolut Ticket GmbH
  • 2009-2017: Technical Manager and then CEO at Wiener Mozart Orchester Konzertveranstaltungs GmbH


  • S. Gruenbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, and R. Grosu (2021) On the Verification of Neural ODEs with Stochastic Guarantees. Accepted for publication at the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21)
  • S. Gruenbacher, J. Cyranka, M. Lechner, M.A. Islam, S.A. Smolka, and R. Grosu (2020) Lagrangian Reachtubes: The Next Generation. Accepted for presentation at, and publication in the proceedings of, the 2020 59th IEEE Conference on Decision and Control (CDC)
  • S. Gruenbacher, J. Cyranka, M.A. Islam, M. Tschaikowski, S.A. Smolka, and R. Grosu (2019) Under the Hood of a Stand-Alone Lagrangian Reachability Tool. In G. Frehse and M. Althoff, editors, ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019, volume 61 of EPiC Series in Computing, pages 211–219. EasyChair, 2019