达纳·斯科特

达纳·斯科特，全文达娜·斯图尔特·斯科特(生于1932年10月11日，加州大学伯克利分校他是美国数学家、逻辑学家和计算机科学家，1976年诺贝尔奖得主之一点图灵奖的最高荣誉计算机科学．斯科特和以色列裔美国数学家和计算机科学家迈克尔·o·拉宾是引用他们的早期联合论文《有限自动机及其决策问题》将不确定性机器的思想引入了计算机领域自动机理论以及他们随后的独立工作。

斯科特获得了学士学位(1954)数学从加州大学1958年获得数学博士学位普林斯顿大学．他的学术生涯开始于芝加哥大学(1958-60)，随后是加州大学伯克利分校(1960-63)，斯坦福大学(1963-69)，普林斯顿大学(1969-72)，以及牛津大学(1972 - 81)。1981年，他加入了卡内基梅隆大学第二年，他成为希尔曼大学数学逻辑学、计算机科学和哲学教授。2003年，斯科特以名誉教授的身份退休。

斯科特在卡耐基梅隆大学(Carnegie Mellon)的最后一份工作，让人隐约看到了这一非凡成就多样性他的学术兴趣。除了贡献他的开创性的研究自动机理论，斯科特合作在20世纪70年代，他与英国计算机科学家克里斯托弗·斯特雷奇(Christopher Strachey)一起奠定了数学(或表意)语义的基础计算机程序设计语言．这项工作的结果导致斯科特引入了域理论，特别是为λ微积分或lambda微积分(1936年由美国逻辑学家发明的正式数学逻辑系统)提供了数学模型西德尼教堂)，以及许多其他相关理论。斯科特是第一任主编计算机科学中的逻辑方法这是一家成立于2005年的在线开放获取期刊。

斯科特被选为美国科学促进会,美国艺术与科学学院和美国。美国国家科学院．他获得的奖项包括1972年美国数学学会的LeRoy P. Steele奖，1997年美国数学学会逻辑和哲学的Rolf Shock奖瑞典皇家科学院2009年的金牌来自俄罗斯科学院．