Michaelmas Term, MSc in Advanced Computer Science

• Categories, Proofs and Processes   Michaelmas Term 2026
• Combinatorial Optimisation   Michaelmas Term 2026
• Computational Biology   Michaelmas Term 2026
• Computational Game Theory   Michaelmas Term 2026
• Computer Vision   Michaelmas Term 2026
• Computer-Aided Formal Verification   Michaelmas Term 2026
• Distributed Processes, Types and Programming   Michaelmas Term 2026
• Geometric Modelling   Michaelmas Term 2026
• Law and Computer Science   Michaelmas Term 2026, Hilary Term 2027
• Machine Learning   Michaelmas Term 2026
• Principles of Programming Languages   Michaelmas Term 2026
• Quantum Information   Michaelmas Term 2026
• Uncertainty in Deep Learning   Michaelmas Term 2026