複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/達納·斯科特/4005818
複製
複製成功

達納·斯科特

鎖定
達納·斯科特（Dana Stewart Scott），1932年10月11日出生於美國加州伯克利，圖靈獎得主，美國國家科學院院士，美國藝術與科學院院士，歐洲科學院院士，英國科學院院士，芬蘭科學與文學院院士，紐約科學院院士，ACM fellow（美國計算機協會會士），卡內基梅隆大學名譽教授。 [5-6] 
達納·斯科特於1954年獲得加州大學伯克利分校學士學位；1958年獲得普林斯頓大學博士學位；1958年至1960年擔任芝加哥大學教員；1960年至1962年擔任加州大學伯克利分校數學助理教授；1962年至1963年擔任斯坦福大學數學副教授；1963年至1967年擔任斯坦福大學邏輯與數學副教授；1969年至1972年擔任普林斯頓大學哲學和數學教授；1972年當選為美國藝術與科學院院士；1972年至1981年擔任牛津大學數理邏輯教授；1976年當選為英國科學院院士，同年獲得圖靈獎；1981年至1989年擔任卡內基梅隆大學計算機科學、數理邏輯和哲學教授；1988年當選為美國國家科學院院士；1989年至2003年擔任卡內基梅隆大學希爾曼計算機科學教授；1992年至1993年擔任奧地利林茨大學教授；1994年當選為ACM fellow（美國計算機協會會士）；2003年名譽退休。 [1-5] 
達納·斯科特致力於有限自動機理論的研究。 [7] 
中文名
達納·斯科特
外文名
Dana Stewart Scott
國    籍
美國
出生地
美國加州伯克利
出生日期
1932年10月11日
畢業院校
普林斯頓大學
職    業
教育科研工作者
主要成就
1972年當選為美國藝術與科學院院士
1976年當選為英國科學院院士
1976年獲得圖靈獎
1988年當選為美國國家科學院院士

目錄

  1. 1 人物經歷
  2. 2 主要成就
  3. ▪ 科研成就
  1. ▪ 人才培養
  2. ▪ 榮譽表彰
  3. 3 社會任職
  1. 4 人物評價

達納·斯科特人物經歷

1932年10月11日，達納·斯科特出生於美國加州伯克利。
1954年，獲得加州大學伯克利分校學士學位。
1958年，獲得普林斯頓大學博士學位。
1958年—1960年，擔任芝加哥大學教員。 [5] 
1960年—1962年，擔任加州大學伯克利分校數學助理教授。
1962年—1963年，擔任斯坦福大學數學副教授。
1963年—1967年，擔任斯坦福大學邏輯與數學副教授。
1969年—1972年，擔任普林斯頓大學哲學和數學教授。
1972年，當選為美國藝術與科學院院士。 [1] 
1972年—1981年，擔任牛津大學數理邏輯教授。 [5] 
1976年，當選為英國科學院院士，同年獲得圖靈獎。 [2] 
1981年—1989年，擔任卡內基梅隆大學計算機科學、數理邏輯和哲學教授。
1988年，當選為美國國家科學院院士。 [3] 
1989年—2003年，擔任卡內基梅隆大學希爾曼計算機科學教授。
1992年—1993年，擔任奧地利林茨大學教授。 [5] 
1994年，當選為ACM fellow（美國計算機協會會士）。 [4] 
2003年，名譽退休。 [5] 
達納·斯科特

達納·斯科特主要成就

達納·斯科特科研成就

  • 科研綜述
達納·斯科特與合作者邁克爾·拉賓（Michael Rabin）共同發表了論文《有限自動機和他們的決策問題》（Finite Automata and their Decision Problem），介紹了不確定性機器的概念，與標準圖靈機不同，不確定性機器可以在程序的每一步執行幾個不同的可能的“指令”，提出的不確定性機器的概念在研究領域被證明是有效的。他對程序屬性和語言定義（通常被稱為編程語言的語義或指稱語義）也做出了貢獻，與克里斯托弗·斯特雷奇（Christopher Strachey）合作，為編程語言的語義提供了數學基礎，這種最初被稱為斯科特-斯特雷奇語義的方法，已被證明是理論計算機科學中最有影響力的工作之一。他為編程語言，特別是函數式語言定義指稱語義時，提出了等價空間理論，作為領域理論的替代，拓寬一個狹窄的理論學科，將阿爾弗雷德·塔斯基（Alfred Tarski）的早期工作擴展到應用於編程語言，以及建立在阿隆佐·邱奇（Alonzo Church）的lambda演算的基礎上。 [5] 
達納·斯科特在邏輯方面的工作主要集中在模型論、自動機、集合論、模態和直覺邏輯、構造數學以及範疇論和邏輯之間的聯繫等領域。哲學興趣涉及邏輯基礎、數學哲學和自然語言的語義分析。計算機科學的工作方向是發展編程語言的指稱語義和適當的可計算性理論的數學基礎。致力於將語義方法與建設性的邏輯形式化統一起來，以便能夠為正確程序的“推理”構造提供嚴格的和機器可實現的證明方法和開發工具，將領域類別與數學結構的傳統類別結合起來，並研究由此產生的可計算性和類型論。 [3] 
  • 學術論文
