About Julia F. Knight
Born 1940. Julia F. Knight is an American mathematician, university teacher and logician.
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.
Education 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.
Honors and awards 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. She was named MSRI Simons Professor for Fall 2020.
In 2014, Knight held the Gödel Lecture, titled Computable structure theory and formulas of special forms.
Don’t just read it —
keep it.
Full-length biographies made to live with: read them, listen on the way to work, watch them tonight.
- E-book
- Audio
- Video
Instant download · yours to keep · every purchase keeps this site free
Important facts
People in Julia F. Knight's life
Named in this biography and alive at the same time
Related people
Same field, nearest in time
Contemporaries
People whose lives overlapped Julia F. Knight's
Frequently asked questions
Who is Julia F. Knight?
American mathematician
When was Julia F. Knight born?
Julia F. Knight was born in 1940.
What is Julia F. Knight's occupation?
Julia F. Knight is a mathematician, university teacher and logician.
What nationality is Julia F. Knight?
Julia F. Knight is American.
Sources & further reading
Cite this page
APA: Biography.guide. (2026). Julia F. Knight. https://biography.guide/julia-f-knight/
MLA: "Julia F. Knight." Biography.guide, https://biography.guide/julia-f-knight/.
Chicago: "Julia F. Knight." Biography.guide. https://biography.guide/julia-f-knight/.
Data last updated: 2026-09-22 · Spot an error? Report a correction.
Portrait: Wikimedia Commons · author & licence
Page generated 2026-09-27 05:04 UTC