 MSc in advanced computer science course of the University of Oxford

Official course description.

At least six options. The current teaching list distinguishes written examinations from mini-projects and sets out the specialist streams. Shared examined modules include Automata, logic and games course of the University of Oxford, Categories, proofs and processes course of the University of Oxford and Quantum processes and computation course of the University of Oxford. Independent supervised project during Trinity term and the summer.