WS 2024/25

CourseTypeBachelor / MasterDocent
Model CheckingLectureB/MKatoen
Practical Course Model CheckingPractical courseB/MQuatmann
Semantics and Verification of SoftwareLectureMNoll
Probabilistic ProgrammingSeminarB/MKatoen
Trends in Computer-Aided VerificationSeminarB/MNoll
Foundations of InformaticsBridging courseNoll

Note: The Compiler Construction course will only be offered in summer 2025.