Information and Coding Theory (CO349)


Lecture Notes


Tutorial Notes


Teaching Schedule



Quantum Computation (CO484)


Lecture Notes


Tutorial Notes


Teaching Schedule



Probabilistic Model Checking and Analysis (CO469)


Lecture Notes


Tutorial Notes


Teaching Schedule - Spring Term



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


Lecture Notes



[Program Analysis (CO470)]


Lecture Notes