Оның есептеудің күрделілік теориясының және оларды криптография мен программалар верификациясына қолданудың негіздері жөніндегі жұмыстарының құрметіне тағайындалған
1996
Амир Пнуели
Темпоралды логиканы есептеу техникасы ғылымдарына енгізудегі жемісті жұмысы және программалар мен жүйелерді верификациялауға қосқан елеулі үлесі үшін
1997
Дуглас Энгельбарт
Интерактивті есептеудің даму келешегіне шабыт берерлік көріпкелдік жасағандығы және осы болжағандарын жүзеге асыруға көмектесетін түйінді технологияларды ойлап тапқандығы үшін
2000
Эндрю Чи-Чи Яо
Оның есептеудің күрделілік ұғымына негізделген есептеу теориясына, псевдо-кездейсоқ сандарды генерациялау теориясына, криптографияға және коммуникациялық күрделілікке қосқан іргелі үлесінің құрметіне
Simula I және Simula 67 программалау тілдерін жасау барысында пайда болған обьектілі-бағдарланған программалауды дамытуға арналған іргелі идеясы үшін
2002
Рональд Л. Ривест Ади Шамир Леонард М. Адлеман
Ашық кілтті шифрлеу жүйесінің іс жүзінде пайда келтіруін арттыруға қосқан ерекше үлесі үшін
2003
Алан Кэй
Осы заманғы обьектілі-бағдарланған тілдердің негізінде жатқан көптеген жаңашыл идеялары, Smailtalk тілін жасаушылар командасына басшылық еткені және ДК саласын дамытуға қосқан іргелі үлесі үшін
Негізгі интернет-хаттамаларды, TCP/IP –ды дайындауды және оларды жүзеге асыруды қоса алғандағы желіаралық алмасу (ағыл. Internetworking) жөніндегі ең алғашқы жұмыстары мен компьютерлік желі саласындағы жетекші рөлі үшін
2005
Питер Наур
Программалау тілдерін жобалауға және Алгол-60 тілін жасауға, компиляторларды жобалауға, компьютерлік программалау өнері мен техникасына қосқан қомақты үлесі үшін
2006
Френсис Э. Аллен
Қазіргі заманғы оңтайландырылған компиляторлар мен программалардың автоматты түрде қатар орындалуына негіз болған компьютерлік программалардың оңтайландыру теориясы мен практикасына қосқан жаңашылдық үлесі үшін
2007
Эдмунд М. Кларк Аллен Эмерсон Иосиф Сифакис
Олардың программалық және аппараттық жасақтаманы жасауда кеңінен қолданылатын программаларды верификация-лаудың ең тиімді техникасы – моделдерді тексеруді дамытудағы еңбегі үшін
2008
Барбара Лисков
Программалау тілдері мен жүйелік дизайнның практика-лық және теориялық негіздеріне, атап айтқанда, қателіктерге орнықтылық, деректер абстракциялары мен бөлініп қойылған есептеулерді зерттеу саласына қосқан үлестері үшін
2009
Чарльз Текер
Қазіргі заманғы алғашқы дербес компьютер – Альто-ны жасағандығы, Ethernet технологиясы мен планшетті дербес компьютерлерді дамытуға қосқан жаңашыл үлесі үшін
2010
Лесли Вэлиант
Алгоритмдер теориясына, қайта есептеудің күрделілік теориясы мен алгебралық есептеуге, сол сияқты параллель және бөлініп қойылған есептеу теориясына қосқан үлесі үшін
2011
Джуда Перл
Жасанды зерде саласына ықтималдық және себеп-салдар-лы пайымдау жүргізуге арналған есептеудің (ағыл. calculus for prob-abilistic and causal reasoning) көмегі мен қосқан іргелі үлесі үшін
2012
Шафи Гольдвассер
Сильвио Микали
Ықтималдық шифрлау бойынша жаңашылдық жұмыста-ры (оның ішінде, алғашқы ашық кілтті ықтималдық крипто-жүйесі үшін) және криптографикалық хаттама-лардағы ашылуы нөлге тең дәлелдемені қолданудағы жұмыстары үшін
2013
Лесли Лэмпорт
Бір-бірімен хабарлама алмасу арқылы қатынас жасауды жүзеге асыратын бірнеше автономды компьютерлері бар бөлек-бөлек есептеу жүйелерінің хаосты жағдайын анық әрі дәл анықталған үйлесімге келтіргені үшін
