Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Computer Laboratory - Andrew Pitts
[go: Go Back, main page]
home search a-z help
University of Cambridge Computer Laboratory
Andrew Pitts
Computer Laboratory > Andrew Pitts

Andrew Pitts 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.

  • On-line publications
  • Biblography (BibTeX)
  • Recent talks
  • Recent research projects:
  • Computational Applications of Nominal Sets (CANS)
  • FreshML: A Fresh Approach to Name Binding in Metaprogramming Languages
  • Applied Semantics II (APPSEM II) thematic network funded by the IST programme of the European Union.
    •
  • Editorial activities:
  • Cambridge Theory and Semantics Group
  • Bookmarks

    • Teaching

    Lecture notes for 2007/2008 courses:
  • Types (CST Part II)
    •  Lecture notes for old courses:
  • Computation Theory (2006/2007 CST Part IB/II(G)/Diploma)
  • Regular Languages and Finite Automata (2006/2007 CST Part IA)
  • Denotational Semantics (Last used for 1998/99 CST Part II.)
  • Semantics of Programming Languages (Last used for 2001/02 CST Part IB.)
    •

    © 2007 Andrew Pitts
    Please send any comments to Andrew.Pitts at cl cam ac uk
    Page last updated on 12-Oct-2007 at 10:30 by Andrew Pitts