University of Oxford Department of Computer Science

Alphabetical List of Courses - 2024-2025

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z

A

Advanced Security

Algorithms and Data Structures

Artificial Intelligence

Automata, Logic and Games

B

Bayesian Statistical Probabilistic Programming

C

Categories, Proofs and Processes

Combinatorial Optimisation

Computational Biology

Computational Complexity

Computational Game Theory

Computational Learning Theory

Computational Medicine

Computer Architecture

Computer Graphics

Computer Networks

Computer Security

Computer Vision

Computer-Aided Formal Verification

Concurrent Algorithms and Data Structures

Concurrent Programming

Continuous Mathematics

D

Data Visualisation

Design and Analysis of Algorithms

Digital Systems

Discrete Mathematics

Distributed Processes, Types and Programming

F

Foundations of Self-Programming Agents

Functional Programming

G

Geometric Deep Learning

Geometric Modelling

Graph Representation Learning

Group Design Practical

I

Imperative Programming

Introduction to Proof Systems

K

Knowledge Representation & Reasoning

L

Lambda Calculus and Types

Law and Computer Science

Logic and Proof

M

Machine Learning

Mathematics for Computer Science and Philosophy

Models of Computation

P

Physics Informed Neural Networks

Principles of Programming Languages

Probabilistic Model Checking

Q

Quantum Information

Quantum Processes and Computation

R

S

Scientific Computing

U

Uncertainty in Deep Learning

Back to Top