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

摘要

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