據2023年10月AMiner平台數據，達納·斯科特已發表學術論文505篇，論文被引24129次，H-Index：59。 [9] 
[1]M. O. Rabin,D. Scott.Finite automata and their decision problems[J].Ibm Journal of Research and Development,1959.
[2]G. Gierz,K. H. Hofmann,K. Keimel,J. D. Lawson,M. Mislove,D. S. Scott.Continuous Lattices and Domains[J].Studia logica,2003.
[3]Dana S. Scott.Data Types as Lattices[J].SIAM Journal on Computing,1976. [9] 
[4]Dana S. Scott.Domains for Denotational Semantics[J].International Colloquium on Automata, Languages and Programming （ICALP）,1982.
[5]Dana Scott.Measurement structures and linear inequalities[J].Journal of Mathematical Psychology,1964. [9] 

達納·斯科特人才培養

  • 教授課程
達納·斯科特在奧地利林茨大學教授符號計算和邏輯課程。 [5]  [10] 
  • 培養成果
據2023年10月美國計算機協會官網數據，達納·斯科特在其學術生涯中指導了大約50名博士生和許多其他研究生項目。 [5] 
部分畢業博士生名單
學生姓名
畢業學校
畢業時間
E.G.K. Lopez-Escobar
加州大學伯克利分校
1965年
彼得·珀金斯（Peter Perkins）
加州大學伯克利分校
1966年
彼得·h·克勞斯（Peter H. Krauss）
加州大學伯克利分校
1966年
尼古拉斯·古德曼（Nicolas D. Goodman）
斯坦福大學
1968年
安格斯·麥金泰爾（Angus Macintyre）
斯坦福大學
1968年
威廉·朗茲（William C. Rounds）
斯坦福大學
1968年
威廉·奧格登（William Ogden）
斯坦福大學
1968年
肯尼斯·庫寧（Kenneth Kunen）
斯坦福大學
1968年
弗雷德·s·羅伯茨（Fred S. Roberts）
斯坦福大學
1968年
傑西·休斯（ Jesse Hughes）
卡內基梅隆大學
2001年
參考資料： [8] 

達納·斯科特榮譽表彰

獲獎時間
榮譽表彰
1972年
美國數學學會LeRoy P. Steele獎（LeRoy P. Steele Prize， American Mathematical Society）
1972年
美國藝術與科學院院士
1976年
美國計算機學會圖靈獎（ACM Turing Award）
1976年
英國科學院院士
1988年
美國國家科學院院士
1990年
賓夕法尼亞大學哈羅德·彭德獎（Harold Pender Award， University of Pennsylvania）
1997年
瑞典皇家科學院羅爾夫·肖克邏輯學與哲學獎（Rolf Schock Prize in Logic and Philosophy， Royal Swedish Academy of Sciences）
2001年
捷克科學院波爾扎諾數學科學功勳獎章（Bolzano Medal for Merit in the Mathematical Sciences， Czech Academy of Sciences）
2007年
歐洲理論計算機科學協會（EATCS）獎（European Association for Theoretical Computer Science （EATCS） Award）
2009年
俄羅斯科學院索博列夫數學研究所金獎（ Russian Academy of Science’s Sobolev Institute of Mathematics Gold Medal）
參考資料： [1-3]  [5] 

達納·斯科特社會任職

達納·斯科特於1968年至1969年擔任阿姆斯特丹大學數學客座教授，1978年至1979年擔任施樂帕洛阿爾託研究中心訪問科學家，2001年春季擔任瑞典米塔格-萊弗勒研究所客座教授，2003年秋季擔任德國慕尼黑洪堡基金會高級訪問科學家。 [5]  [10] 

達納·斯科特人物評價

（達納·斯科特）是一位國際公認的數學邏輯學家，他的工作跨越了計算機科學、數學和哲學（Dana Scott is an internationally recognized mathematical logician whose work has spanned computer science, mathematics, and philosophy）。（美國計算機協會評） [5] 
他（達納·斯科特）對當代邏輯做出了根本性的貢獻，並以創造“領域理論”而聞名（He has also made fundamental contributions to contemporary logic, and is known for his creation of domain theory）。（西蒙斯計算理論研究所評） [10] 
參考資料