Andrew M. Pitts

Emeritus Professor · Department of Computer Science and Technology

University of Cambridge · United Kingdom

Programming language semanticsCategory theoryMathematical logicType theoryTheorem provingNames and binding

About

Emeritus Professor at the University of Cambridge. Research uses category theory, mathematical logic, and type theory to advance foundations of programming language semantics and theorem proving systems. Interested in semantics and logic of names, locality, binding, higher-order typed languages, and dependently typed logics.

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.