Computer Science Part IB
2001-2002

Lecture rooms, times, and start dates are provisional and are subject to change. Please check the official timetable for up to date details.

Michaelmas

Concurrent Systems and Applications: Tim Harris; Heycock Room (10:00 starting 4/10/2001)
ECAD: Dr Simon Moore; Heycock Room (10:00 starting 5/10/2001)
Unix Tools: Markus Kuhn; Heycock Room (11:00 starting 5/10/2001)
Logic and Proof: Dr Larry Paulson; Heycock Room (12:00 starting 5/10/2001)
Digital Electronics: Prof Ian Leslie; Arts School Room A (11:00 starting 6/10/2001)
ECAD and Architecture Practical Classes: Dr Simon Moore; Intel Workstation Room - William Gates Building (14:00 starting 12/10/2001)
Continuous Mathematics: Dr Richard Gibbens; Heycock Room (11:00 starting 15/10/2001)
Computer Design: Dr Simon Moore; Heycock Room (10:00 starting 24/10/2001)
Data Structures and Algorithms: Dr Martin Richards; Heycock Room (11:00 starting 24/10/2001)
Numerical Analysis I: Dr Mike O'Donohoe; Arts School Room A (11:00 starting 1/11/2001)
Group Projects: Dr Alan Blackwell; Heycock Room (12:00 starting 21/11/2001)

Comparative Programming Languages: Dr Martin Richards; Large Lecture Theatre - William Gates Building (10:00 starting 17/1/2002)
Digital Communication I: Prof Ian Leslie; Large Lecture Theatre - William Gates Building (11:00 starting 17/1/2002)
Introduction to Security: Markus Kuhn; Large Lecture Theatre - William Gates Building (10:00 starting 18/1/2002)
Computation Theory: Dr Andrew Pitts; Large Lecture Theatre - William Gates Building (12:00 starting 18/1/2002)
Compiler Construction: Dr Alan Mycroft; Large Lecture Theatre - William Gates Building (10:00 starting 1/2/2002)
Prolog for Artificial Intelligence: Dr Martin Richards; Large Lecture Theatre - William Gates Building (11:00 starting 15/2/2002)
Semantics of Programming Languages: Dr Andrew Pitts; Large Lecture Theatre - William Gates Building (12:00 starting 15/2/2002)

Databases: Dr Gavin Bierman; Large Lecture Theatre - William Gates Building (10:00 starting 25/4/2002)
Computer Graphics and Image Processing: Dr Neil Dodgson; Large Lecture Theatre - William Gates Building (10:00 starting 25/4/2002)
Foundations of Functional Programming: Dr Arthur Norman; Small Lecture Theatre - William Gates Building (11:00 starting 26/4/2002)
Complexity Theory: Dr Anuj Dawar; Large Lecture Theatre - William Gates Building (12:00 starting 26/4/2002)

Generated at 11:07.54 on 19/9/2001