2020/21

Michaelmas: Foundations of Data Science
Lent: Quantum Computing, Cryptography

2019/20

Michaelmas: Foundations of Data Science, Types
Lent: Quantum Computing
Easter: Complexity Theory

2018/19

Lent: Logic & Proof
Easter: Complexity Theory