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
Andrew Pitts' Home Page

University of Cambridge Computer Laboratory

Andrew Pitts

Professor of Theoretical Computer Science

Fellow of Darwin College

Research

My research is in applications of mathematical logic and category theory to computer science. I am especially interested in the semantics of programming languages and type theories, formal logics for reasoning about program properties, and metaprogramming languages and the foundations of machine-assisted reasoning systems.

On-line publications: listing, BibTeX database.

Recent talks.

The FreshML research project.

I participate in the Cambridge Theory and Semantics Group.

Journals I am associated with:

Applied Categorical Structures

Chicago Journal of Theoretical Computer Science

Higher-Order and Symbolic Computation

Mathematical Structures in Computer Science

Upcoming conferences:

Foundations of Software Science and Computation Structures (FOSSACS 2005), Edinburgh, Scotland, 2-8 April 2005. [PC member]

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:

Types (CST Part II)

Lecture notes for old courses:

Regular Languages and Finite Automata (2002/03 CST Part IA; the forthcoming 2004/05 version will be substantially the same.)

Computation Theory (2002/03 CST Part IB/II(G)/Diploma; the forthcoming 2004/05 version will be substantially the same.)

Semantics of Programming Languages (Last used for 2001/02 CST Part IB.)

Denotational Semantics (Last used for 1998/99 CST Part II.)

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