Alter | 58 Jahre |
Beruf | Informatiker, Mathematiker, Philosoph |
Geburtsdatum | Dienstag, 09. Januar 1968 |
Geburtsort | New York City |
Sternzeichen | |
Beschreibung | Jeremy Avigad ist Professor für Philosophie an der Carnegie Mellon University. Er erwarb einen B.A. in Mathematik von der Harvard University im Jahr 1989 und einen Ph.D. in Mathematik von der University of California, Berkeley, im Jahr 1995 unter der Betreuung von Jack Silver. Er hat Beiträge zu den Bereichen mathematische Logik und Grundlagen, formale Verifikation und interaktive Theorembeweiser sowie Philosophie und Geschichte der Mathematik geleistet. Er wurde im September 2021 zum Direktor des Hoskinson Center for Formal Mathematics an der Carnegie Mellon University ernannt, nachdem Charles Hoskinson 20 Millionen Dollar gespendet hatte, um es zu gründen. |
