Carnegie Mellon University
Dietrich College of Humanities and Social Sciences  ›  Department of Philosophy  ›  People  ›  Core Faculty  ›  Jeremy Avigad

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