ジュリア・F・ナイト

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

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

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

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