Welcome

Research

Papers

Books

Reviews

Talks

Teaching

Students

Students

I was Director of Graduate Studies in Philosophy at Carnegie Mellon from 2005 to 2009 and again from 2011 to 2012.

PhD students

MS students

Postdocs supervised

PhD committees

I have served on the following PhD committees, in Philosophy and at Carnegie Mellon, unless otherwise noted:

MS committees

I have served on the following MS committees, in Philosophy unless otherwise noted:

Undergraduate students

I supervised the following undergraduate projects: I was the director of the Department of Philosophy's major in Logic and Computation from 1997 to 2005. Here is a list of students who graduated during that period of time, with the titles of their senior theses and their advisors:

Other

The following students have worked on a formalization of the Prime Number Theorem with me: