Beatrix Buhl

Beatrix Buhl is a Visiting Professor at TU Wien's Faculty of Informatics, specializing in Formal Methods in Systems Engineering (Department E192-04). Her research focuses on automated reasoning, software verification, and theorem proving, supported by EU-funded projects such as LEARN (2025–2026) and 'Automated Reasoning with Theories and Induction for Software Technologies' (2021–2026).

• Office: Favoritenstrasse 9, Room HD0319
• Contact: +43-1-58801-18404

Her work bridges formal methods with practical software engineering challenges, emphasizing scalable verification techniques and automated reasoning frameworks. Current projects explore learning-based approaches to efficient automated reasoning and induction-based methods for software technologies.