Computer Laboratory
Index of courses by lecturer name
Computer Laboratory
>
Course material 2003-04
>
Index of courses by lecturer name
Index of courses by lecturer name
2003-04
Please check the
official timetables
for timetable details.
Computer Perspectives
(Michaelmas Term)
Dr Ross Anderson
Software Engineering I
(Lent Term)
Group Projects
(Michaelmas Term)
Economics and Law
(Easter Term)
Security
(Michaelmas Term)
Dr Jean Bacon
Operating System Foundations
(Michaelmas Term)
Distributed Systems
(Easter Term)
Dr Nick Benton
Types
(Michaelmas Term)
Dr Gavin Bierman
Introduction to Functional Programming
(Lent Term)
Databases
(Easter Term)
Database Theory
(Lent Term)
Dr Alan Blackwell
Software Engineering and Design
(Michaelmas Term)
Programming in Java
(Lent Term)
HCI
(Michaelmas Term)
Dr Ann Copestake
Natural Language Processing
(Lent Term)
Prof Jon Crowcroft
Digital Communications II
(Michaelmas Term)
Dr John Daugman
Information Theory and Coding
(Michaelmas Term)
Computer Vision
(Lent Term)
Dr Anuj Dawar
Regular Languages and Finite Automata
(Easter Term)
Complexity Theory
(Lent Term)
Quantum Computing
(Lent Term)
Dr Neil Dodgson
Advanced Graphics
(Michaelmas Term)
Dr Richard Gibbens
Continuous Mathematics
(Michaelmas Term)
Computer Systems Modelling
(Michaelmas Term)
Prof Mike Gordon
Specification and Verification I
(Michaelmas Term)
Specification and Verification II
(Easter Term)
Dr David Greaves
Structured Hardware Design
(Easter Term)
Dr Steven Hand
Operating Systems I
(Easter Term)
Operating Systems II
(Lent Term)
Advanced Systems Topics
(Lent Term)
Dr Timothy Harris
Concurrent Systems and Applications
(Michaelmas Term)
Dr Sean Holden
Artificial Intelligence I
(Easter Term)
Artificial Intelligence II
(Michaelmas Term)
Prof Andy Hopper
Additional Topics
(Lent Term)
Dr Joe Hurd
Logic and Proof
(Michaelmas Term)
Dr Richard Jennings
Professional Practice and Ethics
(Michaelmas Term)
Dr Frank King
Long Vacation Programming Course
(Long Vacation Term)
Foundations of Programming
(Michaelmas Term)
Probability
(Lent Term)
Dr Markus Kuhn
Unix Tools
(Michaelmas Term)
Introduction to Security
(Lent Term)
Digital Signal Processing
(Easter Term)
Mr Jack Lang
Business Studies
(Easter Term)
E-Commerce
(Easter Term)
Prof Ian Leslie
Digital Communications I
(Lent Term)
Dr Ken Moody
Mathematics for Computation Theory
(Michaelmas Term)
Computation Theory
(Lent Term)
Dr Simon Moore
ECAD and Architecture Practical Classes
(Michaelmas Term)
Hardware Practical Classes
(Michaelmas Term)
Digital Electronics
(Michaelmas Term)
Computer Design
(Michaelmas Term)
Dr Alan Mycroft
Compiler Construction
(Lent Term)
Optimising Compilers
(Lent Term)
Dr Arthur Norman
Foundations of Computer Science
(Michaelmas Term)
Learning Day
(Michaelmas Term)
Software Engineering II
(Lent Term)
Foundations of Functional Programming
(Easter Term)
Dr Mike O'Donohoe
Numerical Analysis I
(Michaelmas Term)
Numerical Analysis II
(Lent Term)
Dr Ian Pratt
Comparative Architectures
(Lent Term)
Dr Martin Richards
Introduction to Algorithms
(Michaelmas Term)
Java Case Study
(Michaelmas Term)
Data Structures and Algorithms
(Michaelmas Term)
Comparative Programming Languages
(Lent Term)
Dr Peter Robinson
Discrete Mathematics
(Michaelmas Term)
Computer Graphics and Image Processing
(Lent Term)
VLSI Design
(Michaelmas Term)
Dr Peter Sewell
Semantics of Programming Languages
(Lent Term)
Dr George Taylor
ECAD
(Michaelmas Term)
Dr Simone Teufel
Information Retrieval
(Lent Term)
Prof Glynn Winskel
Denotational Semantics
(Michaelmas Term)
Topics in Concurrency
(Lent Term)
