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]
Computer Laboratory Home Page Search A-Z Directory Help
University of Cambridge Home 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.

  • 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.
    •
  • Journals I am associated with:
  • Upcoming events:
  • ASL European Summer Meeting (Logic Colloquium '06), Nijmegen, Netherlands, 27 July-2 August 2006 [Invited speaker at special session on "Logic in Computer Science"]
  • International Workshop on Logical Frameworks and Meta-Languages: theory and practice (LFMTP), August 2006 (tba) [PC member]
    •
  • Cambridge Theory and Semantics Group

    • Teaching

    Lecture notes for 2005/2006 courses:
  • Types (CST Part II)
    •  Lecture notes for old courses:
  • Computation Theory (2004/5 CST Part IB/II(G)/Diploma)
  • Regular Languages and Finite Automata (2004/5 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.)
    •

    © 2005 Andrew Pitts
    Please send any comments to Andrew.Pitts at cl cam ac uk
    Page last updated on 13-Oct-2005 at 09:38 by Andrew Pitts