Teaching

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