Course pages 2011–12
Part II
Please check the official timetables for timetable details.
Michaelmas term
- Bioinformatics – Dr Pietro Lio
- Computer Systems Modelling – Dr Richard Gibbens
- Digital Signal Processing – Dr Markus Kuhn
- Hoare Logic – Prof Mike Gordon
- Information Theory and Coding – Prof John Daugman
- Optimising Compilers – Prof Alan Mycroft
- Principles of Communications – Prof Jon Crowcroft
- Quantum Computing – Prof Anuj Dawar
- Types – Prof Andrew Pitts
Lent term
- Artificial Intelligence II – Dr Sean Holden
- Business Studies – Mr Jack Lang
- Comparative Architectures – Dr Robert Mullins
- Computer Vision – Prof John Daugman
- Denotational Semantics – Prof Andrew Pitts
- Information Retrieval – Dr Simone Teufel
- Natural Language Processing – Dr Simone Teufel
- Security II – Dr Frank Stajano, Dr Steven Murdoch
- Temporal Logic and Model Checking – Prof Mike Gordon
- Topical Issues – Dr Robert Harle