Generate a tailored SOP for Dr. Andrew Pitts. Improve your application with a focused, well-structured draft.
Andrew M. Pitts is an Emeritus Faculty member in the Department of Computer Science and Technology at the University of Cambridge. His research interests lie in the areas of category theory, mathematical logic, and type theory, focusing on advancing the foundations of programming language semantics and theorem proving systems. He has a long-standing interest in the semantics of logic names and locality binding. His aim is to develop mathematical models and methods that aid in the design and development of languages and formal logics for specifying reasoning in programs. He is particularly interested in higher-order typed programming languages and dependently typed logics. His work incorporates a variety of techniques that help in understanding and enhancing programming semantics.
Standard postgraduate requirements for Department of Politics and International Studies (POLIS) and related humanities departments.