Pavol Cerny
Univ.Prof. / PhD
Roles
-
Full Professor
Formal Methods in Systems Engineering, E192-04 -
Faculty Council
Substitute Member
Courses
2022W
- Doctoral & Master Students Seminar / 181.224 / SE
- Project in Computer Science 1 / 184.692 / PR
- Project in Computer Science 2 / 184.693 / PR
2023S
- Bachelor Thesis / 184.695 / PR
- Computer Aided Verification / 181.145 / VU
- Computer-Aided Verification / 181.144 / UE
- Doctoral & Master Students Seminar / 181.224 / SE
- Project in Computer Science 1 / 184.692 / PR
- Project in Computer Science 2 / 184.693 / PR
- Research Seminar LogiCS / 184.767 / SE
- Seminar Formal Methods / 181.221 / SE