Skip to main content

MSc in Computer Science

The below table details course options for the MSc in Computer Science. For detailed information on the regulations concerning course selection, please read the Examination Regulations and Course Handbook.

Course selection will take place online here. Course selection will open on Monday 2 September, and you will have until Friday 13 September to make your choice for Michaelmas Term 2019. Please note that you will require your Single Sign On (SSO) in order to access the relevant page.  This is a preliminary selection, and you will have a chance to discuss and confirm your final choices for Michaelmas Term once you have arrived in Oxford. However, please note that we will use this information to timetable your lectures and might not be able to avoid clashes if you change your selection later on.

In Hilary Term 2020 MSc students will have the option to take the following course offered by the Department of Statistics: Topics in Computational Biology. If you are interested in taking this course, please email the MSc Course Administrator.

Term

Schedules

Course Term Number of Lectures Schedule Term number
Functional Programming Michaelmas Term 16 Schedule A 1
Foundations of Computer Science Michaelmas Term 16 Schedule A 1
Principles of Programming Languages Michaelmas Term 16 Schedule B 1
Machine Learning Michaelmas Term 20 Schedule B 1
Databases Michaelmas Term 16 Schedule B 1
Computer-Aided Formal Verification Michaelmas Term 16 Schedule B 1
Computer Security Michaelmas Term 16 Schedule B 1
Law and Computer Science Michaelmas Term 16 Schedule C 1
Quantum Computer Science Michaelmas Term 24 Schedule C 1
Probabilistic Model Checking Michaelmas Term 20 Schedule C 1
Physically Based Rendering Michaelmas Term 20 Schedule C 1
Concurrent Algorithms and Data Structures Michaelmas Term 20 Schedule C 1
Computational Learning Theory Michaelmas Term 24 Schedule C 1
Categories, Proofs and Processes Michaelmas Term 20 Schedule C 1
Concurrent Programming Hilary Term 16 Schedule A 2
Artificial Intelligence Hilary Term 16 Schedule A 2
Lambda Calculus and Types Hilary Term 16 Schedule B 2
Knowledge Representation & Reasoning Hilary Term 16 Schedule B 2
Computers in Society Hilary Term 16 Schedule B 2
Computational Complexity Hilary Term 16 Schedule B 2
Law and Computer Science Hilary Term 16 Schedule C 2
Computational Game Theory Hilary Term 20 Schedule C 2
Probability and Computing Hilary Term 20 Schedule C 2
Database Systems Implementation Hilary Term 22 Schedule C 2
Categorical Quantum Mechanics Hilary Term 16 Schedule C 2
Automata, Logic and Games Hilary Term 24 Schedule C 2
Advanced Security Hilary Term 19 Schedule C 2
Advanced Topics in Machine Learning Hilary Term Schedule C 2
Concurrency Trinity Term 16 Schedule A 3
Requirements Trinity Term 16 Schedule C 3