WS 22/23

CourseTypeBachelor / MasterDocent
Probabilistic ProgrammingLectureMKatoen
Compiler ConstructionLectureB/MNoll
Trends in Computer-Aided VerificationSeminarB/MKatoen/Noll
Probabilistic ProgrammingSeminarB/MKatoen/Noll
Foundations of Informatics Bridging CourseLectureNoll