People Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name Related Guest Professors Honoraries Alumni (LinkedIn) #5qw Matthias Hetzenberger BSc Role Student Staff Formal Methods in Systems Engineering, E192-04 Contact matthias.hetzenberger@tuwien.ac.at Favoritenstrasse 9, Room HD0305 vCard from TISS orcid.org/0000-0002-2052-8772 informatics.tuwien.ac.at/people/matthias-hetzenberger tiss.tuwien.ac.at/person/309702