Skip to main content

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: 

  • Combinatorial Optimisation
  • Computer-Aided Formal Verification
  • Computer Security
  • 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