Course pages 2012–13
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 – Dr Magnus Myreen
- 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 Marcelo Fiore
- Human-Computer Interaction – Dr Alan Blackwell
- Information Retrieval – Dr Simone Teufel
- Natural Language Processing – Dr Simone Teufel
- Security II – Dr Frank Stajano, Dr Markus Kuhn
- Topics in Concurrency – Prof Glynn Winskel