Carnegie Mellon University

Jeremy Avigad

Jeremy Avigad

Professor of Philosophy and Mathematical Sciences

5000 Forbes Avenue
Pittsburgh, PA 15213


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.


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