Professor of Theoretical Computer Science
Fellow of Darwin College,
Cambridge
FBCS CITP
Contact
Professor Andrew M Pitts
University of
Cambridge
Computer Laboratory
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
PGP Key
Research
I am interested in all aspects of programming language semantics, be
they operational or denotational (or somewhere between the two). My
research makes use of techniques from mathematical logic, type theory
and category theory to advance the foundations of programming language
semantics. The aim is to develop mathematical models and methods
which aid language design and the development of formal logics for
specifying and reasoning about programs, with an emphasis on higher
order, typed programming languages, such as ML and Haskell. I have a
long-standing interest in the semantics and logic of names, locality
and binding.
Editorial activities:
Upcoming events:
Cambridge
Programming, Logic, and Semantics Group
Teaching
Lecture material for 2012/13 courses:
Lecture material for old courses:
|