Computer Science Part IB

Lecture rooms, times, and start dates are provisional. Please check the official timetable for correct details.

Michaelmas

Concurrent Systems: Dr Jean Bacon; Rayleigh Lecture Room (10:00 starting 5/10/00)
ECAD: Dr Simon Moore; Heycock Room (10:00 starting 6/10/00)
Unix Tools: Dr Ian Pratt; Heycock Room (11:00 starting 6/10/00)
Logic and Proof: Dr Larry Paulson; Heycock Room (12:00 starting 6/10/00)
Digital Electronics: Prof Ian Leslie; Arts School Room A (11:00 starting 7/10/00)
Continuous Mathematics: Dr Neil Dodgson; Heycock Room (11:00 starting 16/10/00)
Computer Design: Dr Simon Moore; Arts School Room A (10:00 starting 25/10/00)
Data Structures and Algorithms: Dr Martin Richards; Heycock Room (11:00 starting 25/10/00)
Further Java: Mr Timothy Harris; Rayleigh Lecture Room (10:00 starting 2/11/00)
Numerical Analysis I: Dr Mike O'Donohoe; Arts School Room A (11:00 starting 2/11/00)
Semantics of Programming Languages: Dr Andrew Pitts; Heycock Room (12:00 starting 3/11/00)

Comparative Programming Languages: Dr Martin Richards; Arts School Room A (10:00 starting 18/1/01)
Operating System Functions: Dr Steven Hand; Arts School Room A (11:00 starting 18/1/01)
Compiler Construction: Dr Alan Mycroft; Arts School Room A (10:00 starting 19/1/01)
Computation Theory: Dr Ken Moody; Arts School Room A (11:00 starting 19/1/01)
Computer Graphics and Image Processing: Dr Neil Dodgson; Heycock Room (10:00 starting 7/2/01)
Digital Communications I: Prof Ian Leslie; Arts School Room A (10:00 starting 15/2/01)
Prolog for Artificial Intelligence: Dr William Clocksin; Heycock Room (11:00 starting 16/2/01)
Introduction to Security: Dr Ross Anderson; Rayleigh Lecture Room (12:00 starting 1/3/01)

Databases: Dr Ken Moody; Arts School Room A (10:00 starting 26/4/01)
Foundations of Functional Programming: Dr Arthur Norman; Heycock Room (11:00 starting 26/4/01)
Complexity Theory: Dr Anuj Dawar; Arts School Room A (11:00 starting 27/4/01)

Generated at 17:52.00 on 18/9/2000