文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。
图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称,”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 14 期。
本文来自 wiki:Dana Scott,翻译基于 腾讯交互翻译.
达纳·斯图尔特·斯科特(英语:Dana Stewart Scott,1932 年 10 月 11 日-),美国逻辑学家,现为卡内基梅隆大学希尔曼大学计算机科学、哲学和数理逻辑名誉教授。
他在 20 世纪 70 年代与 Christopher Strachey 的合作奠定了现代编程语言语义方法的基础。同时,他还从事模态逻辑,拓扑学和范畴理论的研究。
因在自动机理论方面的工作,斯科特获得了 1976 年的图灵奖。