- 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
Information provided by pagemaster@cst.cam.ac.uk
© 2023 University of Cambridge