Emeritus Professor of Theoretical Computer Science
Emeritus Fellow of Darwin College,
Cambridge
FRS
FACM
Contact
Professor Andrew M Pitts
University of
Cambridge
Department of Computer Science
& Technology
William Gates Building
15 JJ Thomson Avenue
Cambridge CB3 0FD, UK
Office: FC08
Email: Andrew.Pitts at cl cam ac uk
Departmental web page
Publications
Research
My 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. I have a
long-standing interest in the semantics and logic of names, locality
and binding. My aim is to develop mathematical models and methods
which aid language design and the development of formal logics for
specifying and reasoning about programs. I am particularly
interested in higher-order typed programming languages and in
dependently typed logics. More details via the pittsposium
a picture of whose particpants is here.
Editorial activities:
Agda code
The
Cambridge Logical Structures Hub (CLASH)
Cambridge
Programming, Logic, and Semantics Group
Note: I am no longer able to take on PhD students.
Teaching
|
