Course pages 2013–14
Index of courses by lecturer
Please check the official timetables for timetable details.
Prof Ross Anderson
- Computer Security: Principles and Foundations (Michaelmas, MPhil ACS, Part III)
- Software Engineering (Michaelmas, Part IB)
- Computer Security: Current Applications and Research (Lent, MPhil ACS, Part III)
- Economics, Law and Ethics (Easter, Part IB)
Dr Andrei Bejan
- Flows in Networks (Lent, MPhil ACS, Part III)
Dr Alex Benton
- Advanced Graphics (Lent, Part II)
Dr Alastair Beresford
- Further Java (Michaelmas, Lent, Part IB)
- Programming in Java (Michaelmas, Lent, Part IA CST, Part IA NST, Part I PBS)
- Prolog (Michaelmas, Part IB)
- Further Java Briefing (Easter, Part IA CST)
Dr Alan Blackwell
- Human-Computer Interaction (Michaelmas, Part II)
- Theories of interaction and socio-digital design (Michaelmas, MPhil ACS, Part III)
- Usability of Programming Languages (Lent, MPhil ACS, Part III)
- Software and Interface Design (Easter, Part IA CST)
Prof Ted Briscoe
- Introduction to Natural Language Processing (Michaelmas, MPhil ACS, Part III)
- Machine Learning for Language Processing (Lent, MPhil ACS, Part III)
- Syntax and Semantics of Natural Language (Lent, MPhil ACS, Part III)
Prof Bill Byrne
- Spoken Language Processing (Michaelmas, MPhil ACS, Part III)
- Statistical Machine Translation (Lent, MPhil ACS, Part III)
Dr David Chisnall
- Modern Compiler Design (Michaelmas, MPhil ACS, Part III)
Dr Stephen Clark
- Introduction to Natural Language Processing (Michaelmas, MPhil ACS, Part III)
- Statistical Machine Translation (Lent, MPhil ACS, Part III)
- Syntax and Semantics of Natural Language (Lent, MPhil ACS, Part III)
Prof Ann Copestake
- Natural Language Processing (Michaelmas, Part II)
- Language and Concepts (Lent, MPhil ACS, Part III)
Prof Jon Crowcroft
- Network Architectures (Michaelmas, MPhil ACS, Part III)
- Principles of Communications (Michaelmas, Part II)
Prof John Daugman
- Information Theory and Coding (Michaelmas, Part II)
- Mathematical Methods for Computer Science (Michaelmas, Part IB)
- Computer Vision (Lent, Part II)
Prof Anuj Dawar
- Complexity Theory (Easter, Part IB)
Prof Neil Dodgson
- Research Skills (Michaelmas, MPhil ACS, Part III)
- Advanced Graphics (Lent, Part II)
Prof Marcelo Fiore
- Denotational Semantics (Lent, Part II)
- Discrete Mathematics (Lent, Part IA CST)
- Concepts in Programming Languages (Easter, Part IB)
Dr Jonas Frey
- Category Theory and Logic (Michaelmas, MPhil ACS, Part III)
Prof Mark Gales
- Spoken Language Processing (Michaelmas, MPhil ACS, Part III)
- Machine Learning for Language Processing (Lent, MPhil ACS, Part III)
Prof Zoubin Ghahramani
- Machine Learning (Lent, MPhil ACS, Part III)
Dr Richard Gibbens
- Computer Systems Modelling (Michaelmas, Part II)
- Mathematical Methods for Computer Science (Michaelmas, Part IB)
- Flows in Networks (Lent, MPhil ACS, Part III)
Prof Mike Gordon
- Hoare Logic (Lent, Part II)
- Temporal Logic and Model Checking (Easter, Part II)
Dr David Greaves
- System-on-Chip Design (Michaelmas, Part II)
- System on Chip Design and Modelling (Lent, MPhil ACS, Part III)
- Numerical Methods (Easter, Part IA CST, Part IA NST, Part I PBS)
Dr Timothy Griffin
- Algebraic Path Problems, with applications to Internet Routing (Michaelmas, MPhil ACS, Part III)
- Compiler Construction (Lent, Part IB)
- Databases (Lent, Part IB)
Dr Robert Harle
- Computer Fundamentals (Michaelmas, Part IA CST, Part IA NST, Part I PBS)
- Object-Oriented Programming (Michaelmas, Part IA CST, Part IA NST, Part I PBS)
- Registration (Michaelmas, Part IA CST, Part IA NST, Part I PBS)
- Topical Issues (Easter, Part II)
Dr Timothy Harris
- Multicore Semantics and Programming (Michaelmas, MPhil ACS, Part III)
Dr Sean Holden
- Artificial Intelligence II (Lent, Part II)
- Artificial Intelligence I (Easter, Part IB)
Dr Mateja Jamnik
- Automated Reasoning (Michaelmas, MPhil ACS, Part III)
Mr Brian Jones
- Low Power Embedded Systems Programming (Michaelmas, MPhil ACS, Part III)
Dr Timothy Jones
- Comparative Architectures (Lent, Part II)
Dr Anna Korhonen
Dr Markus Kuhn
- Digital Signal Processing (Michaelmas, Part II)
- Unix Tools (Michaelmas, Part IB)
- Security I (Lent, Part IB)
- Security II (Lent, Part II)
Mr Jack Lang
- Business Studies (Lent, Part II)
- Business Studies Seminars (Easter, Part II)
- E-Commerce (Easter, Part II)
Dr Joan Lasenby
Prof Ian Leslie
- Group Project (Michaelmas, Lent, Part IB)
- Operating Systems (Michaelmas, Part IA CST)
Dr Pietro Lio
- Bioinformatics (Michaelmas, Part II)
- Biomedical Information Processing (Lent, MPhil ACS, Part III)
Dr Cecilia Mascolo
- Social and Technological Network Analysis (Lent, MPhil ACS, Part III)
- Mobile and Sensor Systems (Easter, Part II)
Dr Simon Moore
- Advanced Computer Design (Michaelmas, MPhil ACS, Part III)
- Computer Design (Michaelmas, Part IB)
- ECAD and Architecture Practical Classes (Michaelmas, Lent, Part IB)
Dr Andrew Moore
- Building an Internet Router (Lent, MPhil ACS, Part III)
- Computer Networking (Lent, Part IB)
Dr Robert Mullins
- ECAD and Architecture Practical Classes (Michaelmas, Lent, Part IB)
Dr Steven Murdoch
Prof Alan Mycroft
- Modern Compiler Design (Michaelmas, MPhil ACS, Part III)
- Optimising Compilers (Michaelmas, Part II)
- Programming in C and C++ (Michaelmas, Part IB)
Dr Magnus Myreen
- Functional Programming: Implementation, Specification and Verification (Michaelmas, MPhil ACS, Part III)
Prof Larry Paulson
- Foundations of Computer Science (Michaelmas, Part IA CST, Part IA NST, Part I PBS)
- Logic and Proof (Michaelmas, Part IB)
- ML Practical Classes (Michaelmas, Part IA CST, Part IA NST, Part I PBS)
- Interactive Formal Verification (Lent, MPhil ACS, Part III)
Prof Andrew Pitts
- Types (Michaelmas, Part II)
- Computation Theory (Lent, Part IB)
- Discrete Mathematics (Lent, Part IA CST)
- Nominal Sets and Their Applications (Lent, MPhil ACS, Part III)
Dr Andrew Rice
- Further Java (Michaelmas, Lent, Part IB)
- Programming in Java (Michaelmas, Lent, Part IA CST, Part IA NST, Part I PBS)
- Prolog (Michaelmas, Part IB)
Prof Peter Robinson
- Computer Graphics and Image Processing (Michaelmas, Part IB)
- Innovative User Interfaces (Michaelmas, MPhil ACS, Part III)
Dr Thomas Sauerwald
- Algorithms (Lent, Part IA CST, Part IA NST, Part I PBS)
Prof Peter Sewell
- Multicore Semantics and Programming (Michaelmas, MPhil ACS, Part III)
- Semantics of Programming Languages (Lent, Part IB)
Dr Frank Stajano
- Algorithms II (Michaelmas, Part IB)
- Computer Security: Principles and Foundations (Michaelmas, MPhil ACS, Part III)
- Algorithms (Lent, Part IA CST, Part IA NST, Part I PBS)
- Computer Security: Current Applications and Research (Lent, MPhil ACS, Part III)
- Security II (Lent, Part II)
Dr Simone Teufel
- Lexical Semantics (Michaelmas, MPhil ACS, Part III)
- Discourse and Text Summarisation (Lent, MPhil ACS, Part III)
- Information Retrieval (Lent, Part II)
Dr Richard Turner
- Computer Vision and Robotics (Michaelmas, MPhil ACS, Part III)
Dr Ian Wassell
- Digital Electronics (Michaelmas, Part IA CST)
- Hardware Practical Classes (Michaelmas, Lent, Part IA CST)
- Low Power Embedded Systems Programming (Michaelmas, MPhil ACS, Part III)
Dr Robert Watson
- Computer Security: Principles and Foundations (Michaelmas, MPhil ACS, Part III)
- Concurrent and Distributed Systems (Michaelmas, Lent, Part IB)
- Computer Security: Current Applications and Research (Lent, MPhil ACS, Part III)
Prof Glynn Winskel
- Category Theory and Logic (Michaelmas, MPhil ACS, Part III)
- Advanced Topics in Concurrency (Lent, MPhil ACS, Part III)
Prof Phil Woodland
- Spoken Language Processing (Michaelmas, MPhil ACS, Part III)