Carnegie Mellon University

Jeremy Avigad

Jeremy Avigad

Professor of Philosophy and Mathematical Sciences

Address 5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

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.

Research

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