John Backus

约翰·华纳·巴科斯（John Warner Backus，1924年12月3日－2007年3月17日）是一位美国计算机科学家。他领导的团队发明并实现了 FORTRAN（第一种广泛使用的高级编程语言），并且是巴科斯-诺尔范式 (BNF) 的发明者，巴科斯范式 (BNF) 是一种广泛使用的用于定义形式语言语法的表示法。他还为 ALGOL 的设计做出了贡献，后来研究了函数级编程范式，并在 1977 年图灵奖颇具影响力的演讲“编程能否从冯诺依曼风格中解放出来？”中展示了他的发现。 [1] 1967 年，IEEE 因 FORTRAN 的发展而授予 Backus W. W. McDowell 奖。 [ 2 ] 他于 1975 年获得国家科学奖章 [ 3 ] ，并于 1977 年获得 ACM 图灵奖，“表彰他对实用高级编程系统设计的深刻、有影响力和持久的贡献，特别是通过他在 FORTRAN 方面的工作，以及出版了编程语言规范的正式过程”。 [ 4 ] 约翰·巴克斯 (John Backus) 于 1991 年退休。2007 年 3 月 17 日，他在俄勒冈州阿什兰的家中去世。 [ 5 ] 领域：计算机科学 教育：弗吉尼亚大学 匹兹堡大学 哈弗福德学院 哥伦比亚大学 BS MS 获奖奖状：国家科学奖章 (1975) 图灵奖 (1977) 查尔斯·斯塔克·德雷珀奖 (1993)