Probabilistic Model Checking and Analysis (CO469)


Lecture Notes


Tutorial Notes

  • Tutorial 1 ( Answers)
  • Tutorial 2 (Answers)

    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