算法、语言及可验证理论——图灵奖获得者托尼·霍尔爵士采访记

• 作者: 张蜀
• 来源期刊: 程序员
• 学科: 工学
• 关键词: 程序设计语言 快速排序算法 图灵奖 获得者 验证 微软亚洲研究院 采访 计算机科学
• 年，卷（期）: 2009,（11）
• 页码范围: I0014-I0015
• 页数: 2页
• 分类号: TP312

摘要

2009年10月16日，我们在微软亚洲研究院遇到了前来参加2009微软亚洲研究院可验证软件研讨会的图灵奖获得者托尼·霍尔爵士。他在26岁发明的快速排序算法，可能全世界每天都有程序员正在使用。在他整个研究生涯中，从算法到语言，到新计算模型，几乎遍历了计算机科学中最重要的部分，并且在1980年因对程序设计语言的定义和设计所做的贡献而获得图灵奖。