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
Personal website: http://www.jonmsterling.com/
GitHub: https://github.com/jonsterling
Research interests:semantics, type theory, category theory, topos theory
Contributions
Using general profile