People Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name Related Guest Professors Honoraries Alumni (LinkedIn) #5qw Petra Hozzova Univ.Ass. Dr.in techn. Role PostDoc Researcher Formal Methods in Systems Engineering, E192-04 Contact petra.hozzova@tuwien.ac.at +43-1-58801-192405 vCard from TISS orcid.org/0000-0003-0845-5811 informatics.tuwien.ac.at/people/petra-hozzova tiss.tuwien.ac.at/person/330004
