Jeremy Avigad
Avigad in 2021
Born	(1968-01-09)January 9, 1968 (age 57) New York City
Education
Doctoral advisor	Jack Silver
Philosophical work
Era	Contemporary philosophy
Region	Western philosophy
School	Analytic
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 atCarnegie Mellon University.

He received a B.A. in mathematics fromHarvard University in 1989, and a Ph.D. in mathematics from theUniversity of California at Berkeley in 1995 under the supervision ofJack Silver.^[1] He has contributed to the areas ofmathematical logic andfoundations,formal verification andinteractive theorem proving, and thephilosophy andhistory of mathematics.^[2] He became Director of the Hoskinson Center for Formal Mathematics atCarnegie Mellon University after cryptocurrency entrepreneurCharles Hoskinson donated $20 million in September 2021 to establish it.^[3][4]

This biography of an American philosopher is astub. You can help Wikipedia byexpanding it.

• v
• t
• e

• 20th-century American mathematicians
• 21st-century American mathematicians
• American logicians
• Living people
• American philosophers of mathematics
• Carnegie Mellon University faculty
• Harvard College alumni
• 1968 births
• UC Berkeley College of Letters and Science alumni
• American philosopher stubs

• Articles with short description
• Short description is different from Wikidata
• Use mdy dates from July 2025
• Articles with hCards
• All stub articles