People Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name Related Guest Professors Honoraries Alumni (LinkedIn) #5qw Alexander Pluska Univ.Ass. / MSc Role PreDoc Researcher Formal Methods in Systems Engineering, E192-04 Contact alexander.pluska@tuwien.ac.at Favoritenstrasse 9, Room HA0311 vCard from TISS informatics.tuwien.ac.at/people/alexander-pluska tiss.tuwien.ac.at/person/334686 Courses 2023S Formal Methods in Computer Science / 185.291 / VU