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

Easter term

• Advanced Graphics – Prof Neil Dodgson, Dr Alex Benton
• Business Studies Seminars – Mr Jack Lang
• E-Commerce – Mr Jack Lang
• Mobile and Sensor Systems – Dr Cecilia Mascolo
• System-on-Chip Design – Dr David Greaves
• Topical Issues – Dr Robert Harle