圖靈獎神秘獲獎者會是誰呢?
圖靈獎,由美國計算機協會於1966年設立,又叫「A.M. 圖靈獎」,它是計算機界最負盛名、最崇高的一個獎項,有「計算機界的諾貝爾獎」之稱。讓小編為你講解第三十一屆到第四十屆的圖靈獎獲獎者。
姚期智
外文名Andrew Chi-Chih Yao
姚期智,祖籍湖北省孝感市孝昌縣,世界著名計算機學家,2000年圖靈獎得主,中國科學院院士。現任清華大學交叉信息研究院院長、教授,香港中文大學博文講座教授。2017年2月,姚期智教授放棄外國國籍成為中國公民,正式轉為中國科學院院士,加入中國科學院信息技術科學部。
詹姆斯·尼古拉·格雷
外文名James Nicholas "Jim" Gray
詹姆斯·尼古拉·格雷,1944年,美國資訊工程學家。他就讀於柏克萊加州大學,1966年取得工程數學學士,1969年取得計算機科學博士。他有份開發的資料庫和交易處理系統有IBM的System R、微軟的Terraserver和Skyserver。1999年5月4日於亞特蘭大舉行的ACM全國會議上接受圖靈獎的。
道格拉斯·恩格爾巴特
滑鼠之父
道格拉斯·恩格爾巴特,1925年1月30日-2013年7月2日,美國發明家,瑞典人和挪威人後裔。1998年5月10日,ACM在美國華盛頓特區召開的《Policy』98》會議期間,舉行了隆重的頒獎典禮,將1997年 度的圖靈獎授予道格拉斯·恩格爾巴特(Douglas Engelbart)。當年的圖靈獎獎金25000美元由朗訊公司提供。
艾米爾·伯努利
時序邏輯領域大師
艾米爾·伯努利,出生於1941年,在以色列理工學院取得數學學士學位,1967年在魏茨曼學院以一篇關於海洋潮汐計算的畢業論文取得應用數學博士學位,而後伯努利留校任教。1996年度圖靈獎得主。
曼紐爾·布盧姆
密碼系統、程序檢驗先驅
曼紐爾·布盧姆,1938年4月26日生於委內瑞拉首都加拉加斯。密碼系統和程序檢驗先驅,計算複雜性理論的主要奠基人之一,第三十屆(1995年)圖靈獎得主。Blum是卡內基梅隆大學計算機科學教授,也是世界上理論計算機學大師。他被選舉成為美國國家科學院的成員,這對於任何一位美國的科學家或是工程師來說都是最高的榮譽。
愛德華·費根鮑姆
科學家
費根鮑姆,1936年生於新澤西州的威霍肯,生父是波蘭移民,但在費根鮑姆一歲時就去世了。他的繼父是一個食品店的會計,使用著一臺笨重的機電式蒙絡計算器(Monroecalculator,是20世紀初的發明),這引起少年費根鮑姆的極大好奇與興趣。1994年獲圖靈獎。
拉吉·瑞迪
計算機科學教授
1994年圖靈獎獲得者拉吉·瑞迪教授是計算機領域的領軍人物,為世界範圍內的計算機發展有著重要的貢獻。哈穆扎赫賓特納賽爾大學教授,計算機科學,債務工具中央結算學院。卡內基·梅隆大學計算機科學系教授。他被授予1994年圖靈獎。
尤裡斯·哈特馬尼斯
英文名Hartmanis
尤裡斯·哈特馬尼斯生於1928年7月7日於前蘇聯拉脫維亞(Latvia)共和國。二戰後,Hartmanis移民到德國,並在University of Marburg獲得其物理學士學位。由於他的眼光和魄力,也由於他的民主作風,康乃爾大學的計算機科學系吸引了一批著名學者加盟,成為美國大學中水平最高、影響最大的計算機科學系之一。1993年圖靈獲獎者。
巴特勒·拉姆潑遜
軟體工程師
巴特勒·拉姆潑遜,1943年12月生於華盛頓。他曾在哈佛大學就讀,學的是文科。1964年,他獲得文學士學位之後進入加州大學伯克利分校研究生院,改修理工科,於1967年獲得博士學位。1992年度的圖靈獎授予當時任DEC公司高級研究員和主任設計師的巴特勒·拉姆潑遜。
羅賓·米爾納
計算機科學家
羅賓·米爾納,英國計算機科學家。生於1934年1月13日,1991年獲得世界計算機領域最高獎「圖靈獎」。在電腦程式設計語言方面,米爾納和戈頓等人一起提出了形式化邏輯系統的數學模型,實現了他稱之為LCF的一個系統「可計算函數的邏輯」。1991年獲得圖靈獎 。
作者:清新歲月cy