Dana Scott#
| Membership Number: | 1226 |
| Membership type: | FOREIGN |
| Section: | INFORMATICS |
| Elected: | 1992 |
| Main Country of Residence: | UNITED STATES |
| Homepage(s): | http://www.cs.cmu.edu/~scott |
Present and Previous Positions
- July 2003 Professor Emeritus
- 1992 - 1993 Visiting Univ.Prof. Math, Universitaets Linz
- 1989 - 2003 Hillman Professor of Computer Science, Carnegie Mellon University
- 1981 - 2003 University Professor of Computer Science, Mathematical Logic, and Philosophy, Carnegie Mellon University
- 1972 - 1981 Professor of Mathematical Logic, Oxford University
- 1967 - 1969 Professor of Mathematical Logic, Oxford University
- 1963 - 1967 Professor of Philosophy and Mathematics, Princeton University
- 1962 - 1963 Visiting Professor of Mathematics, University of Amsterdam
- 1962 - 1963 Associate Professor of Mathematics, University of California, Berkeley
- 1960 - 1962 Professor of Logic and Mathematics, Stanford University
- 1960 - 1962 Assistant Professor of Mathematics, University of California, Berkeley
- 1958 - 1960 Instructor, University of Chicago
- 1958 - 1960 Associate Professor of Logic and Mathematics, Stanford University
Fields of Scholarship
- Automata theory
- Semantics of programming languages
- Modal logic
- Topology
- Category theory
Honours and Awards
- 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 - 1979 Visiting Scientist, Xerox Palo Alto Research Center
- 1978 - 1979 Guggenheim Foundation Fellow
- 1972 - 1981 Professorial Fellow, Merton College, Oxford
- 1963 - 1965 Alfred P. Sloan Research Fellow
- 1960 - 1961 Miller Institute Fellow, University of California, Berkeley
- 1956 - 1957 Bell Telephone Fellow, Princeton University
- 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
