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年圖靈獎得主。