：編譯原理、程序設計(ji)語言(yan)、計(ji)算復雜性理論、人工智能(neng)、密(mi)碼學、數據庫。在(zai)某種意義(yi)上(shang)可大(da)致認為，
年份 中文譯名 姓名 貢獻領域/獲獎理由
1966年(nian) 艾倫·佩利 Alan J. Perlis 高級(ji)程(cheng)序(xu)設計技巧，編譯器構造
1967年(nian) 莫里斯·威爾克斯 Maurice V. Wilkes 存儲程(cheng)序式計算機EDSAC，程(cheng)序庫
1968年 理查德·衛斯里·漢(han)明 Richard Hamming 數(shu)值方法，自動編碼(ma)(ma)系統，錯誤檢(jian)測和糾錯碼(ma)(ma)
1969年 馬(ma)文·明斯基(ji) Marvin Minsky 人(ren)工智能
1970年 詹姆斯·維爾金森 James H. Wilkinson 數值分析，線性(xing)代數，倒(dao)退錯誤分析
1971年 約翰·麥卡錫 John McCarthy 人工智能(neng)
1972年 艾茲格·迪科斯(si)徹 Edsger Dijkstra 程序設(she)計語(yu)言(yan)的科學與(yu)藝術
1973年 查理士(shi)·巴赫曼(man) Charles W. Bachman 數據庫技術
1974年(nian) 高德(de)納 Donald E. Knuth 算(suan)法(fa)分析、程序設(she)計(ji)語言的設(she)計(ji)、程序設(she)計(ji)
1975年 艾(ai)倫·紐厄爾 Allen Newell 人工智(zhi)能(neng)，人類認知(zhi)心理(li)學和列表(biao)處理(li)（list processing）赫伯(bo)特·西蒙(meng) Herbert A. Simon
1976年 邁克(ke)爾·拉賓(bin) Michael O. Rabin 非確定性自(zi)動(dong)機達納·斯科特(te) Dana S. Scott
1977年 約翰·巴(ba)克斯(si) John Backus 高級(ji)編程系統，程序設計語言(yan)規(gui)范的形式(shi)化定義
1978年 羅伯特(te)·弗洛伊德 Robert W. Floyd 設計(ji)高(gao)效(xiao)可靠(kao)軟件(jian)的(de)方法學(xue)
1979年(nian) 肯尼(ni)斯·艾佛(fo)森 Kenneth E. Iverson 程序(xu)設(she)計(ji)語(yu)(yu)言(yan)和數學符(fu)號，互動系統(tong)的設(she)計(ji)，運(yun)用 APL進行教學，程序(xu)設(she)計(ji)語(yu)(yu)言(yan)的理論與實踐
1980年(nian) 東(dong)尼(ni)·霍爾 C. Antony R. Hoare 程(cheng)序設計語言的定義(yi)與設計
1981年 埃德加(jia)·科德 Edgar F. Codd 數據庫(ku)系統，尤(you)其是關系型數據庫(ku)
1982年 史提芬·古克 Stephen A. Cook 計算復雜度
1983年 肯(ken)·湯普遜 Ken Thompson UNⅨ操(cao)作系統(tong)和(he)C語言丹尼斯·里奇 Dennis M. Ritchie
1984年 尼古拉(la)斯·沃斯 Niklaus Wirth 程序設(she)計(ji)(ji)語言設(she)計(ji)(ji)、程序設(she)計(ji)(ji)
1985年 理查德(de)·卡普 Richard M. Karp 算(suan)法(fa)理論(lun)，尤其是NP-完全性理論(lun)
1986年 約(yue)翰·霍普克羅夫特 John Hopcroft 算法和數據(ju)結構(gou)的設計與分析羅伯(bo)特·塔揚 Robert Tarjan
1987年 約翰·科克 John Cocke 編譯理(li)論，大型系(xi)統的體系(xi)結構，及精簡(jian)指令集（RISC）計算機(ji)的開(kai)發
1988年(nian) 伊凡·蘇澤(ze)蘭 Ivan Sutherland 計算機圖(tu)形學
1989年(nian) 威(wei)廉·卡亨 William Morton Kahan 數值分析
1990年 費(fei)爾南多(duo)·考(kao)巴脫 Fernando J. Corbató CTSS和Multics
1991年 羅賓·米(mi)爾納 Robin Milner LCF，ML語言，CCS
1992年(nian) 巴特勒·蘭普森 Butler W. Lampson 分布式，個人計算環境
1993年 尤里斯·哈(ha)特馬尼(ni)斯 Juris Hartmanis 計算復雜(za)度理論
理查德·斯特恩斯 Richard E. Stearns
1994年 愛德華·費根(gen)鮑姆 Edward Feigenbaum 大規模人工智能系統拉(la)吉·瑞迪 Raj Reddy
1995年(nian) 曼紐爾·布盧姆 Manuel Blum 計算復(fu)雜度(du)理論，及(ji)其在密碼學和程(cheng)序校驗上(shang)的應用
1996年 阿米爾·伯努利 Amir Pnueli 時序(xu)邏輯，程序(xu)與系統驗(yan)證
1997年 道格拉(la)斯(si)·恩格爾(er)巴特 Douglas Engelbart 互動(dong)計算(suan)
1998年 詹姆斯·尼(ni)古拉(la)·格雷(lei) James Gray 數據庫與(yu)事務處理(li)
1999年 弗雷德里克(ke)·布魯(lu)克(ke)斯 Frederick Phillips Brooks，Jr． 計算機(ji)體系(xi)結構，操(cao)作系(xi)統，軟件工程(cheng)
2000年 姚(yao)期智 Andrew Chi-Chih Yao 計算理論，包括偽隨機數生成，密碼學與通信復雜(za)度
2001年 奧利(li)-約翰·達爾 Ole-Johan Dahl 面向對象編程 克利(li)斯登(deng)·奈加特 Kristen Nygaard
2002年 羅納(na)德·李維斯(si)特 Ronald L. Rivest 公鑰密碼(ma)學（RSA加密算法）阿迪·薩(sa)莫(mo)爾 Adi Shamir倫(lun)納(na)德·阿德曼 Leonard M. Adleman
2003年 艾(ai)倫·凱 Alan Kay 面向(xiang)對(dui)象編程
2004年(nian) 文特·瑟夫 Vinton G. Cerf TCP/IP協(xie)議(yi)羅伯特·卡恩 Robert E. Kahn
2005年 彼得(de)·諾爾 Peter Naur Algol 60語言
2006年(nian) 法蘭西斯·艾倫 Frances E. Allen 優化編(bian)譯(yi)器(qi)
2007年 愛德蒙·克(ke)拉克(ke) Edmund M. Clarke 開發自動化方法檢測計算機(ji)硬件(jian)和(he)軟件(jian)中的設計錯(cuo)誤 艾倫·愛默(mo)生 Allen Emerson 約瑟夫(fu)·斯發基斯 Joseph Sifakis
2008年 芭(ba)(ba)芭(ba)(ba)拉·利斯科夫(fu) Barbara Liskov 編程語言和系統(tong)設計的實踐與(yu)理論
2009年 查爾斯(si)·薩(sa)克爾 Charles Thacker 幫助設計、制造第(di)一款現代PC
2010年 萊斯(si)利·瓦倫特 Leslie Valiant 對眾多計算理論所(suo)做的變(bian)革性的貢獻(xian)
2011年 猶大·伯爾 Judea Pearl 人工智能
2012年 莎菲·戈德瓦塞(sai)爾(er)(er) Shafi Goldwasser 在密碼學和復雜理論領域(yu)做出(chu)創舉性(xing)工(gong)作 希爾(er)(er)維奧(ao)·米卡利 Silvio Micali
2013年(nian) 萊斯利·蘭伯特 Leslie Lamport 在提升計算機系統(tong)的可靠性(xing)及穩定性(xing)領(ling)域的杰出貢(gong)獻
2014年 邁克爾(er)·斯(si)通布雷克 Michael Stonebraker 對現代(dai)數據庫系統底層(ceng)的概(gai)念與實踐所(suo)做出的基礎性貢獻
2015年 惠特菲(fei)(fei)爾(er)德·迪菲(fei)(fei) Whitfield Diffie 非對稱(cheng)加密的創(chuang)始人(ren)馬丁·赫爾(er)曼 Martin Hellman
2016年(nian) 蒂姆·伯納斯·李 Tim Berners-Lee 萬維網的發明者(zhe)
2017年(nian) 約翰(han)·軒尼詩 John Hennessy 開發了RISC微處理器并且(qie)讓(rang)這一概念(nian)流行起來(lai)的工(gong)程 大衛·帕特森 David Patterson
2018年 約舒亞·本希奧(ao) Yoshua Bengio 在人(ren)工智能深度學習方面的貢獻 杰弗(fu)里(li)·欣頓 Geoffrey Hinton 揚·萊(lai)坎 Yann LeCun
2019年 帕特里克·漢(han)拉汗 Patrick M. Hanrahan 對(dui)3D計算機圖(tu)形學的貢獻，以及這些(xie)技(ji)術對(dui)電(dian)影(ying)制作(zuo)和計算機生(sheng)成(cheng)圖(tu)像(xiang)（CGI）等應用的革命性影(ying)響 艾德文·卡(ka)特姆 Edwin E. Catmull
2020年(nian) 杰弗(fu)里(li)·戴(dai)維·烏爾曼(man) Jeffrey David Ullman 創造了全(quan)球數百萬編程(cheng)人員(yuan)使用的工具和教材(cai)，推進編程(cheng)語言實現的基礎算法和理論(lun)，并在極具影響力的書籍中綜(zong)述(shu)了這些研究成果(guo) 阿爾佛雷德·艾侯 Alfred Vaino Aho
2021年 杰克·唐(tang)加拉 Jack J. Dongarra 通過對(dui)線性代數運算的(de)高效數值算法、并行計(ji)算編程機制和性能評估工具的(de)貢獻，引領了(le)高性能計(ji)算的(de)世(shi)界。
2022年 鮑勃·梅(mei)特卡夫 Bob Metcalfe 為引領大眾(zhong)進(jin)入超級連(lian)接(jie)時代所做的(de)貢獻
2023年(nian) [19] 艾維(wei)(wei)·維(wei)(wei)格森 Avi Wigderson 增強了人類對(dui)計算中(zhong)隨機性和偽隨機性作用的理解(jie)。
