skip to content

Department of Computer Science and Technology

Research

  • Software Verification
  • Concurrency
  • Interactive Theorem Proving
  • Algorithms
  • Type Theory
  • Weak Memory Models

Contact Details

Room: 
FS06
Email: 

ik404@cam.ac.uk