Professor of Theoretical Computer Science
Deputy Head of Department
Fellow of Darwin College,
Cambridge
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
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.
I am currently researching nominal
sets, which provide a syntax-independent model of freshness and
α-equivalence of bound names with very good support for
recursion and induction. I am interested in the applications of this
model to metaprogramming languages and metalogics that underly systems
for machine-assisted reasoning about programming language semantics.
Journals I am associated with:
Upcoming events:
Cambridge Theory and Semantics
Group
Teaching
Lecture notes for 2005/2006 courses:
Lecture notes for old courses:
|