Research
- Software Verification
- Concurrency
- Interactive Theorem Proving
- Algorithms
- Type Theory
- Weak Memory Models
Department of Computer Science and Technology
ik404@cam.ac.uk
Department of Computer Science and Technology
University of Cambridge
William Gates Building
15 JJ Thomson Avenue
Cambridge
CB3 0FD
Information provided by pagemaster@cst.cam.ac.uk
© 2024 University of Cambridge