Jump to content

英文维基 | 中文维基 | 日文维基 | 草榴社区

Julia F. Knight

From Wikipedia, the free encyclopedia
Julia F. Knight, 2012

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]

Education

[edit]

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

[edit]

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

[edit]
  1. ^ a b Faculty profile, Notre Dame, retrieved 2013-10-16.
  2. ^ Julia Knight – Named professorships and directorships at Notre Dame Archived 2013-10-17 at the Wayback Machine, retrieved 2013-10-16.
  3. ^ Julia F. Knight at the Mathematics Genealogy Project
  4. ^ List of AMS Fellows, retrieved 2013-10-16.
  5. ^ ASL Newsletter, January 2019.
  6. ^ MSRI. "Mathematical Sciences Research Institute". www.msri.org. Retrieved 2021-06-07.