複製鏈接
請複製以下鏈接發送給好友

約翰·巴克斯

(1977年圖靈獎得主)

鎖定
約翰·巴克斯(1924年12月3日——2007年3月17日),出生於美國賓夕法尼亞州費城,1977年圖靈獎得主,美國國家科學院院士,美國國家工程院院士,美國藝術與科學院院士,生前是IBM(國際商業機器公司)研究員。 [1-3]  [6] 
約翰·巴克斯於1942年進入弗吉尼亞大學主修化學,不到一年就因出勤率不高而被開除;1942年至1946年被選入美國陸軍,以下士的軍銜指揮美國喬治亞州斯圖爾特堡的一個防空炮台,而後進入匹茲堡大學的工程項目學習,後來又進入費城郊外的哈弗福德學院的醫學預科項目學習;1945年3月進入紐約市花與第五大道醫學院學習,九個月後輟學;1946年退伍;1949年獲得美國哥倫比亞大學數學學士學位;1950年獲得美國哥倫比亞大學數學碩士學位;1950年至1954年擔任IBM高級科學部程序員;1954年至1959年擔任IBM程序研究部經理;1959年至1963年擔任IBM研究人員;1963年至1991年擔任IBM Fellow;1974年當選為美國國家科學院院士;1977年獲得圖靈獎,同年當選為美國國家工程院院士;1985年當選為美國藝術與科學院院士;1997年當選為美國計算機歷史博物館fellow;2007年3月17日在美國俄勒岡州阿什蘭去世。 [1-2]  [4]  [6] 
約翰·巴克斯致力於編程和編程語言的研究。 [1] 
中文名
約翰·巴克斯
外文名
John Warner Backus
國    籍
美國
出生地
美國賓夕法尼亞州費城
出生日期
1924年12月3日
逝世日期
2007年3月17日
畢業院校
哥倫比亞大學
職    業
科研工作者
主要成就
1974年當選為美國國家科學院院士
1977年獲得圖靈獎
1977年當選為美國國家工程院院士
1985年當選為美國藝術與科學院院士

約翰·巴克斯人物生平

1924年12月3日,約翰·巴克斯出生於美國賓夕法尼亞州費城。
1942年,進入弗吉尼亞大學主修化學,不到一年就因出勤率不高而被開除。
1942年—1946年,被選入美國陸軍,以下士的軍銜指揮美國喬治亞州斯圖爾特堡的一個防空炮台,而後進入匹茲堡大學的工程項目學習,後來又進入費城郊外的哈弗福德學院的醫學預科項目學習。 [1] 
1945年3月,進入紐約市花與第五大道醫學院學習,九個月後輟學。
1946年,退伍。
1949年,獲得美國哥倫比亞大學數學學士學位。
1950年,獲得美國哥倫比亞大學數學碩士學位。 [1]  [5] 
1950年—1954年,擔任IBM高級科學部程序員。
1954年—1959年,擔任IBM程序研究部經理。
1959年—1963年,擔任IBM研究人員。 [1] 
1963年—1991年,擔任IBM Fellow。
1974年,當選為美國國家科學院院士。 [4] 
1977年,獲得圖靈獎,同年當選為美國國家工程院院士。 [2] 
1985年,當選為美國藝術與科學院院士。 [6] 
1991年,從IBM退休。 [1] 
1997年,當選為美國計算機歷史博物館fellow。
2007年3月17日,在美國俄勒岡州阿什蘭去世。 [1] 
約翰·巴克斯

約翰·巴克斯主要成就

約翰·巴克斯科研成就

  • 科研綜述
約翰·巴克斯和他的團隊開發的技術被美國宇航局用於20世紀60年代的阿波羅登月任務。約翰·巴克斯針對當時的編程是在機器層面編寫指令的缺陷,為了簡化這一過程,開發了一個名為Speedcoding的程序,它允許對浮點數的操作以一種更符號化的形式進行描述。1953年基於他在加速編碼方面的工作,約翰·巴克斯提出創建一種新的語言,使IBM 704(一種由真空管和核心存儲器組成的科學計算機,主要用於浮點運算)的編程變得更容易。約翰·巴克斯創建了第一個高級編程語言FORTRAN,該程序由超過25000行機器語言組成,約翰·巴克斯和他的團隊繼續改進FORTRAN程序——稱之為編譯器,直到它最終達到了一定程度的穩定性和正確性,FORTRAN幾十年來一直是科學應用程序的主要編程語言。約翰·巴克斯與合作者開發了所使用的Backus-Naur形式(BNF)表示法,BNF代表了編程語言形式化的一個重要里程碑。約翰·巴克斯為函數式編程創造了一種新的語言,FP(函數式編程),他的工作使函數式編程變得更容易理解,從而引發了對該主題研究的復興。 [1] 
  • 學術論文
