Pavol Černý

Professor

Group Computer Aided Verification
Room Office HC0311 (Show FORSYTE location)
Phone +43 1 58801 192403
Email pavol.cerny@tuwien.ac.at
Websites https://cernyp.github.io/
http://forsyte.at/~cerny/
Other links

Teaching

Course number Course name Type Latest/upcoming Semester TISS link
184695 Bachelor Thesis PR 2024S
181224 Doctoral & Master Students Seminar SE 2024S
184767 Research Seminar LogiCS SE 2024S
181221 Seminar Formal Methods SE 2024S
181145 Computer Aided Verification VU 2023S
181144 Computer-Aided Verification UE 2023S
184692 Project in Computer Science 1 PR 2023S
184693 Project in Computer Science 2 PR 2023S