Lectures

Concurrency Theory

Course · Master · Winter Semester

Docent: Thomas Noll

Model Checking

Course · Bachelor / Master · Winter Semester

Docent: Tim Quatmann

Probabilistic Programming

Course · Master · Winter Semester

Docent: Joost-Pieter Katoen