约翰·巴科斯（John Backus）是计算机科学领域的奠基人之一，其成就主要体现在以下几个方面：

一、编程语言创新

发明FORTRAN

作为高级编程语言FORTRAN的发明小组组长，巴科斯领导团队开发了第一套广泛使用的高级语言，为科学计算和工程领域带来了革命性的变革。

设计函数层次编程概念

他提出了函数层次编程（Function-level programming）概念，并通过函数式编程语言（如FP语言）进行实践，强调数学函数的应用和抽象化。

二、形式语言与语法规范

巴科斯范式（BNF）

提出用形式化符号描述形式语言的范式，即巴科斯范式，为计算机语言语法设计提供了标准化的方法，至今仍被广泛应用于编程语言和通信协议中。

巴科斯-诺尔范式

与彼得·诺尔共同发展出巴科斯-诺尔范式，扩展了BNF的应用范围，成为描述上下文无关文法的标准工具。

三、科学奖项与荣誉

图灵奖：

1977年因对计算机科学基础研究的贡献，与肯·汤普森共同获此国际最高荣誉。

美国国家科学奖章：1975年因在科学计算和编程语言领域的开创性工作而获此殊荣。

四、其他贡献

组织培养技术：虽然主要成就在计算机科学领域，但巴科斯还涉足生物学研究，利用丽格海棠巴科斯品系叶片进行植物组织培养技术研究。

总结

约翰·巴科斯通过开创性的语言设计和理论贡献，奠定了现代计算机科学的基础，其工作至今仍对编程语言、软件工程和人工智能等领域产生深远影响。