معرفی
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.
۰مقاله منتشرشده
Beatrix Buhl در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- MMatthias NitzschkeVienna University of Technology · پژوهشگر
- JJohannes SchoisswohlVienna University of Technology · پژوهشگر
- WWalter PalmetshoferVienna University of Technology · پژوهشگر
- EEva Maria WagnerVienna University of Technology · پژوهشگر
- AAdrian Rebola PardoVienna University of Technology · پژوهشگر
- MMarton HajduVienna University of Technology · پژوهشگر