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.
- Advanced Algorithmic Game Theory
- Algorithmic Foundations of Collective Decision Making
- Computational learning Theory
- Computer Vision
- Foundations of Self-Programming Agents
- Geometric Deep Learning
- Knowledge Representation and Reasoning
- 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
- Computational Learning Theory
- Distributed Processes, Types and Programming
- Privacy and Computation
- 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:
- Computational Game Theory
- Computer-Aided Formal Verification
- Geometric Modelling
- Machine Learning
- Principles of Programming Languages
- Quantum Information
Examination information on each course is as follows:
| Advanced Algorithmic Game Theory | Exam | Trinity Term |
| Advanced Security | Mini-project | Easter Vacation |
| Algorithmic Foundations of Collective Decision Making | Exam | Trinity Term |
| Automata, Logic and Games | Exam | 0th Week Trinity Term |
| Categories, Proofs and Processes | Exam | 0th Week Hilary Term |
| Combinatorial Optimisation | Exam | Trinity Term |
| Computational Biology | Mini-project | Christmas Vacation |
| Computational Learning Theory | Exam | Trinity Term |
| Computer Vision | Exam | Trinity Term |
| Database Systems Implementation | Mini-project | Easter Vacation |
| Distributed Processes, Types and Programming | Mini-project | Christmas Vacation |
| Foundations of Self-Programming Agents | Mini-project | Easter Vacation |
| Geometric Deep Learning | Mini-project | Easter Vacation |
| Knowledge Representation and Reasoning | Exam | Trinity Term |
| Law and Computer Science | Mini-project | Easter Vacation |
| Privacy and Computation | Exam | 0th Week Trinity Term |
| Quantum Processes and Computation | Mini-project | Christmas Vacation |
| Uncertainty in Deep Learning | Mini-project | Christmas Vacation |
Additional information the MSc can be found here