Teaching

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