Talk:Dana Scott/students

List of students

Berkeley

Positions held (dates?):

1. Assistant Professor of Mathematics, University of California, Berkeley
2. Associate Professor of Mathematics, University of California, Berkeley

Students:

1. James Halpern, University of California, Berkeley 1962
2. E.G.K. Lopez-Escobar, U.C. Berkeley, 1965 [Math]
3. Peter Perkins, U.C. Berkeley, 1966 [Math]
4. Peter H. Krauss, U.C. Berkeley, 1966 [Math]
5. Daniel Gallin, U.C. Berkeley, 1972 [Math]

Stanford

Positions

1. Associate Professor of Logic and Mathematics, Stanford University 1963-67
2. Professor of Logic and Mathematics, Stanford University 1967-69
3. Visiting Professor of Mathematics, University of Amsterdam 1968-69
4. Professor of Philosophy and Mathematics, Princeton University 1969-72

Students:

1. Nicolas D. Goodman, Stanford, 1968 [Phil]
2. Angus Macintyre, Stanford, 1968 [Math]
3. William C. Rounds, Stanford, 1968 [Math]
4. William Ogden, Stanford, 1968 [Math] (1969?)
5. Kenneth Kunen, Stanford, 1968 [Math]
6. Fred S. Roberts, Stanford, 1968 [Math]
7. Brian F. Chellas, Stanford, 1969 [Phil]
8. Richard B. Mansfield, Stanford, 1969 [Math]
9. Krister Segerberg, Stanford, 1971 [Phil]
10. William J. Meyer, Stanford, 1974 [Math]
11. Shun-On Adrian Tang, Princeton, 1974 [Math]

Oxford

Students:

1. Roy Dyckhoff [1], University of Oxford 1974
2. David Turner (computer scientist) University of Oxford 1981
3. Michael P. Fourman, Oxford, 1974 [Math]
4. Michael Katz, Oxford, 1976 [Math]
5. Jay David Atlas, Princeton, 1976 [Phil]
6. Martin Kinsey Davies [2], Oxford, 1977 [Phil]
7. Robin John Grayson, July, 1978 [Phil]
8. William Bragg Ewald, Oxford, 1978 [Phil]
9. John Cartmell, Oxford, 1979 [Math]
10. Brian J. Copeland, Oxford, 1979 [Phil]
11. Michael B. Smyth, Oxford, 1980 [Math]
12. Joseph E. Quinsey, Oxford, 1980 [Math]
13. Stephen R. Blamey, Oxford, 1980 [Phil]
14. Marcus Giaquinto, Oxford, 1983 [Phil]
15. Joseph Almog, Oxford, 1983 [Phil]
16. Felipe Bracho, Oxford, 1984 [Math]
17. David Charles McCarty, Oxford, 1985 [Math]
18. Sidney C. Bailin, Oxford, 1986 [Math]
19. Giuseppe Rosolini, Oxford, 1986 [Math]

Carnegie Mellon

Positions

1. University Professor of Computer Science, Mathematical Logic, and Philosophy, Carnegie Mellon University 1981-03
2. Hillman Professor of Computer Science, Carnegie Mellon University 1989-03
3. Visiting O.Univ.Prof. Math., Universitaets Linz 1992-93
4. Professor Emeritus July 2003

Students:

1. Ljubomir Perkovic Carnegie-Mellon University 1998
2. Carl Gunter [3], U. Wisconsin, 1985 [CSci]
3. Ketan Mulmuley, Carnegie Mellon, 1985 [CSci]
4. Vijay Anand Saraswat [4], Carnegie Mellon, 1988 [CSci] (1989?)
5. Marko Petkovsek, Carnegie Mellon, 1991 [CSci]
6. Kim Ritter Wagner, Carnegie Mellon, 1994 [CSci]
7. J. Todd Wilson, Carnegie Mellon, 1994 [CSci]
8. Lars Birkedal [5], Carnegie Mellon, 1999 [CSci]
9. Andrej Bauer [6], Carnegie Mellon, 2000 [CSci]
10. Jesse Hughes, Carnegie Mellon, 2001 [Phil]

Resources

1. Scott's list of students
2. MGP