ジュリア・F・ナイト

ジュリア・F・ナイト、2012年

ジュリア・フランセン・ナイトはアメリカの数学者であり、モデル理論と計算可能性理論を専門としている。^{[ 1 ]}彼女はノートルダム大学のチャールズ・L・ハイスキング数学教授であり、同大学の数学大学院プログラムのディレクターである。^{[ 2 ]}

教育

ナイトはユタ州立大学で学士課程を修了し、1964年に卒業し、 1972年にカリフォルニア大学バークレー校でロバート・ローソン・ヴォートの指導の下で博士号を取得した。^{[ 1 ] [ 3 ]}

栄誉と賞

2012年にアメリカ数学会のフェローとなり^{[ 4 ]} 、記号論理学会の第30代会長に選出された^{[ 5 ]}。 2020年秋にはMSRIシモンズ教授に任命された^{[ 6 ]。}

2014年、ナイトは「計算可能な構造理論と特殊形式の公式」と題するゲーデル講演会を開催した。

参考文献

1. Faculty profile、ノートルダム大学、2013年10月16日閲覧。
2. Julia Knight – Named professorships and directorships at Notre Dame Archived 2013-10-17 at the Wayback Machine、2013-10-16取得。
3. 数学系譜プロジェクトのジュリア・F・ナイト
4. AMSフェロー一覧、2013年10月16日閲覧。
5. ASLニュースレター、2019年1月。
6. MSRI. 「数学科学研究所」 . www.msri.org . 2021年6月7日閲覧。