Julia Knight
Julia Frandsen Knight (* 1942 or 1943 as Julia Frandsen ) is an American mathematical logician , professor of mathematics at the University of Notre Dame .
Knight is from Logan, Utah . She graduated from Utah State University with a bachelor's degree in 1964 and received her PhD in 1972 from the University of California, Berkeley , with Robert Vaught ( Some Problems in Model Theory ). She has been a professor at the University of Notre Dame since 1977. There she is Charles L. Huisking Professor of Mathematics.
Knight deals with model theory and computability theory .
In 2014 she was selected as a Gödel Lecturer and in 2015 as a Tarski Lecturer . In 2012 she became a Fellow of the American Mathematical Society .
She has been married to William Knight, a computer science professor at Indiana University South Bend, since 1967 and has one son.
Fonts
- with Christopher John Ash: Computable structures and the hyperarithmetical hierarchy , Studies in Logic and the Foundations of Mathematics, Volume 144, North-Holland 2000
Web links
Individual evidence
- ↑ Julia Knight in the Mathematics Genealogy Project (English)
- ↑ Homepage of William Knight ( Memento of the original from October 8, 2015 in the Internet Archive ) Info: The archive link has been inserted automatically and has not yet been checked. Please check the original and archive link according to the instructions and then remove this notice.
personal data | |
---|---|
SURNAME | Knight, Julia |
ALTERNATIVE NAMES | Frandsen, Julia (maiden name); Frandsen Knight, Julia |
BRIEF DESCRIPTION | American logician |
DATE OF BIRTH | 20th century |