- Associate Professor
Research
I study programming languages and semantics using type theory, category theory, domain theory, and topos theory as a guide.
Department of Computer Science and Technology
I study programming languages and semantics using type theory, category theory, domain theory, and topos theory as a guide.
Department of Computer Science and Technology
University of Cambridge
William Gates Building
15 JJ Thomson Avenue
Cambridge
CB3 0FD
© 2025 University of Cambridge