據2023年10月AMiner平台數據,約翰·巴克斯已發表學術論文9篇,論文被引6620次,H-Index:8。 [7] 
[1]John W. Backus,Friedrich L. Bauer,Julien Green,C. Katz,James R Mccarthy,Alan J. Perlis,Heinz Von Rutishauser,Klaus Samelson,Bernard Vauquois,Joseph Henry Wegstein,Adriaan van Wijngaarden,Michael Woodger.Revised report on the algorithmic language ALGOL 60[J].Communications of the ACM,1963.
[2]C Katz,James R Mccarthy,A J Perlis,Klaus Samelson,Heinz Von Rutishauser,B Vauquois,John Warner Backus,J H Wegstein,A Van Wijngaarden,M Woodger,P Nauer,F L Bauer.Revised report on the algorithm language ALGOL 60[J].Communications of the ACM,1963. [7] 
[3]John W. Backus,Friedrich L. Bauer,Julien Green,C. Katz,John McCarthy,Alan J. Perlis,Heinz Rutishauser,Klaus Samelson,Bernard Vauquois,Joseph Henry Wegstein,Adriaan van Wijngaarden,Michael Woodger.Report on the algorithmic language ALGOL 60[J].Communications of the ACM,1960. [7] 

約翰·巴克斯榮譽表彰

獲獎時間
榮譽表彰
1963年
IBM Fellow
1967年
IEEE計算機學會麥克道爾獎
1974年
美國國家科學院院士
1975年
1977年
圖靈獎
1977年
美國國家工程院院士
1985年
美國藝術與科學院院士
1993年
美國國家工程院德雷珀獎
參考資料: [1-2]  [4]  [6] 

約翰·巴克斯社會任職

約翰·巴克斯於1974年擔任加州大學聖克魯斯分校信息科學兼職教授,並分別於1980年和1985年擔任加州大學伯克利分校客座教授,1991年被聘為IBM阿爾馬登研究中心顧問。 [1]  [5] 

約翰·巴克斯個人生活

  • 家庭背景
約翰·巴克斯家境殷實,父親是一位股票經紀人 [1] 
  • 身患疾病
約翰·巴克斯在醫學學習期間被診斷出患有顱骨腫瘤,並通過手術將其切除並用金屬板代替,後來又更換了頭上的鋼板,那次是他自己做的手術。 [1] 
  • 婚姻家庭
約翰·巴克斯有過兩段婚姻,第一次是和瑪喬麗·賈米森,於1966年離婚,第二次是和芭芭拉·尤娜·斯坦納德(2004年去世),於1968年離婚,他有兩個孩子——凱倫和寶拉。 [1] 
  • 職業選擇
約翰·巴克斯退伍後在紐約市定居下來,但他對自己的未來猶豫不決。雖然他沒有電子學方面的技能,但他進入了一所無線電技術學校學習如何製造無線電接收機。這項工作促使他學習數學,因此他參加了哥倫比亞大學的數學課程。1949年春天,就在他畢業之前,他碰巧經過麥迪遜大道上的IBM計算中心,IBM在那裏有他們的選擇性序列電子計算器(SSEC),這是一種由哥倫比亞大學沃森科學計算實驗室設計的繼電器和真空管計算機。他對導遊説了一句他對計算機工作很感興趣的話,就立刻被帶到樓上去見SSEC的項目主管,並當場被聘為程序員。 [1] 

約翰·巴克斯人物評價

(約翰·巴克斯)對實用的高級編程系統的設計做出了深刻的、有影響力的和持久的貢獻(For profound, influential, and lasting contributions to the design of practical high-level programming systems)。(1977年圖靈獎評) [1] 
他(約翰·巴克斯)在計算機系統理論和軟件項目管理方面做出了貢獻。(約翰·巴克斯)對計算機科學做出了許多其他重要貢獻(For his development of FORTRAN, and for contributions to computer systems theory and software project management.Backus made many other important contributions to computer science.)。(美國計算機歷史博物館評) [6] 

約翰·巴克斯人物影響

  • 約翰·巴克斯星
2007年6月1日,小行星6830以約翰·巴克斯的名字命名。 [1] 
參考資料