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

Semantics and Verification of Software

Course · Master · Winter Semester

Docent: Thomas Noll