People Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name Related Guest Professors Honoraries Alumni (LinkedIn) #5qw Tobias Nießen Univ.Ass. Role PreDoc Researcher Formal Methods in Systems Engineering, E192-04 Contact tobias.niessen@tuwien.ac.at Favoritenstrasse 9, Room HA0309 vCard from TISS orcid.org/0000-0002-7712-0006 informatics.tuwien.ac.at/people/tobias-niessen tiss.tuwien.ac.at/person/367594