People Overview Professors Scientific Staff Administrative Staff External Lecturers By Responsibilities By Committee By Name Pavol Cerny Univ.Prof. / PhD Role Full Professor Formal Methods in Systems Engineering, E192-04 Contact pavol.cerny@tuwien.ac.at +43-1-58801-192403 Favoritenstrasse 9, Room HC0311 vCard from TISS forsyte.at/~cerny informatics.tuwien.ac.at/people/pavol-cerny tiss.tuwien.ac.at/person/327623 Courses 2019W Formal Methods in Computer Science / VU / 185.291
