معرفی
Jonathan Sterling is an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College. His research focuses on programming languages and formal methods, integrating type theory, category theory, domain theory, and topos theory to explore semantics of computation.
His recent contributions include papers at POPL 2024 (The Essence of Generalized Algebraic Data Types, Decalf: A Directed, Effectful Cost-Aware Logical Framework), POPL 2022, and ICFP 2019. These works span logical frameworks, cost-aware programming, and modal dependent type theory, reflecting his interest in bridging theoretical insights with practical programming language design.
Jonathan maintains active involvement in academic service, serving on program committees for OOPSLA, ICFP, POPL, TyDe, and WITS. He advocates for sustainable intellectual infrastructure, emphasizing the need for long-term funding models for tools like proof assistants and formal verification systems. His personal website and GitHub repositories (@jonsterling) host projects such as Agda-CAFe and RedTT, which explore formal methods and type theory.
