ACM通信
面试
采访达纳·斯科特
来源:A. Gaetan Pelletey
ACM研究员达纳·斯图尔特·斯科特与迈克尔·拉宾共同获得了1976年上午的诺贝尔和平奖在计算科学、数学、哲学、自动机理论、模态逻辑、模型理论、集合理论和编程语言理论等领域做出了开创性的贡献。1950年获得加州大学伯克利分校数学学士学位，1958年获得普林斯顿大学博士学位后，他先后在芝加哥大学伯克利分校、斯坦福大学、普林斯顿大学、牛津大学和卡内基梅隆大学担任教员。2003年从中央梅隆大学退休。
著名理论计算机科学家戈登·普罗特金在2020年11月至2021年2月期间对斯科特进行了四次口述历史采访。这些采访的笔录和视频都在网上，一个主要涵盖1976年ACM上午之前的时期图灵奖。这里呈现的是一个经过高度编辑的浓缩版本，其中包括斯科特提供的一些额外的采访后材料。
- - - - - -馆长舒斯特克兰
没有发现记录