I am in the Department of Mathematics at Princeton University. Here are my list of publications, curriculum vitae, and a photograph (June 2003).

Research

My current research interests center on mathematical logic, foundations of mathematics, bounded arithmetic, and automatic proof verification . On-line writings on these and other topics will be posted under papers. All of my books are posted.

Teaching

I retired June 30, 2013.

Calculus students: information about MAT 104 is available.

---

---

Pictures from the conference in Vancouver, June 17-18, 2004.