Michaelmas Term, MSc in Advanced Computer Science
Students can take at most two courses from Schedule I and must take at least two courses from Schedule II. There is no overall upper limit of courses a student can take, and students may take examinations in a maximum of four courses per term.
Schedule I
- Computer Security 16 Lectures, Michaelmas Term 2021
- Computer-Aided Formal Verification 16 Lectures, Michaelmas Term 2021
- Machine Learning 20 Lectures, Michaelmas Term 2021
- Principles of Programming Languages 16 Lectures, Michaelmas Term 2021
Schedule II
- Automata, Logic and Games 24 Lectures, Michaelmas Term 2021
- Bayesian Statistical Probabilistic Programming 16 Lectures, Michaelmas Term 2021
- Categories, Proofs and Processes 20 Lectures, Michaelmas Term 2021
- Computational Learning Theory 24 Lectures, Michaelmas Term 2021
- Concurrent Algorithms and Data Structures 20 Lectures, Michaelmas Term 2021
- Law and Computer Science 16 Lectures, Michaelmas Term 2021, Hilary Term 2022
- Probabilistic Model Checking 20 Lectures, Michaelmas Term 2021
- Quantum Processes and Computation 24 Lectures, Michaelmas Term 2021