WikiDer > Dana Scott
Dana S. Scott | ||
 | ||
| Persönliche Informationen | ||
| Vollständiger Name | Dana Stewart Scott | |
| Geburtsdatum | 11. Oktober1932 | |
| Wissenschaftliche Arbeit | ||
| Disziplin | Informatik, Mathematik, Philosophie | |
| Bekannt aus | Semantik von Programmiersprachen | |
| Promoter | Alonzo-Kirche | |
| Offizielle Website | ||
Dana Stewart Scott (11. Oktober1932) ist ein amerikanischEmeritus Professor, der in der Informatik, Mathematik und Philosophie. Zusammen mit Michael Rabin er hat das 1976 bekommen Turing-Preis für ihre Arbeit im Bereich Automatentheorie. Er ist vor allem für seine Arbeiten zur Semantik von Programmiersprachen bekannt, mit denen er zusammengearbeitet hat Christopher Strachey durchgeführt.
Werdegang
1954 erhielt Scott seinen Bachelor-Abschluss in Mathematik in Math Berkeley. Er begann eine Doktorarbeit unter der Leitung von Alfred Tarskic, aber verschoben nach Princeton, und promovierte dort 1958 unter Alonzo-Kirche.
Anschließend bekam er eine Stelle als Lehrer an der Universität von Chicago. Während dieser Zeit schrieb er mit Michael Rabin den bahnbrechenden Artikel "Finite Automata and their Decision Probleme", in dem sie nichtdeterministische endliche Automaten einführten, die ein wichtiges Konzept innerhalb der Theoretische Informatik würde werden. Dafür wurden sie 1976 die Turing-Preis ausgezeichnet.
1960 nahm Scott eine Stelle als Assistenzprofessor in Berkeley an. In dieser Zeit arbeitete er unter anderem an: Modale Logik.
1963 wurde Scott Assistenzprofessor an der Logik und Mathematik im Stanford. 1967 wurde er Professor. Während seiner Zeit in Stanford lieferte er neue Beweise dafür, dass die Kontinuumshypothese ist unabhängig von den Axiomen der Mengenlehre, eine Aussage, die zuvor von gehalten wurde Paul Cohen wurde bewiesen. Nach einem kurzen Aufenthalt im Universität Amsterdam er war drei Jahre als Professor für Philosophie und Mathematik an der Princeton University tätig.
Von 1972 bis 1981 war er Professor für mathematische Logik an der Universität von Oxford. Während dieser Zeit legte er Christopher Strachey die Grundlagen der denotationalen Semantik von Programmiersprachen, für die er am bekanntesten wurde.
Von 1981 bis zu seinem emeritierter Status 2003 war er Professor für Informatik, mathematische Logik und Philosophie an der Carnegie Mellon Universität.