Computer Science Part IB 2006-07
TimetablesCourses
- Algorithms II
- Dr Frank Stajano (Michaelmas Term)
- Computer Design
- Dr Simon Moore (Michaelmas Term)
- Concurrent Systems and Applications
- Dr John Fawcett (Michaelmas Term)
- ECAD
- Dr Simon Moore (Michaelmas Term)
- ECAD and Architecture Practical Classes
- Dr Simon Moore (Michaelmas Term)
- Floating-Point Computation
- Dr Alan Mycroft (Michaelmas Term)
- Hardware Practical Classes
- Dr David Greaves (Michaelmas Term)
- Logic and Proof
- Prof Larry Paulson (Michaelmas Term)
- Prolog
- Kate Taylor (Michaelmas Term)
- Software Engineering
- Prof Ross Anderson (Michaelmas Term)
- Unix Tools
- Dr Markus Kuhn (Michaelmas Term)
- C and C++
- Alastair Beresford (Lent Term)
- Compiler Construction
- Dr Timothy Griffin (Lent Term)
- Computation Theory
- Prof Andrew Pitts (Lent Term)
- Computer Graphics and Image Processing
- Dr Neil Dodgson (Lent Term)
- Concepts in Programming Languages
- Dr Marcelo Fiore (Lent Term)
- Digital Communication I
- Prof Ian Leslie (Lent Term)
- Foundations of Functional Programming
- Dr Alan Mycroft (Lent Term)
- Group Project
- Dr Alan Blackwell (Lent Term)
- Mathematical Methods for Computer Science
- Dr Richard Gibbens (Lent Term)
- Probability
- Dr Frank King (Lent Term)
- Semantics of Programming Languages
- Dr Peter Sewell (Lent Term)
- Artificial Intelligence I
- Dr Sean Holden (Easter Term)
- Complexity Theory
- Dr Anuj Dawar (Easter Term)
- Databases
- Dr Timothy Griffin (Easter Term)
- Economics and Law
- Prof Ross Anderson (Easter Term)
- Introduction to Security
- Dr Markus Kuhn (Easter Term)
|