达纳·斯科特（Dana Stewart Scott），1932年10月11日出生于美国加州伯克利，图灵奖得主，美国国家科学院院士，美国艺术与科学院院士，欧洲科学院院士，英国科学院院士，芬兰科学与文学院院士，纽约科学院院士，ACM fellow（美国计算机协会会士），卡内基梅隆大学名誉教授。

1932年10月11日，达纳·斯科特出生于美国加州伯克利。

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年，名誉退休。

达纳·斯科特与合作者迈克尔·拉宾（Michael Rabin）共同发表了论文《有限自动机和他们的决策问题》（Finite Automata and their Decision Problem），介绍了不确定性机器的概念，与标准图灵机不同，不确定性机器可以在程序的每一步执行几个不同的可能的“指令”，提出的不确定性机器的概念在研究领域被证明是有效的。他对程序属性和语言定义（通常被称为编程语言的语义或指称语义）也做出了贡献，与克里斯托弗·斯特雷奇（Christopher Strachey）合作，为编程语言的语义提供了数学基础，这种最初被称为斯科特-斯特雷奇语义的方法，已被证明是理论计算机科学中最有影响力的工作之一。他为编程语言，特别是函数式语言定义指称语义时，提出了等价空间理论，作为领域理论的替代，拓宽一个狭窄的理论学科，将阿尔弗雷德·塔斯基（Alfred Tarski）的早期工作扩展到应用于编程语言，以及建立在阿隆佐·邱奇（Alonzo Church）的lambda演算的基础上。

达纳·斯科特在逻辑方面的工作主要集中在模型论、自动机、集合论、模态和直觉逻辑、构造数学以及范畴论和逻辑之间的联系等领域。哲学兴趣涉及逻辑基础、数学哲学和自然语言的语义分析。计算机科学的工作方向是发展编程语言的指称语义和适当的可计算性理论的数学基础。致力于将语义方法与建设性的逻辑形式化统一起来，以便能够为正确程序的“推理”构造提供严格的和机器可实现的证明方法和开发工具，将领域类别与数学结构的传统类别结合起来，并研究由此产生的可计算性和类型论。

据2023年10月AMiner平台数据，达纳·斯科特已发表学术论文505篇，论文被引24129次，H-Index：59。

[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.

[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.

达纳·斯科特在奥地利林茨大学教授符号计算和逻辑课程。

据2023年10月美国计算机协会官网数据，达纳·斯科特在其学术生涯中指导了大约50名博士生和许多其他研究生项目。

达纳·斯科特于1968年至1969年担任阿姆斯特丹大学数学客座教授，1978年至1979年担任施乐帕洛阿尔托研究中心访问科学家，2001年春季担任瑞典米塔格-莱弗勒研究所客座教授，2003年秋季担任德国慕尼黑洪堡基金会高级访问科学家。

（达纳·斯科特）是一位国际公认的数学逻辑学家，他的工作跨越了计算机科学、数学和哲学（Dana Scott is an internationally recognized mathematical logician whose work has spanned computer science, mathematics, and philosophy）。（美国计算机协会评）

他（达纳·斯科特）对当代逻辑做出了根本性的贡献，并以创造“领域理论”而闻名（He has also made fundamental contributions to contemporary logic, and is known for his creation of domain theory）。（西蒙斯计算理论研究所评）