Dana S. Scott

Dana stewart scott

Dana S. Scott (2007) Kulcsadatok

Születés	1932. október 11 Berkeley, Kalifornia
Állampolgárság	Amerikai
Területek	informatika matematika
Intézmények	Kaliforniai Egyetem, Berkeley Stanford Egyetem Oxfordi Egyetem Carnegie-Mellon Egyetem
Kiképzés	Kaliforniai Egyetem, Berkeley (BA matematika 1954) Princeton Egyetem (Ph.D. 1958)
Felügyelő	Alonzo templom
PhD hallgatók	Jack Copeland Michael Fourman Kenneth Kunen Angus Macintyre Ketan Mulmuley Marko Petkovšek Fred S. Roberts David Turner
Híres	automatátelmélet , programozási nyelvek szemantikája
Díjak	Leroy P. Steele-díj (1972) Turing-díj (1976) Harold Pender-díj (1990) Schock-díj (1997) a Cseh Tudományos Akadémia Bolzano-érme (2001) EATCS-díj (2007) A Sobolev Intézet aranyérme (2009)
Webhely	személyes oldal

Dana Stewart Scott , született1932. október 11A Berkeley a kaliforniai , egy matematikus és számítógép-tudós amerikai .

Karrier

Dana Scott az automaták elméletének és a programozási nyelvek szemantikájának szakértője . Dolgozott modális logikában , topológiában és kategóriaelméletben is . Professzora Computer Science és matematika a Carnegie-Mellon University nyugdíjba vonulásáig, 2003-ban, azóta szolgált professzor emeritusa Carnegie-Mellon Egyetemen a Hillman Egyetem professzora Computer Science, Philosophy and Mathematical Logic . Az együttműködést a Christopher Strachey az 1970-es években alapozta meg a modern megközelítések a szemantika a programozási nyelvek .

Dana Scott karrierje során számos rangos díjat kapott:

1972: Leroy P. Steele-díj
1976: Turing-díj
1990: Harold Pender-díj
1991: Gödel előadó konferenciával A logikusokat gépekkel cserélik?
1997: Schock-díj
2001: Bolzano-érem a Cseh Tudományos Akadémián
2007: EATCS díjat a cikkéhez együttműködve Michael O. Rabin az elmélet automaták .
2009: Aranyérem a Szoboljev Intézettől.

Dana Scott egymás után:

1958-1960 tanár ( oktató ), Chicagói Egyetem
1960-1963 egyetemi adjunktus , majd matematika docens , a Berkeley-i Kaliforniai Egyetem
1963-1967 logikai és matematikai docens, Stanford Egyetem
1967-1969 logikai és matematikai professzor, Stanford Egyetem
1968-1969 matematika vendégprofesszor, Amszterdami Egyetem
1969-1972 a Princetoni Egyetem filozófia és matematika professzora
1972-1981 matematikai logika professzor, Oxfordi Egyetem
1981-2003 a Carnegie-Mellon Egyetem informatika professzora, a matematikai logika és a filozófia
1992-1993 matematika vendégprofesszor, Linzi Egyetem
1993 óta emeritus professzor