Tony Hoare
英国计算机科学家，图灵奖得主，以提出CSP（通信顺序进程）理论和快速排序算法著称，对并发编程理论有深远影响。
核心事实
时间轴 (近 90 天)
Tony Hoare于今年3月去世
Tony Hoare于1934年1月11日出生于今天的斯里兰卡，1952年进入牛津默顿学院
Tony Hoare在Elliott Brothers期间说服公司采用ALGOL 60而非自研语言
Tony Hoare发明了快速排序（Quicksort）和QuickSelect算法
Tony Hoare获得了图灵奖，并因对教育和计算机科学的贡献被授予爵位
Tony Hoare于1965年引入了空引用（null reference）
Tony Hoare在2009年QCon演讲中称空引用是他的"十亿美元错误"，估计在过去40年造成约十亿美元损失
空引用是在为面向对象语言ALGOL W设计引用类型系统时引入的
Tony Hoare是1980年图灵奖获得者、快速排序算法的发明者、CSP并发模型的提出者以及霍尔逻辑的创建者
Go语言的并发模型基于CSP理论，由Tony Hoare在1978年提出，核心思想是通过消息传递而非共享内存协调并发进程
全部知识事实 (11)
Go的并发模型基于CSP（通信顺序进程）理论，由计算机科学家Tony Hoare于1978年提出
80%待验证Tony Hoare于1965年引入了空引用（null reference）
50%待验证空引用是在为面向对象语言ALGOL W设计引用类型系统时引入的
50%待验证Tony Hoare于1934年1月11日出生于今天的斯里兰卡，1952年进入牛津默顿学院
50%待验证Tony Hoare在Elliott Brothers期间说服公司采用ALGOL 60而非自研语言
50%待验证Tony Hoare发明了快速排序（Quicksort）和QuickSelect算法
50%待验证Tony Hoare获得了图灵奖，并因对教育和计算机科学的贡献被授予爵位
50%待验证Tony Hoare在2009年QCon演讲中称空引用是他的"十亿美元错误"，估计在过去40年造成约十亿美元损失
50%待验证Tony Hoare是1980年图灵奖获得者、快速排序算法的发明者、CSP并发模型的提出者以及霍尔逻辑的创建者
50%待验证Go语言的并发模型基于CSP理论，由Tony Hoare在1978年提出，核心思想是通过消息传递而非共享内存协调并发进程
50%待验证Tony Hoare于今年3月去世
50%