Jeremy Avigad arrived at Carnegie Mellon University to serve as a professor of philosophy and mathematical sciences, bridging the gap between rigorous proof and computational logic. His research explores the intersection of formal verification, interactive theorem proving, and the history of mathematics, addressing how contemporary computational methods influence the structural development of mathematical arguments.
Academic Foundations
Born in New York City in 1968, Avigad pursued his undergraduate studies at Harvard University, where he earned a B.A. in mathematics in 1989. He continued his academic training at the University of California, Berkeley, completing a Ph.D. in mathematics in 1995. His doctoral research was conducted under the supervision of Jack Silver.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →Institutional Contributions
Avigad holds a dual professorship at Carnegie Mellon University in the departments of philosophy and mathematical sciences. His work focuses on mathematical logic, the foundations of mathematics, and the evolving nature of computational verification. These areas address how modern mathematics relies on machine assistance to manage increasingly complex, lengthy proofs that often span thousands of pages.
Hoskinson Center Leadership
In September 2021, entrepreneur Charles Hoskinson provided a $20 million donation to establish the Hoskinson Center for Formal Mathematics at Carnegie Mellon University. Avigad serves as the director of this center, which prioritizes the advancement of formal verification methods. This initiative represents an effort to standardize how mathematical results are verified, documented, and utilized within the broader scientific community.
Fast facts
- Born: 1968, New York City
- Citizenship: United States
- Undergraduate Education: Harvard University
- Doctoral Institution: University of California, Berkeley
- Current Employer: Carnegie Mellon University
- Role: Director of the Hoskinson Center for Formal Mathematics
Questions readers ask
What is the primary focus of Jeremy Avigad's research?
He specializes in mathematical logic, the foundations of mathematics, formal verification, and interactive theorem proving.
Who supervised Jeremy Avigad during his doctoral studies?
His Ph.D. in mathematics was completed under the supervision of Jack Silver.
Achievements
- Held posts at Carnegie Mellon University
- Fields: computer science
