List of students

edit

Berkeley

edit

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

edit

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

edit

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

edit

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

edit
  1. Scott's list of students
  2. MGP