Pavol Cerny
Univ.Prof. / PhD
Role
-
Full Professor
Formal Methods in Systems Engineering, E192-04
Courses
2023W
- Bachelor Thesis / 184.695 / PR
- Doctoral & Master Students Seminar / 181.224 / SE
2024S
- Bachelor Thesis / 184.695 / PR
- Computer Aided Verification / 181.145 / VU
- Computer-Aided Verification / 181.144 / UE
- Doctoral & Master Students Seminar / 181.224 / SE
- Research Seminar LogiCS / 184.767 / SE
- Scientific Research and Writing / 193.052 / SE
- Seminar Formal Methods / 181.221 / SE