Probabilistic Model Checking and Analysis (CO469)


Lecture Notes


Tutorial Notes


Teaching Schedule - Spring Term



Information and Coding Theory (CO349)


Lecture Notes


Tutorial Notes


Teaching Schedule



Quantum Computation (CO484)


Lecture Notes


Tutorial Notes


Teaching Schedule



Probabilistic Program Analysis
(together with A Di Pierro)
ESSLLI 2016, Bozen/Bolzano


Lecture Notes



[Program Analysis (CO470)]


Lecture Notes