Lecture Course Material 1997-98 and earlier

This page is for material related to Computer Science Teaching in the University of Cambridge. Each course's information has been provided by the lecturer of the course, and is their responsibility.

• Simon Crosby
  Computer Systems Modelling.
• John Daugman
  Continuous Mathematics, Information Theory and Coding, Neural Computing and Computer Vision.
• Philippa Gardner
  Foundations of Functional Programming.
• Mike Gordon
  Specification and Verification I, Specification and Verification II, and Introduction to Functional Programming.
• David Greaves
  System Architecture, Structured Hardware Design and ECAD and Architecture Practical Classes.
• John Harrison
  Introduction to Functional Programming.
• Simon Moore
  Computer Design and "additional topics" lecture on Computing without Clocks. .
• Alan Mycroft
  Compiling Techniques and Optimising Compilation.
• Larry Paulson
  Lecture notes for Foundations of Functional Programming and slides for Logic and Proof (taught by Mike Gordon in 1996-7).
• Andrew Pitts
  Regular Languages and Finite Automata, Semantics of Programming Languages, Denotational Semantics, and Types.
• Peter Sewell
  Slides for lectures on Pict in the Communicating Automata and Pi-Calculus course.