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 2018
- Functional Programming 16 Lectures, Michaelmas Term 2018
Schedule B
- Computer Security 16 Lectures, Michaelmas Term 2018
- Computer-Aided Formal Verification 16 Lectures, Michaelmas Term 2018
- Databases 16 Lectures, Michaelmas Term 2018
- Machine Learning 20 Lectures, Michaelmas Term 2018
- Principles of Programming Languages 16 Lectures, Michaelmas Term 2018
Schedule C
- Categories, Proofs and Processes 20 Lectures, Michaelmas Term 2018
- Computational Game Theory 20 Lectures, Michaelmas Term 2018
- Computational Learning Theory 24 Lectures, Michaelmas Term 2018
- Concurrent Algorithms and Data Structures approximately 20, Michaelmas Term 2018
- Physically Based Rendering 20 Lectures, Michaelmas Term 2018
- Probabilistic Model Checking 20 Lectures, Michaelmas Term 2018
- Quantum Computer Science 24 Lectures, Michaelmas Term 2018