Ä۲ݵçÓ°

I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge. My research interests include the mathematical foundations of programming languages through category theory, domain theory, and topos theory; I am also involved in the formalisation of mathematical knowledge using computerised proof assistants.

Prior to arriving in Cambridge, I was a Marie Skłodowska-Curie Postdoctoral Fellow hosted at Aarhus University; before this, I carried out my doctoral studies at Carnegie Mellon University working on the syntax and semantics of cubical homotopy type theory.