Computer Science Part IB
2008–09

Please check the official timetables for timetable details.

Michaelmas term

• Algorithms II (Dr Frank Stajano)
• Computation Theory (Prof Andrew Pitts)
• Computer Design (Dr Simon Moore)
• Concurrent Systems and Applications (Dr Steven Hand)
• ECAD (Dr Simon Moore)
• ECAD and Architecture Practical Classes (Dr Simon Moore)
• Group Project Briefing (Dr Alan Blackwell)
• Logic and Proof (Prof Larry Paulson)
• Mathematical Methods for Computer Science (Dr Richard Gibbens)
• Prolog (Dr David Eyers)
• Software Engineering (Prof Ross Anderson)
• Unix Tools (Dr Markus Kuhn)

Lent term

• Compiler Construction (Prof Alan Mycroft)
• Computer Graphics and Image Processing (Prof Peter Robinson)
• Concepts in Programming Languages (Dr Marcelo Fiore)
• Databases (Dr Timothy Griffin)
• Digital Communication I (Dr Andrew Moore)
• Floating-Point Computation (Prof Alan Mycroft)
• Foundations of Functional Programming (Dr Matthew Parkinson)
• Group Project (Dr Alan Blackwell)
• Programming in C and C++ (Dr Andrew Moore)
• Semantics of Programming Languages (Dr Peter Sewell)

Easter term

• Artificial Intelligence I (Dr Mateja Jamnik)
• Complexity Theory (Dr Timothy Griffin)
• Economics and Law (Prof Ross Anderson)
• Introduction to Security (Dr Markus Kuhn)