Lecture Notes

• Introduction and Overview - (slides)
• While Language (Syntax) - (slides)
• Data Flow Analysis - (slides)
• Monotone Frameworks - (slides)
• Control Flow Analysis - (slides)
• On Correctness - (slides)
• Abstract Interpretation - (slides)
• Probabilistic Programs - (slides)

Tutorial Notes

• Tutorial 1 (Model Answers), 15 October
• Tutorial 2 (Model Answers), 22 October
• Tutorial 3 (Model Answers), 5 November
• Tutorial 4 (Model Answers), 5 November
• Tutorial 5 (Model Answers), 12 November
• Tutorial 6 (Model Answers)

Teaching Schedule - Autumn Term

• Lectures: Tue 11:00-13:00 and Thu 9:00-11:00 in 144
• Tutorials: Typically Tuesday 11am
• Coursework Test 1 - 29 October, 11am
• Coursework Test 2 - 19 November, 11am

Lecture Notes

• Register Machines - (Notes)
• Universal Register Machines - (Notes)
• Halting Problem - (Notes)
• Turing Machines - (Notes)
• Lambda Calculus

Tutorial Notes

• Tutorial 1, 17 October
• Tutorial 2, 24 October
• Tutorial 3, 7 November

Teaching Schedule - Autumn Term

• Lectures: Thu 17:00-18:00 and Fri 10:00-11:00 in 308
  
• Tutorials: Typically Thursday16:00
  
• Coursework: One Day Revision Test 31 October
  

Lecture Notes

• 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).

Lecture Notes

• 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)