Dana Scott#


Dana Scott
Email:dana.scott 'at' cs.cmu.edu
Membership Number:1226
Membership type:FOREIGN
Main Country of Residence:UNITED STATES
Section:INFORMATICS
Username:dscott
Homepage: http://www.cs.cmu.edu/~scott





Present and Previous Positions
  • July 2003 Professor Emeritus
  • 1992-93 Visiting Univ.Prof. Math, Universitaets Linz
  • 1989-03 Hillman Professor of Computer Science, Carnegie Mellon University
  • 1981-03 University Professor of Computer Science, Mathematical Logic, and Philosophy, Carnegie Mellon University
  • 1972-81 Professor of Mathematical Logic, Oxford University
  • 1967-69 Professor of Mathematical Logic, Oxford University
  • 1963-67 Professor of Philosophy and Mathematics, Princeton University
  • 1962-63 Visiting Professor of Mathematics, University of Amsterdam
  • 1962-63 Associate Professor of Mathematics, University of California, Berkeley
  • 1960-62 Professor of Logic and Mathematics, Stanford University
  • 1960-62 Assistant Professor of Mathematics, University of California, Berkeley
  • 1958-60 Instructor, University of Chicago
  • 1958-60 Associate Professor of Logic and Mathematics, Stanford University


Fields of Scholarship
  • Academia Europaea
  • American Association for the Advancement of Science
  • American Academy of Arts and Sciences
  • Association for Computing Machinery
  • British Academy
  • Finnish Academy of Sciences and Letters
  • New York Academy of Sciences
  • U.S. National Academy of Sciences
  • 2003 Humbolt Stiftung Senior Visiting Scientst, Munich, Germany
  • 2001 Visiting Professor, Institut Mittag-Leffler, Sweden
  • 1978-79 Visiting Scientist, Xerox Palo Alto Research Center
  • 1978-79 Guggenheim Foundation Fellow
  • 1972-81 Professorial Fellow, Merton College, Oxford
  • 1963-65 Alfred P. Sloan Research Fellow
  • 1960-61 Miller Institute Fellow, University of California, Berkeley
  • 1956-57 Bell Telephone Fellow, Princeton University


Honours and Awards
  • 2001 Bolzano Medal for Merit in the Mathematical Sciences, Czech Academy of Sciences
  • 1997 Rolf Schock Prize in Logic and Philosophy Royal Swedish Academy of Sciences
  • 1990 Harold Pender Award University of Pennsylvania
  • 1976 Turing Award (with Michael Rabin), Association for Computing Machinery
  • 1972 LeRoy P. Steele Prize, American Mathematical Society


Imprint Privacy policy « This page (revision-10) was last updated on Monday, 25. February 2013, 15:35 by Kaiser Dana
  • operated by