Course pages 2015–16
Part II
Please check the official timetables for timetable details.
Michaelmas term
- Bioinformatics – Dr Pietro Lio'
- Business Studies – Jack Lang
- Denotational Semantics – Prof Marcelo Fiore
- Digital Signal Processing – Dr Markus Kuhn
- Human–Computer Interaction – Prof Alan Blackwell
- Information Theory – Prof John Daugman
- LaTeX and MATLAB – Dr Markus Kuhn
- Natural Language Processing – Dr Ekaterina Shutova
- Optimising Compilers – Prof Alan Mycroft
- Principles of Communications – Prof Jon Crowcroft
- Quantum Computing – Prof Anuj Dawar
- Types – Prof Andrew Pitts
Lent term
- Advanced Graphics – Dr Alex Benton, Dr Rafal Mantiuk
- Artificial Intelligence II – Dr Sean Holden
- Comparative Architectures – Dr Robert Mullins
- Computer Systems Modelling – Dr Richard Gibbens
- Computer Vision – Prof John Daugman
- E-Commerce – Jack Lang
- Hoare Logic and Model Checking – Prof Alan Mycroft
- Information Retrieval – Dr Ronan Cummins
- Security II – Dr Frank Stajano, Dr Markus Kuhn
- System-on-Chip Design – Dr David Greaves
- Topics in Concurrency – Dr Jonathan Hayman