Index of courses by lecturer name

University of Cambridge Computer Laboratory

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


Dr Ross Anderson (rja14@cl.cam.ac.uk)
Security (lectures at 11:00 starting 21-Jan-00)
Software Engineering I (lectures at 11:00 starting 17-Feb-00)
Introduction to Security (lectures at 12:00 starting 07-Mar-00)

Dr Jean Bacon (jmb@cl.cam.ac.uk)
Operating System Foundations (lectures at 12:00 starting 07-Oct-99)
Concurrent Systems (lectures at 10:00 starting 08-Oct-99)
Distributed Systems (lectures at 12:00 starting 27-Apr-00)

Dr Ted Briscoe (ejb@cl.cam.ac.uk)
Natural Language Processing (lectures at 12:00 starting 24-Jan-00)

Dr William Clocksin (wfc@cl.cam.ac.uk)
Artificial Intelligence (lectures at 10:00 starting 27-Oct-99)
Prolog for Artificial Intelligence (lectures at 11:00 starting 18-Feb-00)

Dr Anuj Dawar (ad260@cl.cam.ac.uk)
Introduction to Functional Programming
Complexity Theory

Dr John Daugman (jgd1000@cl.cam.ac.uk)
Information Theory and Coding (lectures at 11:00 starting 07-Oct-99)
Continuous Mathematics (lectures at 11:00 starting 24-Nov-99)
Neural Computing (lectures at 12:00 starting 20-Jan-00)
Computer Vision (lectures at 11:00 starting 27-Apr-00)

Dr Neil Dodgson (nad@cl.cam.ac.uk)
Advanced Graphics and HCI (lectures at 10:00 starting 12-Oct-99)
Computer Graphics and Image Processing (lectures at 10:00 starting 08-Mar-00)

Prof Mike Gordon (mjcg@cl.cam.ac.uk)
Specification and Verification I (lectures at 11:00 starting 05-Nov-99)
Specification and Verification II (lectures at 11:00 starting 28-Apr-00)

Dr Steven Hand (smh22@cl.cam.ac.uk)
Operating System Functions (lectures at 11:00 starting 20-Jan-00)
Operating Systems (lectures at 12:00 starting 27-Apr-00)

Prof Andy Hopper (ah@cl.cam.ac.uk)
Additional Topics (lectures at 11:00 starting 18-Feb-00)

Dr Richard Jennings
Professional Practice and Ethics (lectures at 11:00 starting 04-Nov-99)

Dr Frank King (fhk1@cl.cam.ac.uk)
Foundations of Programming (lectures at 10:00 starting 08-Oct-99)
Probability (lectures at 11:00 starting 20-Jan-00)

Dr Jack Lang
Business Studies (lectures at 12:00 starting 28-Apr-00)

Prof Ian Leslie (iml@cl.cam.ac.uk)
Computer Systems Modeling (lectures at 11:00 starting 08-Oct-99)
Digital Electronics (lectures at 11:00 starting 09-Oct-99)
Digital Communications II (lectures at 12:00 starting 05-Nov-99)
Digital Communications I (lectures at 10:00 starting 17-Feb-00)

Dr Ken Moody (km@cl.cam.ac.uk)
Mathematics for Computation Theory (lectures at 12:00 starting 05-Nov-99)
Computation Theory (lectures at 11:00 starting 21-Jan-00)
Databases (lectures at 10:00 starting 28-Apr-00)

Dr Simon Moore (swm11@cl.cam.ac.uk)
ECAD (lectures at 10:00 starting 07-Oct-99)
Computer Design (lectures at 10:00 starting 26-Oct-99)

Dr Arthur Norman (acn@cl.cam.ac.uk)
Learning Day (lectures at 17:00 starting 21-Oct-99)
Compiler Construction (lectures at 10:00 starting 21-Jan-00)
Programming in Java (lectures at 12:00 starting 08-Feb-00)
Foundations of Functional Programming (lectures at 11:00 starting 27-Apr-00)

Dr Mike O'Donohoe (mro2@cl.cam.ac.uk)
Numerical Analysis I (lectures at 11:00 starting 04-Nov-99)
Numerical Analysis II (lectures at 12:00 starting 18-Feb-00)

Dr Larry Paulson (lcp@cl.cam.ac.uk)
Logic and Proof (lectures at 12:00 starting 08-Oct-99)
Foundations of Computer Science (lectures at 12:00 starting 09-Oct-99)
Software Engineering II (lectures at 11:00 starting 02-Mar-00)

Dr Andrew Pitts (ap@cl.cam.ac.uk)
Semantics of Programming Languages (lectures at 12:00 starting 07-Oct-99)
Types (lectures at 10:00 starting 08-Oct-99)
Regular Languages and Finite Automata (lectures at 11:00 starting 27-Apr-00)

Dr Ian Pratt (iap10@cl.cam.ac.uk)
Unix Tools (lectures at 11:00 starting 08-Nov-99)
Comparative Architectures (lectures at 11:00 starting 17-Feb-00)
Structured Hardware Design (lectures at 11:00 starting 12-May-00)

Dr Martin Richards (mr@cl.cam.ac.uk)
Introduction to Algorithms (lectures at 11:00 starting 08-Oct-99)
Data Structures and Algorithms (lectures at 11:00 starting 18-Oct-99)
Comparative Programming Languages (lectures at 10:00 starting 20-Jan-00)

Dr Peter Robinson (pr@cl.cam.ac.uk)
VLSI Design (lectures at 12:00 starting 08-Oct-99)
Further Java (lectures at 10:00 starting 05-Nov-99)
Discrete Mathematics (lectures at 12:00 starting 13-Nov-99)

Dr Karen Sparck Jones (ksj@cl.cam.ac.uk)
Information Retrieval (lectures at 11:00 starting 20-Jan-00)
Computer Lab Home | Lecture Course Home

Generated at 11:58.46 on 21/9/1999