約翰·巴克斯（John Warner Backus）（1924年12月3日-2007年3月17日），美國計算機科學家，被譽為高級編程語言之父。他是全世界第一套高階語言Fortran的發明小組組長，并提出了BNF（用來定義形式語言語法的記號法）。巴克斯的貢獻在于簡化了編程過程，使得編程語言更接近人類語言。他的工作對函數式編程的理解和發展產生了深遠影響。巴克斯獲得了多項榮譽，包括1977年的圖靈獎，并被選為美國國家科學院院士、美國國家工程院院士和美國藝術與科學院。
個人經歷
約翰·巴克斯，1924年12月3日生于美國賓夕法尼亞州費城，父親是股票經紀人。巴克斯中學時念賓夕法尼亞州波茨敦市的希爾學校，成績平平。他在弗吉尼亞聯邦（州立）大學修讀化學，但因出勤率不高而被開除。第二次世界大戰期間，他參加了美國陸軍，在佐治亞州斯圖爾特堡指揮一個防空炮臺，后來進入哈弗福德學院的醫學院預科接受醫療訓練，但九個月后退出。在此期間，他被診斷出患有腦部腫瘤，并接受手術治療。退伍后，他轉向數學領域，在哥倫比亞大學取得碩士學位，并于1950年加入IBM公司工作。在IBM，他和同事海爾里克一起開發了Speedcoding程序，適用于浮點數運算。
巴克斯在IBM公司工作期間，提出并領導開發了Fortran，極大地推動了編程語言的發展。他在IBM的職位從程序員到研究員，最終成為IBM Fellow。巴克斯還曾在加利福尼亞大學圣克魯斯分校和伯克利分校擔任教授，并在IBM阿爾馬登研究中心擔任顧問。他的貢獻被廣泛認可，1974年當選為美國國家科學院院士，1977年獲得圖靈獎并當選為美國國家工程院院士，1985年當選為美國藝術與科學院，1997年當選為計算機歷史博物館fellow。2007年3月17日在美國俄勒岡州阿什蘭去世，享年82歲。
個人生活
家庭背景
約翰·巴克斯家境殷實，父親是一位股票經紀人。
身患疾病
約翰·巴克斯在醫學學習期間被診斷出患有顱骨腫瘤，并通過手術將其切除并用金屬板代替，后來又更換了頭上的鋼板，那次是他自己做的手術。
婚姻家庭
約翰·巴克斯有過兩段婚姻，第一次是和瑪喬麗·賈米森，于1966年離婚，第二次是和芭芭拉·尤娜·斯坦納德（2004年去世），于1968年離婚，他有兩個孩子——凱倫和寶拉。
職業選擇
約翰·巴克斯退伍后在紐約市定居下來，但他對自己的未來猶豫不決。雖然他沒有電子學方面的技能，但他進入了一所無線電技術學校學習如何制造無線電接收機。這項工作促使他學習數學，因此他參加了哥倫比亞大學的數學課程。1949年春天，就在他畢業之前，他碰巧經過麥迪遜大道上的IBM計算中心，IBM在那里有他們的選擇性序列電子計算器（SSEC），這是一種由哥倫比亞大學沃森科學計算實驗室設計的繼電器和真空管計算機。他對導游說了一句他對計算機工作很感興趣的話，就立刻被帶到樓上去見SSEC的項目主管，并當場被聘為程序員。
個人成就
約翰·巴克斯和他的團隊開發的Fortran被廣泛應用于科學計算領域，包括美國航空航天局20世紀60年代的阿波羅登月任務。他提出的Backus-Naur形式（BNF）是編程語言形式化的一個重要里程碑。巴克斯還為函數式編程創造了一種新的語言FP，促進了該領域的研究。據2023年10月AMiner平臺數據，巴克斯已發表學術論文9篇，論文被引6620次，H-Index為8。他對實用的高級編程系統的設計做出了深刻的、有影響力的和持久的貢獻，被計算機歷史博物館評為對計算機系統理論和軟件項目管理方面做出了重要貢獻。2007年6月1日，小行星6830以約翰·巴克斯的名字命名。
主要論文
參考資料：
社會職務
1942年-1946年，約翰·巴克斯擔任美國軍隊防空炮兵連隊、工程兵學校和軍醫學校成員。
1950年-1954年，約翰·巴克斯擔任IBM公司純科學和高級科學部門程序員。
1954年-1959年，約翰·巴克斯擔任IBM公司編程研究部經理。
1959年-1963年，約翰·巴克斯擔任IBM公司研究員工。
1963年-1991年，約翰·巴克斯擔任IBM公司研究員。
1974年，約翰·巴克斯擔任加利福尼亞大學圣克魯斯分校信息科學兼職教授。
1980年，約翰·巴克斯擔任加州大學伯克利分校客座教授。
1985年，約翰·巴克斯擔任加州大學伯克利分校訪問教授。
編程語言FORTRAN
- 編程范型: 多重范式：過程化、命令式、結構化、面向對象
- 發行時間: 1957
- 設計者: 約翰·巴科斯
- 實作者: 約翰·巴科斯 & IBM
- 型態系統: strong, static
- 主要實作產品: Absoft, GFortran, G95, 英特爾, Lahey/富士通株式會社, Open Watcom, Pathscale, PGI, Silverfrost, SUN, XL Fortran, others
- 影響語言: ALGOL 58, PL/I
榮譽獎項
人物評價
（約翰·巴克斯）對實用的高級編程系統的設計做出了深刻的、有影響力的和持久的貢獻（For profound, influential, and lasting contributions to the 設計 of practical high-level programming systems）。（1977年圖靈獎評）
他（約翰·巴克斯）在計算機系統理論和軟件項目管理方面做出了貢獻。（約翰·巴克斯）對計算機科學做出了許多其他重要貢獻（For his development of Fortran, and for contributions to 計算機 systems theory and 軟件 project 管理學Backus made many other important contributions to computer science.）。（計算機歷史博物館評）
參考資料 >
John Warner Backus.dl.acm.org.2024-09-18
JOHN BACKUS.ACM.2024-06-14