Pavol Cerny
Univ.Prof. / PhD
Roles
-
Full Professor
Formal Methods in Systems Engineering, E192-04 -
Faculty Council
Substitute Member
Courses
2023W
- Bachelor Thesis / 184.695 / PR
- Doctoral & Master Students Seminar / 181.224 / SE
2024S
- Bachelor Thesis / 184.695 / PR
- Doctoral & Master Students Seminar / 181.224 / SE
- Research Seminar LogiCS / 184.767 / SE
- Seminar Formal Methods / 181.221 / SE