Professor of Theoretical Computer Science
Fellow of Darwin College,
Cambridge
FACM FBCS CITP
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
Tel: +44 1223 334629
Fax: +44 1223 334678
Email: Andrew.Pitts at cl cam ac uk
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
longstanding 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 higherorder typed programming languages and in
dependently typed logics.
Editorial activities:
Upcoming events:
Cambridge
Programming, Logic, and Semantics Group
Agda code:
Teaching
I am on sabbatical leave for 2017/18.
Lecture material for old courses:
