home search a-z help
University of Cambridge Department of Computer Science & Technology
Andrew Pitts
Department  of  Computer  Science  & Technology > Andrew Pitts

Andrew Pitts 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
Departmental web page

Publications

  • On-line publications
  • Recent talks
  • Google Scholar profile
  • dblp bibliography
  • 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.

    NominalSetsBook
  • Editorial and Conference activities:
  • Agda code
  • The Cambridge Logical Structures Hub (CLASH)
  • Cambridge Programming, Logic, and Semantics Group
  • Note: I am no longer taking on PhD students. (I am unable to do so because a compulsory retirement age of 67 has been introduced by the University of Cambridge for its academic staff, following the abolition of the default retirement age in April 2011.)

    Teaching

    Lecture material for 2022/23 courses:

  • Computation Theory (CST Part IB)
  • Category Theory (CST Part II unit of assessment and Part III / MPhil ACS module)
  • Lecture material for old courses:

  • Denotational Semantics (Last used for 2018/19 CST Part II.)
  • Types (Last used for 2016/17 CST Part II.)
  • 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.)
  • Semantics of HOT Languages (Last used for 2009/10 MPhil ACS.)
  • Semantics of Programming Languages (Last used for 2001/02 CST Part IB.)