skip to content

Department of Computer Science and Technology

  • Research Staff

Research

Type theories and the formalization of mathematics

Contact Details

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

apdb3@cam.ac.uk