WS 20/21

CourseTypeBachelor / MasterDocent
Model CheckingLectureB/MKatoen
Compiler ConstructionLectureB/MNoll
Probabilistic ProgrammingLectureMKatoen
Foundations of Informatics Bridging CourseLectureNoll
Probabilistic ProgrammingSeminarB/MKatoen/Noll
Algorithms and Data StructuresProseminarBKatoen/Noll