People Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name Related Guest Professors Honoraries Alumni (LinkedIn) #5qw Friedrich Weber Univ.Ass. / MSc Role PreDoc Researcher Formal Methods in Systems Engineering, E192-04 Contact friedrich.weber@tuwien.ac.at +43-1-58801-192415 Favoritenstrasse 9, Room HD0305 vCard from TISS informatics.tuwien.ac.at/people/friedrich-weber tiss.tuwien.ac.at/person/331815 Courses 2022W Formal Methods in Computer Science / 185.A93 / UE Formal Methods in Computer Science / 185.291 / VU
