Jeremy Avigad
![Avigad in 2021](https://upload.wikimedia.org/wikipedia/commons/0/0e/Jeremy_Avigad_December_2021_%28cropped%29.jpg)
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. He has contributed to the areas of mathematical logic and foundations, formal verification and interactive theorem proving, and the philosophy and history of mathematics. 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. Provided by Wikipedia
1
Published: [2019]
Superior document: Title is part of eBook package: De Gruyter EBOOK PACKAGE COMPLETE 2019 English
Links: Get full text; Get full text; Cover
2
Published: [2022]
Superior document: Title is part of eBook package: De Gruyter Edinburgh University Press Backlist eBook-Package 2013-2000
Links: Get full text; Get full text; Cover