Course pages 2013–14
Part IB
Please check the official timetables for timetable details.
Michaelmas term
- Algorithms II – Dr Frank Stajano
- Computer Design – Dr Simon Moore
- Computer Graphics and Image Processing – Prof Peter Robinson
- Concurrent and Distributed Systems – Dr Robert Watson
- ECAD and Architecture Practical Classes – Dr Simon Moore, Dr Robert Mullins
- Further Java – Dr Alastair Beresford, Dr Andrew Rice
- Group Project – Prof Ian Leslie
- Logic and Proof – Prof Larry Paulson
- Mathematical Methods for Computer Science – Prof John Daugman, Dr Richard Gibbens
- Programming in C and C++ – Prof Alan Mycroft
- Prolog – Dr Alastair Beresford, Dr Andrew Rice
- Software Engineering – Prof Ross Anderson
- Unix Tools – Dr Markus Kuhn
Lent term
- Compiler Construction – Dr Timothy Griffin
- Computation Theory – Prof Andrew Pitts
- Computer Networking – Dr Andrew Moore
- Concurrent and Distributed Systems (continuing)
- Databases – Dr Timothy Griffin
- ECAD and Architecture Practical Classes (continuing)
- Further Java (continuing)
- Group Project (continuing)
- Security I – Dr Markus Kuhn
- Semantics of Programming Languages – Prof Peter Sewell