Professor of Philosophy and Mathematical Sciences
BioI 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.
- Mathematical Logic and Proof Theory
- Formal Verification and Automated Reasoning
- History and Philosophy of Mathematics