Can you summarize the following document?
        
  1924年12月3日生于美国宾夕法尼亚州费城,父亲是阿特拉斯火药公司的员工,后来转职为证券经纪人。巴克斯中学时念宾夕法尼亚州波茨敦市的希尔学校,平时不爱读书,勉强毕业,没有什么过人之处。后来依照父亲的要求,他在维吉尼亚大学修读化学,成绩也不好。第二次世界大战爆发,他便改为参加美国陆军,在乔治亚州服役,后来进入哈弗福德学院(Haverford College)的医学院预科接受医疗训练,九个月后又退出了。在接受医疗训练期间,他被诊断出患有脑部肿瘤,并接受手术治疗。他搬到纽约市,最初打算以无线电技术员为生。在训练过程中,他对数学产生极大兴趣,于是他便在哥伦比亚大学修读学位,于1949年以数学硕士学位毕业,1950年加入IBM工作。巴克斯和同事海尔里克(H. Herrick)一起成功开发了Speedcoding的程序,适用于浮点数运算。  巴克斯在IBM工作了几年,他对于机械式的程序设计感到厌烦,他希望能设计一套新式语言。1953年巴克斯向当时IBM董事长(Cuthbert Hurd),提交了一分备忘录,建议设计一种接近人类语言的编程语言代替机器语言,后来赫德批准了这项计划。1957年4月他所领导13人小组推出全世界第一套高阶电脑语言FORTRAN,首次用在IBM 704计算机上面,1958年推出FORTRAN II,几年后又推出FORTRAN III,1962年推出FORTRAN IV,被称为FORTRAN语言之父。六十年代巴克斯转到沃森研究中心,参加了ALGOL语言的设计。1977年10月17日在西雅图举行的ACM年会上获得计算机界最高奖图灵奖,会中他发表了“程序设计能从冯诺伊曼形式中解脱出来吗?函数式风格及其程序的代数”(Can Programming be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs)演说,提出了叫做FP的函数级编程语言, 这篇演说有时被看作是他为发明了Fortran而致歉。1991年退休。1994年美国工程院授予他Charles Stark Draper奖。2007年3月17日在美国俄勒冈州的家中去世,享年82岁。
约翰·华纳·巴科斯(英语:John Warner Backus,1924年-12月3日-2007年-3月17日),美国计算机科学家,是早期高阶语言(High-level Language)FORTRAN的发明小组组长。他提出了BNF(用来定义形式语言语法的记号法),发明了函数级编程概念及实践该概念的FP语言。为1977年图灵奖得主。