Welcome to my home page. I am a professor in the Department of Philosophy and Department of Mathematical Sciences at Carnegie Mellon University, and Director of Graduate Studies in Philosophy. I am associated with Carnegie Mellon's interdisciplinary program in Pure and Applied Logic. You can also read my CV.
Research Interests
Mathematical logic, proof theory, philosophy of mathematics, formal verification, automated reasoning, history of mathematics.
161D Baker Hall
(412) 268-8149
avigad@cmu.edu
Department of Philosophy
Baker Hall 135
Carnegie Mellon University
Pittsburgh, PA 15213
USA
I am on the editorial boards for the Notre Dame Journal of Formal Logic, the Journal of Automated Reasoning, Logic and Analysis, and the Journal of Formalized Reasoning, and on the advisory board for the Review of Symbolic Logic. All are fine publications with laudable emphases and goals. The last three are new, and the JAR has a new format. So please consider submitting!
In the Spring of 2007, I co-taught a seminar, Practical Decision Procedures, with Ed Clarke.
In the Summers of 2007 and 2008, I taught a week-long workshop on Logic and Formal Verification, as part of the Carnegie Mellon Summer School in Logic and Formal Epistemology, for undergraduates.