ZJU Global Dialogue Series: Programming Language Semantics

Speaker: Andrew Pitts is a Professor of Theoretical Computer Science and a Fellow of Darwin College at the University of Cambridge. His research makes use of techniques from category theory, mathematical logic and type theory to advance the foundations of programming language semantics and theorem proving systems. He has a long-standing interest in the semantics and logic of names, locality and binding. His aim is to develop mathematical models and methods which aid language design and the development of formal logics for specifying and reasoning about programs. He is particularly interested in higher-order typed programming languages and in dependently typed logics.

Venue: Zoom (Meeting ID: 450 258 6390, password: nx0ssj)