Teaching

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