Sophie A. Neubauer (née Grünbacher)

  • Emails: sophie [at] | sophie.neubauer [at]

Research Interests

My vision: a future with safe and trustworthy AI in safety-critical environments
  • 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

Awards and Honors

Press and media

First and Last Author Publications

  • S.A. Neubauer (née Gruenbacher), R. Grosu (2022) "Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques", Accepted for publication at Henzinger-60 (Thomas Henzinger Festschrift - Conference celebrating his 60th birthday).
  • S. Gruenbacher, J. Cyranka, M. Lechner, M. A. Islam, S. A. Smolka and R. Grosu, "Lagrangian Reachtubes: The Next Generation," 2020 59th IEEE Conference on Decision and Control (CDC), Jeju, Korea (South), 2020, pp. 1556-1563, doi: 10.1109/CDC42340.2020.9304042.
  • 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