Тақырыбы: Ақпараттық технологиялардағы Нобель сыйлығы



бет3/4
Дата20.02.2023
өлшемі460,55 Kb.
#69422
1   2   3   4
Байланысты:
aparatty-tehnologijalarday-nobel-syjlyy

Оның есептеудің күрделілік теориясының және оларды криптография мен программалар верификациясына қолданудың негіздері жөніндегі жұмыстарының құрметіне тағайындалған

1996

Амир Пнуели

Темпоралды логиканы есептеу техникасы ғылымдарына енгізудегі жемісті жұмысы және программалар мен жүйелерді верификациялауға қосқан елеулі үлесі үшін

1997

Дуглас Энгельбарт

Интерактивті есептеудің даму келешегіне шабыт берерлік көріпкелдік жасағандығы және осы болжағандарын жүзеге асыруға көмектесетін түйінді технологияларды ойлап тапқандығы үшін

2000

Эндрю Чи-Чи Яо

Оның есептеудің күрделілік ұғымына негізделген есептеу теориясына, псевдо-кездейсоқ сандарды генерациялау теориясына, криптографияға және коммуникациялық күрделілікке қосқан іргелі үлесінің құрметіне

2001

Уле-Йохан Даль Кристен Нигаард

Simula I және Simula 67 программалау тілдерін жасау барысында пайда болған обьектілі-бағдарланған программалауды дамытуға арналған іргелі идеясы үшін

2002

Рональд Л. Ривест Ади Шамир Леонард М. Адлеман

Ашық кілтті шифрлеу жүйесінің іс жүзінде пайда келтіруін арттыруға қосқан ерекше үлесі үшін

2003

Алан Кэй

Осы заманғы обьектілі-бағдарланған тілдердің негізінде жатқан көптеген жаңашыл идеялары, Smailtalk тілін жасаушылар командасына басшылық еткені және ДК саласын дамытуға қосқан іргелі үлесі үшін

2004

Винтон Серф Роберт Кан

Негізгі интернет-хаттамаларды, TCP/IP –ды дайындауды және оларды жүзеге асыруды қоса алғандағы желіаралық алмасу (ағыл. Internetworking) жөніндегі ең алғашқы жұмыстары мен компьютерлік желі саласындағы жетекші рөлі үшін

2005

Питер Наур

Программалау тілдерін жобалауға және Алгол-60 тілін жасауға, компиляторларды жобалауға, компьютерлік программалау өнері мен техникасына қосқан қомақты үлесі үшін

2006

Френсис Э. Аллен

Қазіргі заманғы оңтайландырылған компиляторлар мен программалардың автоматты түрде қатар орындалуына негіз болған компьютерлік программалардың оңтайландыру теориясы мен практикасына қосқан жаңашылдық үлесі үшін

2007

Эдмунд М. Кларк Аллен Эмерсон Иосиф Сифакис

Олардың программалық және аппараттық жасақтаманы жасауда кеңінен қолданылатын программаларды верификация-лаудың ең тиімді техникасы – моделдерді тексеруді дамытудағы еңбегі үшін

2008

Барбара Лисков

Программалау тілдері мен жүйелік дизайнның практика-лық және теориялық негіздеріне, атап айтқанда, қателіктерге орнықтылық, деректер абстракциялары мен бөлініп қойылған есептеулерді зерттеу саласына қосқан үлестері үшін

2009

Чарльз Текер

Қазіргі заманғы алғашқы дербес компьютер – Альто-ны жасағандығы, Ethernet технологиясы мен планшетті дербес компьютерлерді дамытуға қосқан жаңашыл үлесі үшін

2010

Лесли Вэлиант

Алгоритмдер теориясына, қайта есептеудің күрделілік теориясы мен алгебралық есептеуге, сол сияқты параллель және бөлініп қойылған есептеу теориясына қосқан үлесі үшін

2011

Джуда Перл

Жасанды зерде саласына ықтималдық және себеп-салдар-лы пайымдау жүргізуге арналған есептеудің (ағыл. calculus for prob-abilistic and causal reasoning) көмегі мен қосқан іргелі үлесі үшін

2012

Шафи Гольдвассер
Сильвио Микали

Ықтималдық шифрлау бойынша жаңашылдық жұмыста-ры (оның ішінде, алғашқы ашық кілтті ықтималдық крипто-жүйесі үшін) және криптографикалық хаттама-лардағы ашылуы нөлге тең дәлелдемені қолданудағы жұмыстары үшін

2013

Лесли Лэмпорт

Бір-бірімен хабарлама алмасу арқылы қатынас жасауды жүзеге асыратын бірнеше автономды компьютерлері бар бөлек-бөлек есептеу жүйелерінің хаосты жағдайын анық әрі дәл анықталған үйлесімге келтіргені үшін


Достарыңызбен бөлісу:
1   2   3   4




©emirsaba.org 2024
әкімшілігінің қараңыз

    Басты бет