People Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name Related Guest Professors Honoraries Alumni (LinkedIn) #5qw Anna Prianichnikova Projektass.(FWF) Mag. Dr. Role PostDoc Researcher Formal Methods in Systems Engineering, E192-04 Contact anna.prianichnikova@tuwien.ac.at +43-1-58801-740037 Favoritenstrasse 9, Room HA0316 vCard from TISS informatics.tuwien.ac.at/people/anna-prianichnikova tiss.tuwien.ac.at/person/195178 Courses 2020W Research Seminar LogiCS / 184.767 / SE