Information and Coding Theory (CO349)


Lecture Notes:



Quantum Computation (CO484)


Lecture Notes:



Architecture (CO113)


Lecture Notes:

Some (maybe) useful links:


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

Lecture Notes:

[Program Analysis (CO470)]


Lecture Notes: