Julia Knight
Pour les articles homonymes, voir Knight.
| Présidente Association for Symbolic Logic |
|---|
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse | |
| Distinctions |
Julia Knight (née Frandsen) est une mathématicienne américaine spécialisée en logique mathématique, professeure de mathématiques à l'université Notre-Dame-du-Lac.
Biographie
Knight est originaire de Logan dans l'Utah. Elle a étudié à l'université d'État de l'Utah, où elle obtient son diplôme de Bachelor en 1964 puis son doctorat en 1972, à l'université de Californie à Berkeley, sous la supervision de Robert Lawson Vaught avec une thèse intitulée Some Problems in Model Theory[1]. Elle est, depuis 1977, professeure à l'université Notre-Dame-du-Lac. Elle est titulaire de la chaire Charles L. Huisking de mathématiques[2].
Knight traite de théorie des modèles et de théorie de la calculabilité.
Elle est mariée depuis 1967 avec William Knight, professeur d'informatique à l'université d'Indiana, à South Bend[3] et ils ont un fils.
Prix et distinctions
En 2014, elle est sélectionnée comme Gödel Lecturer, puis en 2015 Tarski Lecturer. En 2012, elle est membre de l'American Mathematical Society[4].
Publications
- avec Christopher John Ash: Computable structures and the hyperarithmetical hierarchy, Studies in Logic and the Foundations of Mathematics, no 144, North-Holland 2000.
Liens externes
Notes et références
- (en) « Julia Knight », sur le site du Mathematics Genealogy Project
- Julia Knight – Named professorships and directorships at Notre Dame, consulté le .
- Page d'accueil de William Knight
- Liste des fellows de l'AMS.
