Dana S. Scott

Dana Stewart Scott

Dana S. Scott (2007) Schlüsseldaten

Geburt	11. Oktober 1932 Berkeley, Kalifornien
Staatsangehörigkeit	amerikanisch
Bereiche	Informatik Mathematik
Institutionen	Universität von Kalifornien an der Berkeley Stanford University Universität Oxford Carnegie-Mellon University
Ausbildung	Universität von Kalifornien in Berkeley (BA Mathematik 1954) Princeton University (Ph.D. 1958)
Supervisor	Alonzo Kirche
Doktoranden	Jack Copeland Michael Fourman Kenneth Kunen Angus Macintyre Ketan Mulmuley Marko Petkovšek Fred S. Roberts David Turner
Bekannt für	Automatentheorie , Semantik von Programmiersprachen
Auszeichnungen	Leroy P. Steele-Preis (1972) Turing-Preis (1976) Harold Pender-Preis (1990) Schock-Preis (1997) Bozen-Medaille der Tschechischen Akademie der Wissenschaften (2001) EATCS-Preis (2007) Goldmedaille des Sobolev-Instituts (2009)
Seite? ˅	persönliche Seite

Dana Stewart Scott , geboren am11. Oktober 1932in Berkeley in Kalifornien , ist Mathematiker und Informatiker Amerikaner .

Werdegang

Dana Scott ist eine Expertin für Automatentheorie und die Semantik von Programmiersprachen . Er hat auch in der Modallogik , Topologie und Kategorietheorie gearbeitet . Bis zu seiner Pensionierung im Jahr 2003 war er Professor für Informatik und Mathematik an der Carnegie-Mellon University und seitdem emeritierter Professor an der Carnegie-Mellon University als Professor für Informatik, Philosophie und mathematische Logik an der Hillman University . Seine Zusammenarbeit mit Christopher Strachey in den 1970er Jahren legte den Grundstein für moderne Ansätze zur Semantik von Programmiersprachen .

Dana Scott hat im Laufe ihrer Karriere mehrere renommierte Auszeichnungen erhalten:

1972: Leroy P. Steele-Preis
1976: Turing-Preis
1990: Harold Pender Award
1991: Gödel-Dozent mit einer Konferenz mit dem Titel Werden Logiker durch Maschinen ersetzt?
1997: Schockpreis
2001: Bozen-Medaille der Tschechischen Akademie der Wissenschaften
2007: EATCS-Preis für seinen Artikel in Zusammenarbeit mit Michael O. Rabin zur Theorie der Automaten .
2009: Goldmedaille des Sobolev-Instituts.

Dana Scott war nacheinander:

1958-1960 Lehrer ( Ausbilder ) an der Universität von Chicago
1960-1963 Assistenzprofessor , dann außerordentlicher Professor für Mathematik an der University of California in Berkeley
1963-1967 Außerordentlicher Professor für Logik und Mathematik an der Stanford University
1967-1969 Professor für Logik und Mathematik an der Stanford University
1968-1969 Gastprofessor für Mathematik an der Universität Amsterdam
1969-1972 Professor für Philosophie und Mathematik an der Princeton University
1972-1981 Professor für mathematische Logik an der Universität Oxford
1981-2003 Professor für Informatik, Mathematische Logik und Philosophie, Carnegie-Mellon University
1992-1993 Gastprofessor für Mathematik an der Universität Linz
seit 1993 emeritierter Professor