Skip to main content

MSc in Advanced Computer Science

The below table details course options for the MSc in Advanced Computer Science. Students will be examined on six courses, including a maximum of two from Schedule I, and at least four from Schedule II.

 

Term

Schedules

Course Term Number of Lectures Schedule Term number
Principles of Programming Languages Michaelmas Term 16 Schedule I 1
Computer-Aided Formal Verification Michaelmas Term 16 Schedule I 1
Machine Learning Michaelmas Term 20 Schedule I 1
Computer Security Michaelmas Term 16 Schedule I 1
Computational Learning Theory Michaelmas Term 24 Schedule II 1
Quantum Processes and Computation Michaelmas Term 24 Schedule II 1
Probabilistic Model Checking Michaelmas Term 20 Schedule II 1
Law and Computer Science Michaelmas Term 16 Schedule II 1
Concurrent Algorithms and Data Structures Michaelmas Term 20 Schedule II 1
Categories, Proofs and Processes Michaelmas Term 20 Schedule II 1
Bayesian Statistical Probabilistic Programming Michaelmas Term 16 Schedule II 1
Automata, Logic and Games Michaelmas Term 24 Schedule II 1
Lambda Calculus and Types Hilary Term 16 Schedule I 2
Knowledge Representation & Reasoning Hilary Term 16 Schedule I 2
Computers in Society Hilary Term 16 Schedule I 2
Computational Complexity Hilary Term 16 Schedule I 2
Artificial Intelligence Hilary Term 16 Schedule I 2
Computational Biology Hilary Term 16 Schedule II 2
Quantum Software Hilary Term 24 Schedule II 2
Probability and Computing Hilary Term 20 Schedule II 2
Ethical Computing in Practice Hilary Term Schedule II 2
Database Systems Implementation Hilary Term 22 Schedule II 2
Computational Game Theory Hilary Term 20 Schedule II 2
Advanced Topics in Machine Learning Hilary Term 18 Schedule II 2
Advanced Security Hilary Term 22 Schedule II 2
Requirements Trinity Term 16 Schedule II 3