Teaching

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