Course pages 2014–15
Part II
Please check the official timetables for timetable details.
Michaelmas term
- Bioinformatics – Dr Pietro Lio
- Business Studies – Mr Jack Lang
- Computer Systems Modelling – Dr Richard Gibbens
- Digital Signal Processing – Dr Markus Kuhn
- Hoare Logic – Prof Mike Gordon
- Human-Computer Interaction – Dr Alan Blackwell
- Information Theory and Coding – Prof John Daugman
- Natural Language Processing – Prof Ann Copestake
- Optimising Compilers – Prof Alan Mycroft
- Quantum Computing – Prof Anuj Dawar
- Types – Dr Dominic Orchard
Lent term
- Advanced Graphics – Dr Alex Benton
- Artificial Intelligence II – Ivo Timoteo
- Comparative Architectures – Dr Robert Mullins
- Computer Vision – Prof John Daugman
- Denotational Semantics – Prof Marcelo Fiore
- E-Commerce – Mr Jack Lang
- Information Retrieval – Dr Simone Teufel
- Security II – Dr Frank Stajano, Dr Markus Kuhn
- System-on-Chip Design – Dr David Greaves
- Temporal Logic and Model Checking – Prof Mike Gordon
- Topics in Concurrency – Dr Jonathan Hayman