Jon Sterling

Dr Jon Sterling is a Fellow at the University of Cambridge, Department of Computer Science and Technology. His research focuses on programming languages and semantics, employing type theory, category theory, domain theory, and topos theory. He teaches Discrete Mathematics (Part IA) and has published extensively in conferences and journals, including work on type theory, program logics, and semantic frameworks. His publications explore topics such as univalent reference types, denotational semantics, and guarded computational type theory. Dr Sterling's work contributes to the theoretical foundations of programming languages and formal verification.

Jonathan Sterling is an Associate Professor at the University of Cambridge and a Fellow of Clare College. His research focuses on Programming Languages, Type Theory, Logic, Proof Theory, and Category Theory. His work explores foundational aspects of type theory, including normalization, logical relations, and synthetic computability. He has contributed to the development of cubical type theory, synthetic Tait computability, and cost-aware logical frameworks. His publications address topics such as sheaf semantics, strict universes, and the implementation of modal dependent type theories. His research bridges theoretical computer science and mathematical logic, emphasizing formal verification and semantic foundations.