Dana Stewart Scott
Original record- Institution
- Princeton University
- Year
- 1958
- Country
- United States
- MGP identifier
- 8024
Dissertation: Convergent Sequences of Complete Theories
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Alonzo ChurchPrinceton University · 1927
Students 52
| Name | Institution | Year | Students |
|---|---|---|---|
| Joseph Almog | University of Oxford | 1983 | 0 |
| Jay David Atlas | Princeton University | 1976 | 1 |
| Sidney C. Bailin | University of Oxford | 1986 | 0 |
| K. Jon (Kenneth) Barwise | Stanford University | 1967 | 12 |
| Andrej Bauer | Carnegie Mellon University | 2000 | 5 |
| Lars Birkedal | Carnegie Mellon University | 1999 | 25 |
| Stephen R. Blamey | University of Oxford | 1980 | 0 |
| Felipe Bracho | University of Oxford | 1983 | 0 |
| Christopher Carlson | Carnegie Mellon University | 1993 | 0 |
| John Cartmell | University of Oxford | 1978 | 0 |
| Brian Farrell Chellas | Stanford University | 1969 | 0 |
| John Copeland | University of Oxford | 1979 | 0 |
| Martin K. Davies | University of Oxford | 1977 | 0 |
| Daniel B. Demaree | University of California, Berkeley | 1970 | 0 |
| Kosta Došen | Not recorded | — | 5 |
| Roy Dyckhoff | Not recorded | — | 9 |
| William Bragg Ewald | University of Oxford | 1978 | 0 |
| Michael Paul Fourman | Not recorded | — | 4 |
| Daniel Gallin | University of California, Berkeley | 1972 | 0 |
| Marcus Giaquinto | University of Oxford | 1980 | 1 |
| Nicolas Daniels Goodman | Stanford University | 1968 | 2 |
| Robin John Grayson | University of Oxford | 1978 | 0 |
| Carl Allen Gunter | University of Wisconsin-Madison | 1985 | 5 |
| James Daniel Halpern | University of California, Berkeley | 1962 | 4 |
| Jeff Heisserman | Carnegie Mellon University | 1991 | 0 |
| Jesse Hughes | Carnegie Mellon University | 2001 | 0 |
| Michael Katz | University of Oxford | 1976 | 3 |
| Peter Holger Krauss | University of California, Berkeley | 1966 | 1 |
| Kenneth Kunen | Stanford University | 1968 | 31 |
| Edgar George Kenneth Lopez-Escobar | University of California, Berkeley | 1965 | 2 |
| Angus John Macintyre | Stanford University | 1968 | 22 |
| Richard Beech Mansfield | Stanford University | 1970 | 1 |
| David Charles McCarty | University of Oxford | 1984 | 2 |
| William James Meyers | Stanford University | 1974 | 0 |
| Ketan Mulmuley | Carnegie Mellon University | 1985 | 2 |
| John L. Mumma | Carnegie Mellon University | 2006 | 0 |
| William Frederick Ogden | Stanford University | 1969 | 1 |
| Peter Perkins | University of California, Berkeley | 1966 | 0 |
| Ljubomir Perkovic | Carnegie Mellon University | 1998 | 0 |
| Marko Petkovsek | Carnegie Mellon University | 1991 | 1 |
| Joseph E. Quinsey | Not recorded | — | 0 |
| Sridhar Ramesh | University of California, Berkeley | 2023 | 0 |
| Fred Stephen Roberts | Stanford University | 1968 | 17 |
| Giuseppe Rosolini | University of Oxford | 1986 | 10 |
| William Chesley Rounds | Stanford University | 1968 | 7 |
| Vijay Saraswat | Carnegie Mellon University | 1989 | 0 |
| K. Krister (Karl) Segerberg | Stanford University | 1971 | 1 |
| Michael B. Smyth | University of Oxford | 1979 | 2 |
| Shun-On Adrian Tang | Princeton University | 1974 | 0 |
| David A. Turner | Not recorded | — | 3 |
| Kim Ritter Wagner | Carnegie Mellon University | 1994 | 0 |
| J. Todd Wilson | Carnegie Mellon University | 1994 | 0 |