Pavol Cerny
Univ.Prof. / PhD
Roles
-
Full Professor
Formal Methods in Systems Engineering, E192-04 -
Faculty Council
Substitute Member
Courses
2020W
- Bachelor Thesis / PR / 184.695
- Doctoral & Master Students Seminar / SE / 181.224
- Formal Methods in Computer Science / UE / 185.A93
- Formal Methods in Computer Science / VU / 185.291
- Project in Computer Science 1 / PR / 184.692
- Project in Computer Science 2 / PR / 184.693