Джереми Авигад — профессор философии и профессор математических наук в Университете Карнеги — Меллона .
Он получил степень бакалавра по математике в Гарвардском университете в 1989 году и степень доктора философии по математике в Калифорнийском университете в Беркли в 1995 году под руководством Джека Сильвера . [1] Он внес вклад в области математической логики и основ , формальной верификации и интерактивного доказательства теорем , а также философии и истории математики . [2] Он стал директором Центра формальной математики Хоскинсона в Университете Карнеги — Меллона после того, как криптовалютный предприниматель Чарльз Хоскинсон пожертвовал 20 миллионов долларов в сентябре 2021 года на его создание. [3] [4]
...сказал доктор Авигад, который является директором Центра формальной математики Хоскинсона (финансируемого криптовалютным предпринимателем Чарльзом Хоскинсоном)...