SS 19

Course Type Bachelor / Master Docent
Formale Systeme, Automaten, Prozesse Lecture B Katoen
Semantics and Verification of Software Lecture M Noll
Introduction to Program Analysis Proseminar B Katoen/Noll
Implementation of Heuristic Algorithms for Board Games Practical Course B Berger
Foundations of Probabilistic Programming Seminar M Katoen
Program Synthesis Seminar B/M Noll