People Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name Related Guest Professors Honoraries Alumni (LinkedIn) #5qw Anja Petkovic Komel Projektass.in Dr.in Role PostDoc Researcher Formal Methods in Systems Engineering, E192-04 Contact anja.komel@tuwien.ac.at Favoritenstrasse 11, Room HE0314 vCard from TISS anjapetkovic.com/ orcid.org/0000-0001-7203-6641 informatics.tuwien.ac.at/people/anja-komel tiss.tuwien.ac.at/person/359248 Courses 2023S Formal Methods in Computer Science / 185.291 / VU