你知道这些伟大的先驱吗？细说图灵奖获奖者（上）

1975年获奖，信息处理语言(IPL)发明者之一，并写了该语言最早的两个AI程序，合作开发了逻辑理论家(Logic Theorist 1956年)和通用问题求解器General Problem Solver。他和赫伯特·西蒙一起因人工智能方面的基础贡献而被授予图灵奖。

1975年图灵奖得主，在管理学上的第一个贡献是提出了管理的决策职能。

1976年，由于论文"有限自动机与它们的决策问题"，被证明具有巨大的价值。

1976年，由于论文"有限自动机与它们的决策问题"，被证明具有巨大的价值，与达纳·斯科特（Dana S. Scott）一起获奖。

1977年获奖，全世界第一套高阶语言（High-level Language）FORTRAN的发明小组组长。他提出了BNF（用来定义形式语言语法的记号法），发明Function-level programming这个概念及实践该概念的FP语言。

1978年获奖，由于在如何开发高效、可靠的软件方法论方面的贡献，这包括：建立分析理论、编程语言的语义学、自动程序检验、自动程序综合和算法分析在内的多项计算机子学科。

1979年获奖，开发了APL。因对数学表达式和编程语言理论的贡献而得到图灵奖。

1980年获奖，他设计出了快速排序算法、霍尔逻辑、交谈循序程式。

1981年获奖，他为关系型数据库理论做出了奠基性的贡献。他在IBM工作期间，首创了关系模型理论。他一生中为计算机科学做出了很多有价值的贡献，而关系模型，作为一个在数据库管理方面非常具有影响力的基础理论，仍然被认为是他最引人瞩目的成就。