Undergraduate and master’s courses
Department of Computer Science, University of Oxford
PhD (DPhil) courses
EPSRC Centre for Doctoral Training in Autonomous Intelligent Machines and Systems (AIMS), University of Oxford
UKRI AI Centre for Doctoral Training in AI for the Environment (Intelligent Earth), University of Oxford
Department of Computer Science, University of British Columbia, Vancouver, BC, Canada
Oxford undergraduate tutorials
Jesus College, University of Oxford
- Michaelmas Term 2024: Linear Algebra, Compilers
- Trinity Term 2024: Digital Systems (continued), Introduction to Proof Systems
- Hilary Term 2024: Digital Systems, Concurrent Programming
- Michaelmas Term 2023: Linear Algebra, Compilers
- Trinity Term 2023: Digital Systems (continued), Imperative Programming Part 3, Introduction to Formal Proof
- Michaelmas Term 2022: Linear Algebra, Compilers
- Trinity Term 2022: Digital Systems (continued), Imperative Programming Part 3, Introduction to Formal Proof
- Hilary Term 2022: Digital Systems, Concurrent Programming
- Michaelmas Term 2021: Linear Algebra
Summer schools
Swiss National Supercomputing Centre (CSCS), Lugano, Switzerland