Computer Science Part II 2005-06
TimetablesCourses
- Artificial Intelligence II
- Dr Sean Holden (Michaelmas
Term)
- Computer Systems Modelling
- Dr Richard Gibbens (Michaelmas
Term)
- Denotational Semantics
- Prof Glynn Winskel (Michaelmas
Term)
- Digital Communication II
- Prof Jon Crowcroft (Michaelmas
Term)
- Digital Signal Processing
- Dr Markus Kuhn (Michaelmas
Term)
- Human-Computer Interaction
- Dr Alan Blackwell (Michaelmas
Term)
- Information Retrieval
- Dr Simone Teufel (Michaelmas
Term)
- Information Theory and Coding
- Dr John Daugman (Michaelmas
Term)
- Natural Language Processing
- Dr Ann Copestake (Michaelmas
Term)
- Security
- Prof Ross Anderson (Michaelmas
Term)
- Specification and Verification I
- Prof Mike Gordon (Michaelmas
Term)
- Types
- Prof Andrew Pitts (Michaelmas
Term)
- Additional Topics
- Prof Andy Hopper (Lent
Term)
- Advanced Systems Topics
- Dr Steven Hand (Lent
Term)
- Bioinformatics
- Dr Pietro Lio (Lent
Term)
- Comparative Architectures
- Dr David Greaves (Lent
Term)
- Computer Vision
- Dr John Daugman (Lent
Term)
- Numerical Analysis II
- Dr Mike O'Donohoe (Lent
Term)
- Optimising Compilers
- Mr Tom Stuart (Lent
Term)
- Quantum Computing
- Dr L M Ioannou (Lent
Term)
- Topics in Concurrency
- Prof Glynn Winskel (Lent
Term)
- VLSI Design
- Prof Peter Robinson (Lent
Term)
- Advanced Graphics
- Dr Neil Dodgson (Easter
Term)
- Business Studies
- Mr Jack Lang (Easter
Term)
- Distributed Systems
- Prof Jean Bacon (Easter
Term)
- E-Commerce
- Mr Jack Lang (Easter
Term)
- Specification and Verification II
- Prof Mike Gordon (Easter
Term)
|