Course pages 2016–17

Part IB

Please check the official timetables for timetable details.

Michaelmas term

• Computer Design – Prof Simon Moore, Dr Timothy Jones
• Computer Graphics and Image Processing – Prof Peter Robinson
• Computer Networking – Dr Andrew Moore
• Concurrent and Distributed Systems – Dr Robert Watson
• ECAD and Architecture Practical Classes – Prof Simon Moore, Dr Robert Mullins
• Further Java – Dr Alastair Beresford
• Group Project – Prof Ian Leslie
• Mathematical Methods for Computer Science – Prof John Daugman, Dr Richard Gibbens
• Programming in C and C++ – Dr Neel Krishnaswami
• Prolog – Dr Nik Sultana, Dr Alastair Beresford
• Semantics of Programming Languages – Prof Peter Sewell
• Software Engineering – Prof Ross Anderson
• Unix Tools – Dr Markus Kuhn

Lent term

• Compiler Construction – Dr Timothy Griffin
• Computation Theory – Prof Andrew Pitts
• Computer Networking (continuing)
• Concurrent and Distributed Systems (continuing)
• Databases – Dr Timothy Griffin
• Group Project (continuing)
• Logic and Proof – Prof Larry Paulson

Easter term

• Artificial Intelligence I – Dr Sean Holden
• Complexity Theory – Prof Anuj Dawar
• Concepts in Programming Languages – Prof Alan Mycroft
• Economics, Law and Ethics – Prof Ross Anderson
• Security I – Dr Markus Kuhn