Submitted by Rachel Gardner on Tue, 13/06/2023 - 11:39
We’re very pleased to announce that Jon Sterling will be joining us as a new member of our faculty this September.
Jon – currently a Marie Skłodowska-Curie Postdoctoral Fellow in the Department of Computer Science at Aarhus University, Denmark – has been appointed to the position of Associate Professor in Logical Foundations and Formal Methods here.
Jon studies programming languages and semantics using type theory, category theory, domain theory, and topos theory as a guide.
His research interests focus on the tension between abstraction and composition both in the design of programming languages and the practice of software engineering.
He uses semantic methods from category theory and type theory to design, verify and implement languages that enable both programmers and mathematicians to negotiate the different levels of abstraction that arise in their work.
Jon says: "I'm very pleased to be joining the Department of Computer Science and Technology at the University of Cambridge where I am eager to pursue new directions in software semantics together with my departmental colleagues."
Jon received his BA in Linguistics from the University of California, Berkeley, before going on to complete a PhD in Computer Science at Carnegie Mellon University.
Welcome, Jon!
