The University of Durham
 
   
Christopher M. Lindop

Mathematical Thought for the Day
two + two = 5 for large values of two
Menu

Work


Research
Computer Aided Formal Reasoning (Edinburgh)
The Coq Proof Assistant
Introduction to Type Theory (Cornell)
The LEGO Proof Assistant

Demonstrating Links
BURKS Brighton University Resource Kit for Students
FOLDOC Free On-Line Dictionary of Computing

ITS Guides.
Index of Lecture Support Pages.

1st Year Courses
Formal Aspects of Computer Science: Discrete Structures; Further Discrete Structures.
Computer Systems: Fundamentals of Machine Architecture; Introduction to Databases.

2nd Year Courses
Computer Systems 2: Operating Systems; Concurrency.
FPAI: Functional Programming; Artificial Intelligence
LGST: Logic; Grammar.
Software Applications: C++; Databases.


University | Computer Science |CARG | St Chad's College | Chad's MCR | Webmail | library

Page maintained by: Christopher Lindop