معرفی
Jon Sterling is an Associate Professor at the Department of Computer Science and Technology, University of Cambridge. His research focuses on foundational aspects of programming languages and semantics, employing advanced mathematical frameworks such as type theory, category theory, domain theory, and topos theory. He is particularly known for contributions to cubical type theory, synthetic computability, and denotational semantics.
His teaching responsibilities include lecturing on Discrete Mathematics (Part IA). Sterling's work bridges theoretical computer science and mathematics, emphasizing formal systems that ensure program correctness and computational adequacy. He has contributed to proof assistants like RedPRL and developed novel approaches to reasoning about higher-order store and effectful computations.
His recent research explores topics such as univalent reference types, guarded domain theory, and cost-aware logical frameworks. Notable collaborations include work with Carnegie Mellon University and Aarhus University on foundational type-theoretic systems.
