People Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name Related Guest Professors Honoraries Alumni (LinkedIn) #5qw Michael Rawson Projektass. / PhD Role PostDoc Researcher Formal Methods in Systems Engineering, E192-04 Contact michael.rawson@tuwien.ac.at Favoritenstrasse 9, Room HA0312 vCard from TISS orcid.org/0000-0001-7834-1567 informatics.tuwien.ac.at/people/michael-rawson tiss.tuwien.ac.at/person/355453 Courses 2022W Seminar Formal Methods / 181.221 / SE
