Experience
Education
Bio
I am a professor in the Department of Philosophy and the Department of Mathematical Sciences at Carnegie Mellon University, and associated with Carnegie Mellon's interdisciplinary program in Pure and Applied Logic.

Research
Mathematical Logic and Proof Theory
Formal Verification and Automated Reasoning
History and Philosophy of Mathematics