Julia F. Knight

Julia Frandsen Knight is an American mathematician, specializing in model theory and computability theory.[1] She is the Charles L. Huisking Professor of Mathematics at the University of Notre Dame and director of the graduate program in mathematics there.[2]

Julia F. Knight, 2012

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.[1][3]

Honors and awards

In 2012, she became a fellow of the American Mathematical Society[4] and she was elected to be the 30th president of the Association for Symbolic Logic.[5] She was named MSRI Simons Professor for Fall 2020.[6]

In 2014, Knight held the Gödel Lecture, titled Computable structure theory and formulas of special forms.

References


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.