skip to content

Department of Computer Science and Technology

  • Research Staff

Research

Logical foundations of type theories, verification of proofs and programs and machine learning for theorem proving.

Contact Details

Room: 
FE22
Office phone: 
(01223) 7-63741
Email: 

apdb3@cam.ac.uk