Julia Frandsen Knight es una matemática estadounidense, especializada en teoría de modelos y teoría de la computabilidad . [1] Es profesora Charles L. Huisking de Matemáticas en la Universidad de Notre Dame y directora del programa de posgrado en matemáticas allí. [2]
Knight hizo sus estudios universitarios en la Universidad Estatal de Utah , donde se graduó en 1964 y obtuvo su doctorado. de la Universidad de California, Berkeley en 1972 bajo la supervisión de Robert Lawson Vaught . [1] [3]
En 2012, se convirtió en miembro de la Sociedad Estadounidense de Matemáticas [4] y fue elegida presidenta número 30 de la Asociación de Lógica Simbólica . [5] Fue nombrada profesora MSRI Simons para el otoño de 2020. [6]
En 2014, Knight impartió la Conferencia Gödel , titulada Teoría de estructuras computables y fórmulas de formas especiales.