约翰·华纳·巴科斯(英语:John Warner Backus,1924年12月3日-2007年3月17日),美国计算机科学家,是早期高阶语言(High-level Language)FORTRAN的发明小组组长。他提出了BNF(用来定义形式语言语法的记号法),发明了函数层次编程(英语:Function-level programming)概念及实践该概念的FP语言(英语:FP (programming language))。为1977年图灵奖得主。