Students

PhD students MS students Undergraduate students The following students have worked on my formal verification project: PhD committees (in Philosophy, unless otherwise noted) MS committees (in Philosophy, unless otherwise noted) Logic and Computation majors

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: