!!!Dana Scott
\\
%%(float:left;margin-left:20px;margin-right:30px;)
[{Image src='images (5).jpg' caption='' height='200' alt='Dana Scott'}]%%
[{AcadMemberDataPlugin}]
Homepage:%%(margin-left:23px;)         [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-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
*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
\\ \\

%%columns-900

%%coolborders-140-70
[{Image src='User/paper_content_pencil_48.png' width='48px' class='image_left'}]
[Curriculum Vitae |User/Scott_Dana/CV]
%%
----
%%coolborders-140-70
[{Image src='User/book_48.png' class='image_left'}]
[Publication list|User/Scott_Dana/Publications]
%%
----
%%coolborders-140-70
[{Image src='User/camera_noflash_48.png' width='48px' class='image_left'}]
[Highlights of my work and anecdotes|User/Scott_Dana/Highlight]
%%
----
%%coolborders-140-70
[{Image src='User/database_48.png' class='image_left'}]
[Other information|User/Scott_Dana/OtherInformation]
%%
%%

[{ALLOW view All}]
[{ALLOW edit dscott}]
[{ALLOW upload dscott}]

[{ALLOW comment All}]