People Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name Related Guest Professors Honoraries Alumni (LinkedIn) #5qw Thomas Hader Univ.Ass. Dipl.-Ing. / BSc BSc Role PreDoc Researcher Formal Methods in Systems Engineering, E192-04 Contact thomas.hader@tuwien.ac.at Favoritenstrasse 9, Room HA0305 vCard from TISS informatics.tuwien.ac.at/people/thomas-hader tiss.tuwien.ac.at/person/285070