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
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.
Teaching
Lecture notes for 2002/2003 courses:
Lecture notes for old courses: