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

Undergraduate students


The following students have worked on my formal verification project:

I have served on the following PhD committees (in Philosophy and at Carnegie Mellon, unless otherwise noted): I have served on the following MS committees (in Philosophy, unless otherwise noted): 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: