Computer Science Part II
2001-2002

University of Cambridge Computer Laboratory

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

Michaelmas

VLSI Design
Dr Peter Robinson
Rayleigh Lecture Theatre (10:00 starting 4/10/2001)
Advanced Graphics and HCI
Dr Alan Blackwell
Rayleigh Lecture Theatre (11:00 starting 4/10/2001)
Information Theory and Coding
Dr John Daugman
Rayleigh Lecture Theatre (12:00 starting 9/10/2001)
Advanced Algorithms
Dr Arthur Norman
Rayleigh Lecture Theatre (10:00 starting 5/10/2001)
Types
Dr Andrew Pitts
Rayleigh Lecture Theatre (12:00 starting 5/10/2001)
Denotational Semantics
Prof Glynn Winskel
Rayleigh Lecture Theatre (12:00 starting 24/10/2001)
Digital Communication II
Dr Ian Pratt
Rayleigh Lecture Theatre (11:00 starting 5/11/2001)
Additional Topics
Prof Andy Hopper
Small Lecture Theatre - William Gates Building (10:00 starting 12/11/2001)
Computer Systems Modelling
Dr Richard Gibbens
Small Lecture Theatre - William Gates Building (11:00 starting 12/11/2001)
Specification and Verification I
Prof Mike Gordon
Small Lecture Theatre - William Gates Building (12:00 starting 12/11/2001)

Lent

Optimising Compilers
Dr Alan Mycroft
Small Lecture Theatre - William Gates Building (11:00 starting 17/1/2002)
Neural Computing
Dr John Daugman
Small Lecture Theatre - William Gates Building (12:00 starting 17/1/2002)
Natural Language Processing
Dr Ted Briscoe
Large Lecture Theatre - William Gates Building (11:00 starting 18/1/2002)
Comparative Architectures
Dr Ian Pratt
Small Lecture Theatre - William Gates Building (10:00 starting 31/1/2002)
Security
Markus Kuhn
Small Lecture Theatre - William Gates Building (11:00 starting 6/2/2002)
Topics in Concurrency
Prof Glynn Winskel
Small Lecture Theatre - William Gates Building (12:00 starting 6/2/2002)
Numerical Analysis II
Dr Mike O'Donohoe
Large Lecture Theatre - William Gates Building (9:00 starting 15/2/2002)

Easter

Computer Vision
Dr John Daugman
Large Lecture Theatre - William Gates Building (12:00 starting 25/4/2002)
Business Studies
Jack Lang
Large Lecture Theatre - William Gates Building (11:00 starting 26/4/2002)
Specification and Verification II
Prof Mike Gordon
Small Lecture Theatre - William Gates Building (12:00 starting 26/4/2002)
E-Commerce
Jack Lang
Small Lecture Theatre - William Gates Building (11:00 starting 30/4/2002)

Computer Lab Home | Lecture Course Home

Generated at 11:07.54 on 19/9/2001