People Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name Related Guest Professors Honoraries Alumni (LinkedIn) #5qw Beatrix Buhl Role Office Services Formal Methods in Systems Engineering, E192-04 Contact beatrix.buhl@tuwien.ac.at +43-1-58801-18404 Favoritenstrasse 9, Room HD0319 vCard from TISS informatics.tuwien.ac.at/people/beatrix-buhl tiss.tuwien.ac.at/person/300640