home search a-z help
University of Cambridge Computer Laboratory
Computer Science Part IB
Computer Laboratory > Course material 2006-07 > Computer Science Part IB

Computer Science Part IB



Algorithms II
Dr Frank Stajano (Michaelmas Term)
Computer Design
Dr Simon Moore (Michaelmas Term)
Concurrent Systems and Applications
Dr John Fawcett (Michaelmas Term)
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)
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)
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)
Dr Timothy Griffin (Easter Term)
Economics and Law
Prof Ross Anderson (Easter Term)
Introduction to Security
Dr Markus Kuhn (Easter Term)