Andrew Pitts

Andrew Pitts is a Professor at the University of Cambridge Computer Laboratory, specializing in the theory and semantics of computation, with a focus on nominal sets and dependent type theory. He is a Fellow of the Royal Society (FRS) and has made significant contributions to the mathematical foundations of programming languages.

Research Interests: His work bridges theoretical computer science and mathematical logic, emphasizing nominal techniques, category theory, and homotopy type theory. He explores abstract syntax, inductive types, and the formal verification of computational models.

Key Trends in Recent Publications: Recent articles emphasize category theory, type theory, and formal methods, with specific attention to quotient types, modal type theory, and cubical type theory. These works often involve collaborations with researchers in programming language foundations and mathematical logic.

Scientific Awards:

• Fellow of the Royal Society (FRS)