Michaelmas Term, MSc in Computer Science
Students can take at most two courses from Schedule A and must take at least two courses from Schedule C. 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 A
- Foundations of Computer Science 16 Lectures, Michaelmas Term 2020
- Functional Programming 16 Lectures, Michaelmas Term 2020
Schedule B
- Computer Security 16 Lectures, Michaelmas Term 2020
- Computer-Aided Formal Verification 16 Lectures, Michaelmas Term 2020
- Databases 16 Lectures, Michaelmas Term 2020
- Machine Learning 20 Lectures, Michaelmas Term 2020
- Principles of Programming Languages 16 Lectures, Michaelmas Term 2020
Schedule C
- Automata, Logic and Games 24 Lectures, Michaelmas Term 2020
- Bayesian Statistical Probabilistic Programming 16 Lectures, Michaelmas Term 2020
- Categories, Proofs and Processes 20 Lectures, Michaelmas Term 2020
- Concurrent Algorithms and Data Structures 20 Lectures, Michaelmas Term 2020
- Law and Computer Science 16 Lectures, Michaelmas Term 2020, Hilary Term 2021
- Probabilistic Model Checking 20 Lectures, Michaelmas Term 2020
- Quantum Processes and Computation 24 Lectures, Michaelmas Term 2020