Sophie Neubauer

Sophie Neubauer is a researcher affiliated with the Faculty of Informatics at Technische Universität Wien, specifically within the Institute of Information Systems and the Knowledge Based Systems research group. Her work bridges theoretical and applied domains in machine learning and systems engineering.

• Faculty: Faculty of Informatics
• Department: Institute of Information Systems
• Research Group: Knowledge Based Systems

Research Interests:
Sophie focuses on robustness analysis of neural networks, verification of neural ODEs, and applications of machine learning in data-limited scenarios. Her work on Lagrangian reachtubes explores formal methods for dynamic system verification, while her earlier research in optimal bidding strategies contributes to computational economics.

Publications Trends:
Her publications (2014–2023) span machine learning, formal verification, and systems engineering. Key areas include neural networks, stochastic guarantees, reachability analysis, and predictive modeling in tourism and sponsored search.

Collaborations:
She collaborates with researchers such as Radu Grosu, Scott A. Smolka, and Ramin Hasani, contributing to both theoretical advancements and practical tools in AI verification.