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

Alphabetical List of Courses - 2011-2012

Advanced Data Structures and Algorithms
Automata, Logic and Games
Bioinformatics and Computational Biology
Categorical Quantum Mechanics
Categories, Proofs and Processes
Compilers
Computational Complexity
Computational Linguistics
Computer Animation
Computer Architecture
Computer Graphics
Computer Networks
Computer Security
Computer-Aided Formal Verification
Computers in Society
Concurrency
Concurrent Programming
Database Systems Implementation
Databases
Design and Analysis of Algorithms
Digital Systems
Discrete Mathematics
Formal Program Design
Foundations of Computer Science
Functional Programming
Geometric Modelling
Imperative Programming I
Imperative Programming II
Information Retrieval
Integer Programming
Intelligent Systems
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
Program Analysis
Quantum Computer Science
Reasoning about Information Update
Requirements
Software Verification
Theory of Data and Knowledge Bases