Professor of Theoretical Computer Science
Fellow of Darwin College,
Cambridge
FACM 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
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
longstanding interest in the semantics and logic of names, locality
and binding.
Teaching
Lecture material for 2015/16 courses:
CST Part
IB Computation
Theory
CST Part II Types
MPhil ACS, CST Part III Category
Theory and Logic
Project
suggestions for 2015/16 MPhil ACS and CST Part III.
Lecture material for old courses:
Discrete
Mathematics (Last used for 2014/15 CST Part IA.)
Nominal
Sets and Their Applications (Last used for 2013/14 MPhil ACS, CST Part III.)
Regular Languages
and Finite Automata (Last used for 2012/13 CST Part IA.)
Denotational
Semantics (Last used for 2011/12 CST Part II.)
Semantics of
HOT Languages (Last used for 2009/10 MPhil ACS.)
Semantics of
Programming Languages (Last used for 2001/02 CST Part IB.)
