The University of Durham
 
   
Christopher M. Lindop

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

Home
Work
Links
CV
Lindop
Contact

Home

I am a postgraduate research student in The Computer Assisted Reasoning Group under the supervision of Professor Zhaohui Luo and Dr Paul Callaghan of The Department of Computer Science. My research interests include Type Theory (thats getting computers to do very hard sums) and the teaching of Logic.

Beware of internet pranksters!

Willingly the Cross-Eyed bear
Read the book
Hear the tune

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

Page maintained by: Christopher Lindop