MSc in Advanced Computer Science
Please find below information on courses for the MSc in Advanced Computer Science. Students will be assessed in no more than 4 courses per term. In addition, students may take no more than two courses from the following list:
- Computer-Aided Formal Verification
- Computer Security
- 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 for 2023-24 can be found here