Tjūringa balva

Alana Tjūringa balva ir ikgadējs apbalvojums, ko pasniedz starptautiska Skaitļošanas tehnikas asociācija (Association for Computing Machinery, ACM) "indivīdiem, kas izvēlēti par viņu tehniskas dabas ieguldījumu, kas veikts skaitļošanas nozarē". Ieguldījumam jābūt paliekošam un nozīmīgam datorzinātnes jomā. Šis apbalvojums bieži vien tiek saukts par "datorzinātņu Nobela prēmiju". Tas ir nosaukts par godu Alanam Tjūringam, britu matemātiķim, kurš bieži vien tiek saukts par datorzinātnes un mākslīgā intelekta teorijas tēvu.

Kopš 2007. gada tiek piešķirta arī 250 000 ASV dolāru prēmija, ko sponsorē Intel un Google. 2014. gada 13. novembrī tika paziņots, ka Google palielinājusi naudas prēmijas apmēru, un turpmāk (sākot ar 2014. gada laureātu) prēmija būs 1 000 000 ASV dolāru, tādējādi sasniedzot pasaules prestižāko balvu līmeni.

 Balvas saņēmēji 
Gads Laureāti Pilsonība NopelniBrīvs tulkojums no precīzā citāta. Pilnu tekstu angļu valodā skatīt atsaucēs.1966Alans PerlissPar ietekmi programmēšanas paņēmienu uzlabošanā un kompilatoru izveidē.1967Moriss VilkssPlašāk zināms kā EDSAC, pirmā datora ar iekšēji glabātu programmu, projektētājs un radītājs. 1949. gadā radītais EDSAC izmantoja dzīvsudraba līniju aiztures atmiņu. Viņš ir zināms arī kā grāmatas "Preparation of Programs for Electronic Digital Computers" autors (kopā ar Vīleru un Gilu) 1951. gadā, kurā pirmoreiz parādījās programmatūras bibliotēku jēdziens.1968Ričards HamingsPar darbu ar skaitliskajam metodēm, automātiskajām kodēšanas sistēmām un kļūdas nosakošiem un labojošiem kodējumiem.1969Mārvins MinskisPar viņa centrālo lomu mākslīgā intelekta nozares radīšanā, veidošanā, veicināšanā un padziļināšanā.1970Džeimss VilkinsonsPar pētījumiem skaitliskajā analīzē, kas paplašināja ātrdarbīgu datoru pielietojumu, īpaša atzinība par darbu lineārās algebras aprēķinos un atpakaļejošā kļūdu analīzē.1971Džons MakartijsTēmas, kurās viņš ir guvis ievērojamu atzinību par savu darbu, apskatītas Dr. Makatrija lekcijā "Šībrīža stāvoklis mākslīgā intelekta izpētē".1972Edsgers DeikstraPar fundamentālo ieguldījumu programmēšanā, pieņemot augstu intelektuālu izaicinājumu; par uzstājību un praktisku demonstrāciju, ka programmām jābūt pareizi satādītām, ne tikai pareizi iekoriģētām; par apgaismojošu problēmu uztveri jau pie programmu pamatu izstrādes.1973Čārlzs BahmansPar viņa ārkārtējiem ieguldījumiem datubāzu tehnoloģijā.1974Donalds KnutsPar viņa lielo ieguldījumu algoritmu analīzē un programmēšanas valodu izveidē, īpaši par plaši pazīstamo grāmatu sēriju The Art of Computer Programming.1975Elens ŅūelsHerberts SaimonsPar kopēju zinātnisku darbību vairāk kā divdesmit gadu garumā, sākotnēji sadarbībā ar Dž. K. Šovu RAND Corporation un pēc tam ar vairākiem fakultātes kolēģiem un studentiem Kārnegī Melona universitātē, ir veikuši ieguldījumu mākslīgā intelekta, cilvēka izziņas psiholoģijā un sarakstu apstrādē.1976Maikls RabīnsDana SkotsPar viņu kopējo publikāciju "Galīgi automāti un to lēmumu problēma", kurš ieviesa ideju par nedeterminētām mašīnām, kas ir pierādījies kā ārkārtīgi nozīmīgs jēdziens. Viņu klasiskā publikācija ir bijis pastāvīgs iedvesmas avots tālākiem pētījumiem šajā laukā.1977Džons BekussPar padziļinātu, ietekmīgu un paliekošu ieguldījumu praktisku augsta līmeņa programmēšanas sistēmu izstrādē, galvenokārt strādājot pie FORTRAN valodas, kā arī par radošām publikācijām par formālām procedūrām programmēšanas valodu specificēšanai.1978Roberts FloidsPar ietekmi uz efektīvas un uzticamas programmatūras izstrādes metodēm un par dalību šo datorzinātnes apakšnozaru izveidē: sintaktiskās analīzes teorija, programmēšanas valodu semantika, automātiska programmu verifikācija, automātiskā programmu sintēze un algoritmu analīze.1979Kenets AiversonsPar pirmatklājēja darbu programmēšanas valodās un matemātiskajā pierakstā, kas noveda pie datorikas jomas, kas zināma kā APL, par ieguldījumu interaktīvo sistēmu realizācijā, APL pielietojumu izglītībā un programmēšanas valodu teorijā un praksē.1980Entonijs HoarsPar viņa pamatieguldījumiem programmēšanas valodu definēšanā un izstrādē.1981Edgars KodsPar viņa fundamentālo un ilgstošo ieguldījumu datubāzu pārvaldības sistēmu teorijā un praksē.1982Stīvens KuksPar mūsu izpratnes par skaitļošanas sarežģītību veidošanu nozīmīgā un pilnīgā veidā.1983Kenets TompsonsDeniss RičijsPar vispārīgas operētājsistēmu teorijas izstrādi un īpaši par UNIX operētājsistēmas realizāciju.1984Niklauss VirtsPar vairāku inovatīvu programmēšanas valodu izstrādi — Algol W, Euler, Modula un Pascal.1985Ričards KarpsPar viņa pastāvīgajiem ieguldījumiem algoritmu teorijā, ieskaitot efektīvu algoritmu izstrādi tīkla plūsmai un citām kombinatorikas optimizācijas problēmām, aprēķinātības noteikšanai polinomiālā laikā ar intuitīvu priekšstatu par algoritmisko efektivitāti un, vissvarīgāk, par ieguldījumiem NP-pabeigtības teorijā.1986Džons HopkroftsRoberts TarjansPar fundamentāliem sasniegumiem algoritmu un datu struktūru izstrādē un analīzē.1987Džons KokePar nozīmīgu ieguldījumu kompilatoru teorijā un izstrādē, lielu sistēmu arhitektūrā un par samazinātas instrukciju kopas datoru (RISC) attīstīšanu.1988Ivans SaterlendsPar viņa pirmatklājēja un vizionāra devumu datorgrafikā, sākot ar Sketchpad un tā turpinājumu.1989Viljams KahansPar viņa ieguldījumu skaitļošanas matemātikas pamatos. Viens no galvenajiem ekspertiem peldošā komata aprēķinos. Kahans ir veltījis savu dzīvi, lai "padarītu pasauli drošu skaitļošanas aprēķinos."1990Fernando KorbatoPar viņa pirmatklājēja darbu organizējot jēdzienus un vadot izstrādi vispārīga pielietojuma, liela izmēra, laiku un resursus koplietojošām sistēmām CTSS un Multics.1991Robins MilnersPar trijiem atsevišķiem un pilnīgi realizētiem sasniegumiem: 1) LCF, Skota loģikas skaitļojamām funkcijām mehanizācija, iespējams pirmais teorētiski pamatotais un praktiskais rīks datora asistētai pierādījumu veidošanai; 2) ML, pirmā valoda, kura iekļāva polimorfisku tipu secināšanu kopā ar tipu drošu izņēmumsituāciju apstrādes mehānismu; 3) CCS, vispārēja teorija par laiksakritību. Papildus viņš formulēja un pamatīgi attīstīja pilna abstrakciju, attiecību pētīšanu starp darbības un matemātisko semantiku.1992Batlers LampsonsPar ieguldījumu dalītas, personīgas skaitļošanas vides un tehnoloģijas izstrādē un realizācijā: darbstacijas, datortīkli, operētājsistēmas, programmēšanas sistēmas, displeji, drošība un dokumentu rediģēšana.1993Juris HartmanisRičards SternssAtzinība par pētījumiem, kas radīja pamatus skaitļošanas sarežģītības teorijai.1994Edvards FeigenbaumsRadžs RedijsPar pirmatklājēja darbu liela mēroga mākslīgā intelekta sistēmu projektēšanā un izveidē, demonstrējot mākslīgā intelekta tehnoloģiju praktisko nozīmību un potenciālo komerciālo ietekmi.1995Manuels BlumsAtzinībā par viņa ieguldījumiem skaitļošanas sarežģītības teorijas pamatos un tās pielietojumos kriptogrāfijā un programmu pārbaudē.1996Amirs PnueliPar auglīgo darbu, ieviešot datorzinātnē pagaidu loģiku un par izcilu ieguldījumu programmu un sistēmu verifikācijā.1997Daglass EngelbartsPar iedvesmojošu nākotnes redzējumu interaktīvajā skaitļošanā un nozīmīgu tehnoloģiju ieviešanu, lai palīdzētu realizēt šo redzējumu.1998Džims GrejsPar sākotnējiem ieguldījumiem datubāžu un transakciju apstrādes pētījumos un tehniskā līdera lomu sistēmas realizācijā.1999Freds BrukssPar nozīmīgu ieguldījumu datorarhitektūrā, operētājsistēmās un programminženierijā.2000Endrū JaoAtzinība par viņa pamatieguldījumu skaitļošanas teorijā, ieskaitot sarežģītībā bāzēto teoriju par pseido-gadījuma skaitļu ģenerēšanu, kriptogrāfijā un komunikāciju sarežģītībā.2001Ūle Johans DālsKristens NīgārdsPar fundamentālām idejām objektorientētas programmēšanas izveidei, strādājot pie programmēšanas valodu Simula I un Simula 67 izveides.2002Ronalds RivestsAdi ŠamirsLeonards AdlemansPar svarīgo ieguldījumu, padarot publiskās atslēgas kriptogrāfijas mehānismu noderīgu praksē.2003Alans KejsPar pirmatklājēja darbu daudzām idejām mūsdienu objektorientētām programmēšanas valodām, Smalltalk izstrādes komandas vadīšanu un fundamentāliem ieguldījumiem personālo datoru attīstībā.2004Vintons SerfsRoberts KānsPar pirmatklājēja darbu starptīklošanā, ieskaitot Interneta pamata saziņas protokolu, TCP/IP, projektēšanu un realizāciju un līdera lomu tīklošanas attīstībā.2005Peters NaursPar fundamentāliem pētījumiem programmēšanas valodu veidošanā un ALGOL 60 izstrādi, par kompilatoru izstrādi un programmēšanas paņēmienu un tehniku radīšanu.2006Frānsisa AllenaPar pirmatklājēja ieguldījumu kompilatoru metožu optimizācijas teorijā un praksē, kuras radīja pamatus modernajiem optimizējošajiem kompilatoriem un automātiskai paralēlai izpildei.2007Edmunds KlārksElens EmersonsDžozefs SifakisPar viņu lomu pārveidojot modeļu pārbaudi par augstas efektivitātes pārbaudes tehnoloģiju, kuru plaši izmanto aparatūras un programmatūras industrijā.2008Barbara LiskovaPar devumu praktiskajiem un teorētiskajiem pamatiem programmēšanas valodu un sistēmu projektēšanā, īpaši datu abstrakciju, problēmapstrādi un dalītajiem aprēķiniem.2009Čārlzs TekersPar pirmā mūsdienu personālā datora Alto projektēšanu un realizāciju un papildus par viņa dalību Ethernet un Tablet PC.2010Leslijs VeliantsPar ieguldījumu algoritmu teorijā, tai skaitā aptuveni pareizas apmācības teoriju, komplekso uzskaitīšanas un algebriskās skaitļošanas teoriju, kā arī paralēlās un izkliedētās skaitļošanas teoriju.2011Džūda PerlsPar fundamentālo ieguldījumu mākslīgajā intelektā, attīstot varbūtības un cēloņsakarības aprēķinus.2012Silvio MikaliŠafija Goldvasere, Par darbu, kas lika teorētiskos pamatus kriptogrāfijas zinātnei un deva jaunas metodes matemātisko pierādījumu efektīvai verifikācijai kompleksivitātes teorijā.2013Leslijs LemportsPar fundamentālu ieguldījumu izkliedētu un mijiedarbojošos sistēmu teorijā un praksē, it īpaši par tādu jēdzienu ieviešanu, kā cēlonība un loģiskais pulkstenis, drošība un dzīvīgums, replicējošie mehānismi un datu secīgā konsekvence.2014Maikls StounbreikersPar fundamentālu ieguldījumu saistībā ar jēdzieniem un praksi, kas ir pamatā mūsdienīgām datubāzu pārvaldības sistēmām.

 Atsauces 

 Ārējās saites 

 ACM Tjūringa balvas saņēmēju saraksts 
 Tjūringa balvas lekciju bibliogrāfija  (līdz 2000) 
 The Beauty of Computing--The First 40 Years of Turing Award 

Kategorija:Alans Tjūrings
Kategorija:Apbalvojumi datorzinātnē