Index of courses by lecturer
2009–10

Please check the official timetables for timetable details.

Prof Ross Anderson

• Economics and Law (Easter)
• Security (Michaelmas)
• Software Engineering (Michaelmas)

Prof Jean Bacon

• Concurrent and Distributed Systems (Michaelmas, Lent)

Dr Alex Benton

• Advanced Graphics (Lent)

Dr Alastair Beresford

• Further Java (Michaelmas)
• Part IB Assessed Exercise Briefing (Easter)
• Programming in Java (Lent)

Dr Alan Blackwell

• Group Project (Lent)
• Group Project Briefing (Michaelmas)
• Human-Computer Interaction (Michaelmas)
• Object-Oriented Programming (Lent)
• Software Design (Lent)

Dr Stephen Clark

• Information Retrieval (Michaelmas)

Dr Ann Copestake

• Natural Language Processing (Michaelmas)

Prof Jon Crowcroft

• Digital Communication II (Michaelmas)
• Network Architecture (Michaelmas)

Prof John Daugman

• Computer Vision (Lent)
• Information Theory and Coding (Michaelmas)
• Probability (Easter)

Prof Anuj Dawar

• Complexity Theory (Easter)
• Quantum Computing (Lent)
• Topics in Logic and Complexity (Lent)

Dr Neil Dodgson

• Advanced Graphics (Lent)
• Mathematical Methods for Computer Science (Michaelmas, Lent)
• Research Methods (Michaelmas)

Dr David Evans

• Distributed Systems (Easter)

Dr David Eyers

• Prolog (Michaelmas)

Dr Marcelo Fiore

• Advanced Category Theory in Computer Science (Lent)
• Basic Rewriting Theory (Michaelmas)
• Category Theory for Computer Science (Michaelmas)
• Concepts in Programming Languages (Lent)
• Denotational Semantics (Michaelmas)

Dr Thomas Forster

• Introductory Logic (Michaelmas)

Dr Richard Gibbens

• Network Architecture (Michaelmas)

Prof Mike Gordon

• Interactive Formal Verification (Lent)
• Specification and Verification I (Lent)
• Specification and Verification II (Lent)

Dr David Greaves

• Compiler Construction (Lent)
• System on Chip Design and Modelling (Lent)
• System-on-Chip Design (Easter)

Dr Timothy Griffin

• Advanced Systems Topics (Lent)
• Algorithms II (Michaelmas)
• An Algebraic Approach to Internet Routing (Michaelmas)
• Databases (Lent)

Dr Steven Hand

• Advanced Systems Topics (Lent)
• Advanced Topics in Computer Systems (Michaelmas)
• Network Architecture (Michaelmas)
• Operating Systems (Michaelmas, Lent)

Dr Robert Harle

• Additional Topics (Easter)
• Algorithms I (Easter)
• Object-Oriented Programming (Lent)

Dr Sean Holden

• Artificial Intelligence I (Easter)
• Artificial Intelligence II (Lent)

Prof Andy Hopper

• Additional Topics (Easter)

Dr Mateja Jamnik

• Automated Reasoning (Lent)

Dr Richard Jennings

• Professional Practice and Ethics (Lent)

Brian Jones

• Low Power Embedded Systems Programming (Michaelmas)

Dr Frank King

• Registration (Michaelmas)

Dr Bartosz Klin

• Category Theory for Computer Science (Michaelmas)

Dr Markus Kuhn

• Digital Signal Processing (Michaelmas)
• Topics in Security: Forensic Signal Analysis (Michaelmas)
• Unix Tools (Michaelmas)

Mr Jack Lang

• Business Studies (Michaelmas)
• E-Commerce (Easter)

Dr Pietro Lio

• Bioinformatics (Lent)

Dr Cecilia Mascolo

• Advanced Systems Topics (Lent)
• Network Architecture (Michaelmas)

Dr Derek McAuley

• Floating-Point Computation (Lent)

Dr Ken Moody

• Concurrent and Distributed Systems (Michaelmas, Lent)

Dr Simon Moore

• Advanced Computer Design (Lent)
• Computer Design (Michaelmas)
• ECAD and Architecture Practical Classes (Michaelmas)

Dr Andrew Moore

• Building an Internet Router (Michaelmas)
• Digital Communication I (Lent)
• Network Architecture (Michaelmas)
• Programming in C and C++ (Michaelmas)

Dr Robert Mullins

• Chip Multiprocessors (Michaelmas)
• Comparative Architectures (Lent)

Dr Steven Murdoch

• Introduction to Security (Easter)

Dr Arthur Norman

• Optimising Compilers (Michaelmas)

Dr Matthew Parkinson

• Software Verification (Lent)

Prof Larry Paulson

• Foundations of Computer Science (Michaelmas)
• How to Study Computer Science (Michaelmas)
• Interactive Formal Verification (Lent)
• Logic and Proof (Michaelmas)

Prof Andrew Pitts

• Computation Theory (Lent)
• Regular Languages and Finite Automata (Easter)
• Semantics of HOT Languages (Lent)
• Types (Michaelmas)

Dr Andrew Rice

• Further Java (Michaelmas)
• Programming in Java (Lent)

Prof Peter Robinson

• Computer Graphics and Image Processing (Lent)
• Innovative User Interfaces (Michaelmas)
• Mathematical Methods for Computer Science (Michaelmas, Lent)

Mr Nishanth Sastry

• Research Students Lectures (Easter)

Dr Peter Sewell

• Advanced Topics in Programming Languages (Michaelmas, Lent)
• Discrete Mathematics I (Michaelmas)

Dr Samuel Staton

• Categorical Logic (Lent)
• Semantics of Programming Languages (Michaelmas)

Dr Ian Wassell

• Digital Electronics (Michaelmas)
• Hardware Practical Classes (Michaelmas)
• Low Power Embedded Systems Programming (Michaelmas)

Prof Glynn Winskel

• Advanced Topics in Concurrency (Easter)
• Discrete Mathematics II (Lent)
• Set Theory for Computer Science (Michaelmas)
• Topics in Concurrency (Easter)