Welcome to my home page. 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. You can also read my CV.
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, and the Journal of Formalized Reasoning, and on the advisory board for the Review of Symbolic Logic. I am also the journal manager for a new online journal, the Journal of Logic and Analysis. All are fine publications with laudable emphases and goals, so please consider submitting to them!
With David Danks, I co-direct the Carnegie Mellon Summer School in Logic and Formal Epistemology, a three-week workshop for undergraduates. In the summers of 2007, 2008, and 2009, I taught a week-long workshop on Logic and Formal Verification.
I will be spending the 2009-2010 academic year visiting the INRIA / Microsoft Research Joint Centre in Orsay, working on formal verification with Georges Gonthier and Assia Mahboubi.