I am currently a graduate student in the Department of Philosophy at Carnegie Mellon University, studying for an M.S. in Logic, Computation, and Methodology. My research interests are broadly classified as mathematical and philosophical logic, and philosophy of logic and mathematics. I am also interested in philosophical applications of logic.
At the moment, I'm writing a thesis under Horacio Arló-Costa which focuses on characterization results for some subclasses of kernel contractions, including safe contractions, and I'm also working with Wilfried Sieg in the AProS research group, looking at automated strategic arguments in set theory.
Latest updates.
- 2008/11/24: CV updated.
- 2008/08/22: Fall 2008 semester information updated.
- 2008/07/30: First revision of site put online.
Contact information.
- Email: Click to reveal.
- Office: Baker Hall 139B (in the BH139 suite).
- Phone: 412.268.1168 (x8-1168).
- Postal Mail: Alex Smith, Department of Philosophy, Baker Hall 135, Carnegie Mellon University, Pittsburgh, PA 15213.
- CV: PDF.
Teaching.
- Fall 2008: 80210 Logic & Proofs.
Papers.
To be updated with papers in progress.