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
[go: Go Back, main page]
Andrew Pitts' Home Page University of Cambridge Computer Laboratory

Andrew Pitts

Picture

Professor of Theoretical Computer Science

Fellow of Darwin College

Research interests

I am interested in all aspects of programming language semantics, be they operational or denotational (or somewhere between the two). I try to use various tools from mathematical logic and category theory to advance the foundations of programming language semantics. I am also interested in type theories, formal logics for reasoning about program properties, and the design and implementation of metaprogramming languages.

  • On-line publications: listing, BibTeX database.
  • Recent talks.
  • The FreshML research project.
  • APPSEM II thematic network funded by the IST programme of the European Union.
  • I participate in the Cambridge Theory and Semantics Group.
  • Journals I am associated with:
  • Upcoming events:
  • Foundations of Software Science and Computation Structures (FOSSACS 2005), Edinburgh, Scotland, 2-8 April 2005. [PC member]
  • 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), Oxford, UK, 22-25 August 2005. [Invited speaker]
  • International Summer School On Applied Semantics (APPSEM II 2005), Frauenchiemsee, Germany, 8-12 September 2005. [Lecturer]
  • 10th ACM SIGPLAN International Conference on Functional Programming (ICFP 2005), Tallinn, Estonia, 26-28 September, 2005. [PC member]
    •

    • Teaching

    Lecture notes for 2004/2005 courses:
  • Computation Theory (CST Part IB/II(G)/Diploma)
  • Regular Languages and Finite Automata (CST Part IA)
  • Types (CST Part II)
    •  Lecture notes for old courses:
  • Denotational Semantics (Last used for 1998/99 CST Part II.)
  • Semantics of Programming Languages (Last used for 2001/02 CST Part IB.)
    •
    Professor Andrew M Pitts
    University of Cambridge
    Computer Laboratory
    William Gates Building
    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