University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Alphabetical List of Courses - 2013-2014

Advanced Data Structures and Algorithms
Advanced Machine Learning
Advanced Security
Automata, Logic and Games
Categorical Quantum Mechanics
Categories, Proofs and Processes
Computational Complexity
Computational Linguistics
Computer Architecture
Computer Graphics
Computer Networks
Computer Security
Computer-Aided Formal Verification
Computers in Society
Concurrent Programming
Continuous Mathematics
Design and Analysis of Algorithms
Digital Systems
Discrete Mathematics
Elements of Deductive Logic
Foundations of Computer Science
Functional Programming
General Philosophy
Group Design Practical
Imperative Programming I
Imperative Programming II
Integer Programming
Intelligent Systems
Introduction to Formal Proof
Introduction to Logic
Introduction to Specification
Knowledge Representation & Reasoning
Lambda Calculus and Types
Linear Algebra
Logic and Proof
Machine Learning
Models of Computation
Numerical Solution of Differential Equations I
Numerical Solution of Differential Equations II
Object Oriented Programming
Principles of Programming Languages
Probabilistic Model Checking
Probability and Computing
Quantum Computer Science
Software Verification
Theory of Data and Knowledge Bases
Turing on Computability and Intelligence
Visual Analytics