Julia Frandsen Knight is an American mathematician, specializing in

model theory In mathematical logic, model theory is the study of the relationship between theory (mathematical logic), formal theories (a collection of Sentence (mathematical logic), sentences in a formal language expressing statements about a Structure (mat ...

and

computability theory Computability theory, also known as recursion theory, is a branch of mathematical logic, computer science, and the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees. The field has since ex ...

.Faculty profile
Notre Dame, retrieved 2013-10-16. She is the Charles L. Huisking Professor of Mathematics at the

University of Notre Dame The University of Notre Dame du Lac (known simply as Notre Dame; ; ND) is a Private university, private Catholic research university in Notre Dame, Indiana, United States. Founded in 1842 by members of the Congregation of Holy Cross, a Cathol ...

and director of the graduate program in mathematics there.Julia Knight – Named professorships and directorships at Notre Dame
, retrieved 2013-10-16.

Education

Knight did her undergraduate studies at

Utah State University Utah State University (USU or Utah State) is a public university, public land grant colleges, land-grant research university with its main campus in Logan, Utah, United States. Founded in 1888 under the Morrill Land-Grant Acts as Utah's federal ...

, graduating in 1964, and earned her Ph.D. from the

University of California, Berkeley The University of California, Berkeley (UC Berkeley, Berkeley, Cal, or California), is a Public university, public Land-grant university, land-grant research university in Berkeley, California, United States. Founded in 1868 and named after t ...

in 1972 under the supervision of

Robert Lawson Vaught Robert Lawson Vaught (April 4, 1926 – April 2, 2002) was a mathematical logician and one of the founders of model theory.

Honors and awards

In 2012, she became a

fellow A fellow is a title and form of address for distinguished, learned, or skilled individuals in academia, medicine, research, and industry. The exact meaning of the term differs in each field. In learned society, learned or professional society, p ...

of the

American Mathematical Society The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, ...

and she was elected to be the 30th president of the

Association for Symbolic Logic The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Curt John Ducasse. The current president of the ASL ...

. She was named MSRI Simons Professor for Fall 2020. In 2014, Knight held the

Gödel Lecture The Gödel Lecture is an honor in mathematical logic given by the Association for Symbolic Logic, associated with an annual lecture at the association's general meeting. The award is named after Kurt Gödel and has been given annually since 1990. ...

, titled ''Computable structure theory and formulas of special forms.''

References

Year of birth missing (living people) Living people 20th-century American mathematicians 21st-century American mathematicians Utah State University alumni University of California, Berkeley alumni University of Notre Dame faculty Model theorists Fellows of the American Mathematical Society 20th-century American women mathematicians 21st-century American women mathematicians {{US-mathematician-stub