ICFP 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025
Jonathan Sterling

Registered user since Thu 26 Aug 2021

Name:Jonathan Sterling
Bio:

I am an Associate Professor in Logical Foundations and Formal Methods at University of Cambridge. I study programming languages and semantics using type theory, category theory, domain theory, and topos theory as a guide

Country:United Kingdom
Affiliation:University of Cambridge
Research interests:semantics, type theory, category theory, topos theory

Contributions

Show activities from other conferences

Using general profile