知识
美国著名计算机科学家达纳·斯科特因其在计算机科学领域中具有里程碑意义的贡献，在1976年被授予了象征计算机科学界最高荣誉的图灵奖。斯科特教授以其深邃的洞察力和创新思维，不仅为逻辑程序设计语言的发展奠定了坚实基础，还在并发计算理论方面做出了开创性工作。
达纳·斯科特（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年名誉退休。
达纳·斯科特致力于有限自动机理论的研究。
1931年9月1日，迈克尔·拉宾出生于德国布雷斯劳（今波兰弗罗茨瓦夫）。
1947年，应征入伍，为以色列国的独立而战。
1953年，获得希伯来大学数学硕士学位。
1957年，获得普林斯顿大学数学博士学位，师从阿朗佐·丘奇（Alonzo Church ）。
1958年，担任普林斯顿高等研究所研究人员。
1958年—1965年，历任耶路撒冷希伯来大学高级讲师、副教授、教授。
1964年—1966年，担任希伯来大学数学研究所所长。
1970年—1971年，担任希伯来大学任计算机科学系系主任。
1972年—1975年，担任希伯来大学教务主任。
1975年，当选为美国艺术与科学院院士。
1976年，获得图灵奖。
1976年—1980年，担任希伯来大学校长讲席教授。
1980年—1999年，担任希伯来大学爱因斯坦讲席教授。
1981年—1983年，担任哈佛大学戈登·麦凯计算机科学教授。
1982年，当选为以色列科学院与人文科学院院士。
1983年，被聘为哈佛大学托马斯·j·沃森计算机科学教授。
1984年，当选为美国国家科学院外籍院士。
1988年，当选为美国哲学学会外籍会士。
1990年—2003年，担任国际科学史与科学哲学联盟（IUHPS）逻辑、方法论和科学哲学协会会长。
2007年，当选为欧洲科学院院士，同年当选为英国皇家学会外籍院士。
2009年，当选为国际密码研究协会会士（IACR fellow）。
2020年，当选为美国计算机协会会士（ACM fellow）。
斯科特1932年10月11日生于美国加利福尼亚州，在加州大学伯克利分校获得学士学位以后，进入普林斯顿大学研究生院学习，与迈克尔·拉宾一起师从阿隆索·邱奇，1958年取得博士学位。
他先后在芝加哥大学、加州大学伯克利分校、斯坦福大学、荷兰的阿姆斯特丹大学、普林斯顿大学和英国牛津大学等学府任教。1981年被卡内基梅隆大学聘为计算机科学、数理逻辑和哲学教授。
1959年，拉宾和达纳·斯科特共同发表了“有限自动机与其判定性问题”（Finite Automata and Their Decision Problems）的论文，提出了非确定自动机的观点。他们也因此获得了1976年的图灵奖，并做“逻辑与程序设计语言”（logic and Programming Language）的演讲。图灵奖的引文是：因他们的合著论文“有限自动机与其判定性问题”。论文中引入了非确定自动机的概念，被证明是（计算理论科学研究中的）一个非常重要的概念。拉宾和斯科特的这篇经典论文成为了这个领域后续研究的源泉。
文明上网，理性发言，共同做网络文明传播者