Julia F. Knight


Julia Frandsen Knight is an American mathematician, specializing in model theory and computability theory. She is the Charles L. Huisking Professor of Mathematics at the University of Notre Dame and director of the graduate program in mathematics there.
Knight did her undergraduate studies at Utah State University, graduating in 1964, and earned her Ph.D. from the University of California, Berkeley in 1972 under the supervision of Robert Lawson Vaught.
In 2012 she became a fellow of the American Mathematical Society and she was elected to be the 30th president of the Association for Symbolic Logic.