Page maintained by: Christopher Lindop
|
|
Menu
|
|
![]() |
![]() |
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. |
|
![]() |
![]() |
![]() |
University | Computer Science | CARG | St Chad's College | Chad's MCR | Webmail | library |