JONATHAN STERLING
![Jonathan Sterling Jonathan Sterling](/sites/default/files/styles/large/public/2024-07/20.jpg?itok=BSWtntww)
Subject
Computer Science
College positions
Bye-Fellow
Email Address
Biography
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.