POPL 2024
Wed 17 - Fri 19 January 2024 London, United Kingdom
Jonathan Sterling

Registered user since Thu 26 Aug 2021

Name:Jonathan Sterling

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


Show activities from other conferences

Using general profile