MSc in Advanced Computer Science
The MSc in Advanced Computer Science is designed to combine theory and practice. It teaches the advanced techniques and ideas that are being developed in application domains (such as machine learning, verification and computer security) and the rich and diverse theories that underpin them. These include models of computation and data, and mathematical analysis of programs and algorithms.
MSc in Advance Computer Science students can also choose to specialise in MSc Advanced Computer Science (Artificial Intelligence) or MSc Advanced Computer Science (Foundations of Computer Science).
This enables students to go more in-depth into AI or other foundational areas of Computer Science.
Students who are specialising in MSc Advanced Computer Science (Artificial Intelligence) select from the following modules.
- Algorithmic Foundations of Collective Decision Making
- Computational Game Theory
- Computer Vision
- Foundations of Self-Programming Agents
- Geometric Deep Learning
- Uncertainty in Deep Learning
Students who are specialising in MSc Advanced Computer Science (Foundations of Computer Science) select from the following modules:
- Automata, Logic and Games
- Categories, Proofs and Processes
- Combinatorial Optimisation
- Distributed Processes, Types and Programming
- Quantum Processes and Computation
All students will be assessed in no more than four courses per term.
In addition, students can take no more than two courses from the following list:
- Computer-Aided Formal Verification
- Geometric Modelling
- Lambda Calculus & Types
- Machine Learning
- Principles of Programming Languages
- Quantum Information
Examination information on each course is in the handbook linked on the right of this page.
Additional information the MSc can be found here