- Introduction and Overview - (print version)
- The While Language - (print version)
- Data Flow Analysis - (print version)
- Monotone Frameworks - (print version)
- Control Flow Analysis - (print version)
- Correctness of an Analysis - (print version)
- Abstract Interpretation - (print version)
- Probabilistic Programs - (print version)

- Tutorial 1, 20 October (Model Answers)
- Tutorial 2, 25 October (Model Answers)
- Tutorial 3, 1 November (Model Answers)
- Tutorial 4, 8 November (Model Answers)
- Tutorial 5, 15 November (Model Answers)
- Tutorial 6, Additional (Model Answers)

- Lectures: Tue 14:00-16:00 and Thu 9:00-11:00 in 145
- Tutorials: Typically Tuesday 20/10, 25/10, 1/11, 8/11, 15/11
- Coursework Test 1: Thu 27/10, 9am in 145
- Coursework Test 2: Tue 22/11, 2pm in 145

- Register Machines - (Noters)
- Register Machines Gadgets - (Noters)
- Halting Problem - (Noters)
- Turing Machines - (Noters)
- Lambda Calculus

- Tutorial 2.1 (Model Answers), 18 November
- Tutorial 2.2 (Model Answers), 2 December
- Tutorial 2.3 (Model Answers), 2 December

- Lectures: Tue 11:00-12:00 and Fri 17:00-18:00

- Tutorials: Fri 16:00-17:00

- Coursework: Tue 29 November - Mon 12 December

- Quantum Physics and Concepts (Slides).
- Quantum State and Evolution (Slides).
- Quantum Measurement and Registers (Slides).
- Quantum Gates and Circuits (Slides).
- Quantum Cryptography and No Cloning (Slides).
- Quantum Algorithms: Deutsch Problem (Slides).

(together with A Di Pierro)

ESSLLI 2016, Bozen/Bolzano

- Day1: Computation and Probability - (print version)
- Day2: A Probabilistic Language and its Semantics - (print version)
- Day3: Probablistic Abstract Interpretation - (print version)
- Day4: Data Flow Analysis and Regression - (print version)
- Day5: Logic and Analysis - (print version)