 MSc in advanced computer science (foundations of computer science) course of the University of Oxford

Official course description. Specialist award/stream within Advanced Computer science; not counted as a separately indexed standalone programme. The specialist menu includes automata, logic and games; categories, proofs and processes; privacy and computation; and quantum processes and computation. Official specialist module lists.