Jeremy Avigad
Avigad in 2021
Born	(1968-01-09) January 9, 1968 (age 57) New York City
Era	Contemporary philosophy
Region	Western philosophy
School	Analytic
Doctoral advisor	Jack Silver
Main interests	Logic, philosophy of mathematics, proof theory, formal verification
Website	www.andrew.cmu.edu/user/avigad/

Jeremy Avigad is a professor of philosophy and a professor of mathematical sciences at Carnegie Mellon University.

He received a B.A. in mathematics from Harvard University in 1989, and a Ph.D. in mathematics from the University of California at Berkeley in 1995 under the supervision of Jack Silver.^[1] He has contributed to the areas of mathematical logic and foundations, formal verification and interactive theorem proving, and the philosophy and history of mathematics.^[2] He became Director of the Hoskinson Center for Formal Mathematics at Carnegie Mellon University after cryptocurrency entrepreneur Charles Hoskinson donated $20 million in September 2021 to establish it.^[3][4]

This biography of an American philosopher is a stub. You can help Wikipedia by expanding it.

• v
• t
• e