Dana S. Scott

Dana stewart scott

Dana S. Scott (2007) Nøgledata

Fødsel	11. oktober 1932 Berkeley, Californien
Nationalitet	amerikansk
Områder	datalogisk matematik
Institutioner	University of California ved Berkeley Stanford University Oxford University Carnegie-Mellon University
Uddannelse	University of California i Berkeley (BA matematik 1954) Princeton University (Ph.D.1958)
Tilsynsførende	Alonzo kirke
Ph.d.-studerende	Jack Copeland Michael Fourman Kenneth Kunen Angus Macintyre Ketan Mulmuley Marko Petkovšek Fred S. Roberts David Turner
Berømt for	automatteori , semantik i programmeringssprog
Priser	Leroy P. Steele-prisen (1972) Turing-prisen (1976) Harold Pender-prisen (1990) Schock-prisen (1997) Bolzano-medalje fra det tjekkiske videnskabsakademi (2001) EATCS-pris (2007) Guldmedalje fra Sobolev-instituttet (2009)
Websted	personlig side

Dana Stewart Scott , født den11. oktober 1932i Berkeley i Californien , er en matematiker og computerforsker amerikaner .

Karriere

Dana Scott er ekspert i automatteori og semantik i programmeringssprog . Han har også arbejdet inden for modalogik , topologi og kategoriteori . Professor i datalogi og matematik ved Carnegie-Mellon University indtil sin pensionering i 2003, han har siden været professor emeritus ved Carnegie-Mellon University som Hillman University professor i datalogi, filosofi og matematisk logik . Hans samarbejde med Christopher Strachey i 1970'erne lagde grundlaget for moderne tilgange til semantikken i programmeringssprog .

Dana Scott har modtaget flere prestigefyldte priser gennem hele sin karriere:

1972: Leroy P. Steele-prisen
1976: Turing-prisen
1990: Harold Pender Award
1991: Gödel-foredragsholder med en konference med titlen Vil logikere blive erstattet af maskiner?
1997: Schock-prisen
2001: Bolzano-medalje fra det tjekkiske videnskabsakademi
2007: EATCS-pris for sin artikel i samarbejde med Michael O. Rabin om teorien om automata .
2009: Guldmedalje fra Sobolev Institute.

Dana Scott har været successivt:

1958-1960 Lærer ( instruktør ), University of Chicago
1960-1963 Adjunkt , derefter lektor i matematik, University of California i Berkeley
1963-1967 Lektor i logik og matematik, Stanford University
1967-1969 Professor i logik og matematik, Stanford University
1968-1969 Gæsteprofessor i matematik, University of Amsterdam
1969-1972 Professor i filosofi og matematik, Princeton University
1972-1981 Professor i matematisk logik, University of Oxford
1981-2003 Professor i datalogi, matematisk logik og filosofi, Carnegie-Mellon University
1992-1993 Gæsteprofessor i matematik, University of Linz
siden 1993 emeritus professor