Index of courses by lecturer
2007–08

Please check the official timetables for timetable details.

Prof Ross Anderson

• Economics and Law
• Security
• Software Engineering

Prof Jean Bacon

• Distributed Systems
• Operating System Foundations

Mr Nigel Bailey

• Computer Perspectives

Dr Alastair Beresford

• Programming in C and C++

Dr Alan Blackwell

• Group Project
• Group Project Briefing
• Human-Computer Interaction
• Software Design
• Software Engineering and Design

Dr Ann Copestake

• Natural Language Processing

Dr John Daugman

• Computer Vision
• Information Theory and Coding

Dr Anuj Dawar

• Complexity Theory
• Quantum Computing

Dr Neil Dodgson

• Advanced Graphics
• Computer Graphics and Image Processing
• How to Study Computer Science

Dr John Fawcett

• Concurrent Systems and Applications

Dr Marcelo Fiore

• Concepts in Programming Languages
• Introduction to Functional Programming

Dr Keir Fraser

• Advanced Systems Topics
• Algorithms I

Dr Richard Gibbens

• Computer Systems Modelling
• Mathematical Methods for Computer Science

Prof Mike Gordon

• Specification and Verification I
• Specification and Verification II

Dr Timothy Griffin

• Databases

Dr Steven Hand

• Operating Systems

Dr Sean Holden

• Artificial Intelligence I
• Artificial Intelligence II

Prof Andy Hopper

• Additional Topics

Dr Richard Jennings

• Professional Practice and Ethics

Dr Frank King

• Foundations of Programming
• Probability

Dr Markus Kuhn

• Digital Signal Processing
• Introduction to Security
• Unix Tools

Mr Jack Lang

• Business Studies
• Business Studies Seminars
• E-Commerce

Dr Pietro Lio

• Bioinformatics

Dr Derek McAuley

• Digital Communication II

Dr Ken Moody

• Computation Theory
• Mathematics for Computation Theory

Dr Simon Moore

• Computer Design
• ECAD
• ECAD and Architecture Practical Classes

Dr Andrew Moore

• Digital Communication I

Dr Robert Mullins

• Comparative Architectures

Prof Alan Mycroft

• Compiler Construction
• Floating-Point Computation
• Optimising Compilers

Dr Arthur Norman

• Part IB Assessed Exercise Briefing
• Programming in Java

Dr Matthew Parkinson

• Foundations of Functional Programming

Prof Larry Paulson

• Foundations of Computer Science
• Logic and Proof

Prof Andrew Pitts

• Regular Languages and Finite Automata
• Types

Dr Andrew Rice

• Prolog

Prof Peter Robinson

• VLSI Design

Dr Peter Sewell

• Semantics of Programming Languages

Dr Frank Stajano

• Algorithms II
• Data Structures and Algorithms

Mr Richard Stibbs

• Elementary Use of the Unix Teaching Service
• Java and Unix

Dr Simone Teufel

• Information Retrieval

Dr Ian Wassell

• Digital Electronics
• Hardware Practical Classes

Prof Glynn Winskel

• Denotational Semantics
• Discrete Mathematics
• Discrete Mathematics Seminars
• Topics in Concurrency