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

 
  • Emails: sophie [at] datenvorsprung.at | sophie.neubauer [at] tuwien.ac.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


Education

  • 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