达娜·斯科特（Dana Scott）

关于达娜·斯科特（Dana Scott）

达娜·斯科特（Dana Scott）是一位著名的数学家，逻辑学家和计算机科学家。他以制定非确定机器的概念和建立领域理论而闻名。斯科特的理论工作为许多领域做出了重大贡献，并且特别丰富了计算机科学。在他的整个职业生涯中，他获得了美国和欧洲大学的教授职位，奖学金和荣誉博士学位，并获得了A.M.1976年的图灵奖。斯科特参加了1950年的比赛。