Lectures

Course Type Semester Bachelor / Master Docent
Concurrency Theory Course Winter M noll
Model Checking Course Winter B/M quatmann
Probabilistic Programming Course Winter M Joost-Pieter Katoen