person. Jon Sterling [jonmsterling]

✍️source

Jon Sterling is an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge. Jon Sterling studies programming languages and semantics using type theory, category theory, domain theory, and topos theory as a guide. Jon Sterling's other interests include Near Eastern, Classical, and Germanic philology.

The introduction above is based on Jon Sterling's own introduction.