Skip to main content

MSc in Computer Science

The below table details course options for the MSc in Computer Science. For detailed information on the regulations concerning course selection, please read the Examination Regulations and Course Handbook. Please note that these are the 2019/20 documents and the 2020/21 versions will be uploaded as soon as possible.

 

Term

Schedules

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