Teaching

Course number Course name Type Latest/upcoming Semester TISS link
184693 Project in Computer Science 2 PR 2023S
184741 Program and System Verification VU 2023S
184767 Research Seminar LogiCS SE 2023S
181221 Seminar Formal Methods SE 2023S
181224 Doctoral & Master Students Seminar SE 2023S
184695 Bachelor Thesis PR 2023S
184766 Introduction to Logical Methods in Computer Science VO 2023S
184692 Project in Computer Science 1 PR 2023S