-
达纳·斯科特 编辑
达纳·斯科特
达纳·斯科特（Dana Stewart Scott），1932年10月11日出生于美国加州伯克利，图灵奖得主，美国国家科学院院士，美国艺术与科学院院士，欧洲科学院院士，英国科学院院士，芬兰科学与文学院院士，纽约科学院院士，ACM fellow（美国计算机协会会士），卡内基梅隆大学名誉教授。达纳·斯科特于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年名誉退休。达纳·斯科特致力于有限自动机理论的研究。
中文名：达纳·斯科特
外文名：Dana Stewart Scott
国籍：美国
出生地：美国加州伯克利
出生日期：1932年10月11日
毕业院校：普林斯顿大学
职业：教育科研工作者
主要成就：1972年当选为美国艺术与科学院院士1976年当选为英国科学院院士1976年获得图灵奖1988年当选为美国国家科学院院士
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年，名誉退休。
达纳·斯科特" alt="
达纳·斯科特" src="https://bkimg.cdn.bcebos.com/pic/c75c10385343fbf2b2111c5c0b29dd8065380cd7210e?x-bce-process=image/format,f_auto/resize,m_lfit,limit_1,h_336"/> 达纳·斯科特
科研成就
科研综述
达纳·斯科特与合作者迈克尔·拉宾（Michael Rabin）共同发表了论文《有限自动机和他们的决策问题》（Finite Automata and their Decision Problem），介绍了不确定性机器的概念，与标准图灵机不同，不确定性机器可以在程序的每一步执行几个不同的可能的“指令”，提出的不确定性机器的概念在研究领域被证明是有效的。他对程序属性和语言定义（通常被称为编程语言的语义或指称语义）也做出了贡献，与克里斯托弗·斯特雷奇（Christopher Strachey）合作，为编程语言的语义提供了数学基础，这种最初被称为斯科特-斯特雷奇语义的方法，已被证明是理论计算机科学中最有影响力的工作之一。他为编程语言，特别是函数式语言定义指称语义时，提出了等价空间理论，作为领域理论的替代，拓宽一个狭窄的理论学科，将阿尔弗雷德·塔斯基（Alfred Tarski）的早期工作扩展到应用于编程语言，以及建立在阿隆佐·邱奇（Alonzo Church）的lambda演算的基础上。
达纳·斯科特在逻辑方面的工作主要集中在模型论、自动机、集合论、模态和直觉逻辑、构造数学以及范畴论和逻辑之间的联系等领域。哲学兴趣涉及逻辑基础、数学哲学和自然语言的语义分析。计算机科学的工作方向是发展编程语言的指称语义和适当的可计算性理论的数学基础。致力于将语义方法与建设性的逻辑形式化统一起来，以便能够为正确程序的“推理”构造提供严格的和机器可实现的证明方法和开发工具，将领域类别与数学结构的传统类别结合起来，并研究由此产生的可计算性和类型论。
学术论文
据2023年10月AMiner平台数据，达纳·斯科特已发表学术论文505篇，论文被引24129次，H-Index：59。
M. O. Rabin,D. Scott.Finite automata and their decision problems.Ibm Journal of Research and Development,1959.
G. Gierz,K. H. Hofmann,K. Keimel,J. D. Lawson,M. Mislove,D. S. Scott.Continuous Lattices and Domains.Studia logica,2003.
Dana S. Scott.Data Types as Lattices.SIAM Journal on Computing,1976.
Dana S. Scott.Domains for Denotational Semantics.International Colloquium on Automata, Languages and Programming （ICALP）,1982.
Dana Scott.Measurement structures and linear inequalities.Journal of Mathematical Psychology,1964.
人才培养
教授课程
达纳·斯科特在奥地利林茨大学教授符号计算和逻辑课程。
培养成果
据2023年10月美国计算机协会官网数据，达纳·斯科特在其学术生涯中指导了大约50名博士生和许多其他研究生项目。
学生姓名 | 毕业学校 | 毕业时间 |
|---|---|---|
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年 |
参考资料： | ||
荣誉表彰
获奖时间 | 荣誉表彰 |
|---|---|
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） |
参考资料： | |
他（达纳·斯科特）对当代逻辑做出了根本性的贡献，并以创造“领域理论”而闻名（He has also made fundamental contributions to contemporary logic, and is known for his creation of domain theory）。（西蒙斯计算理论研究所评）
1、本站所有文本、信息、视频文件等，仅代表本站观点或作者本人观点，请网友谨慎参考使用。
2、本站信息均为作者提供和网友推荐收集整理而来，仅供学习和研究使用。
3、对任何由于使用本站内容而引起的诉讼、纠纷，本站不承担任何责任。
4、如有侵犯你版权的，请来信（邮箱:baike52199@gmail.com）指出，核实后，本站将立即删除。
下一篇 罗伯特·弗洛伊德
上一篇 理查德·卫斯里·汉明
