ジェレミー・アヴィガド

ジェレミー・アヴィガドは、カーネギーメロン大学の哲学教授および数理科学教授である。

彼は1989年にハーバード大学で数学の学士号を、 1995年にジャック・シルバーの指導の下、カリフォルニア大学バークレー校で数学の博士号を取得しました。^{[ 1 ]}彼は数理論理学と基礎論、形式検証と対話型定理証明、数学の哲学と歴史 の分野に貢献してきました。^{[ 2 ]}彼は、暗号通貨起業家のチャールズ・ホスキンソンが2021年9月に2000万ドルを寄付して設立されたカーネギーメロン大学のホスキンソン形式数学センターの所長に就任しました。 ^{[ 3 ] [ 4 ]}