Tjūringa balva

Vikipēdijas raksts
Pārlēkt uz: navigācija, meklēt

Alana Tjūringa balva ir ikgadējs apbalvojums, ko pasniedz Association for Computing Machinery individuālām personām par tehniskas dabas ieguldījumu skaitļošanas sabiedrībā. Ieguldījumam jābūt paliekošam un nozīmīgam datorzinātnes jomā.[1] Šis apbalvojums bieži vien tiek saukts par "datorzinātņu Nobela prēmiju"[1]. 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.[2] Kopš 2007. gada tiek piešķirta arī 250 000 ASV dolāru prēmija, ko sponsorē Intel un Google.[1]

Saņēmēji[izmainīt šo sadaļu | labot pirmkodu]

Nepilnīgs balvas saņēmēju uzskaitījums

Gads Saņēmēji Nopelni[3]
1966 Alans Perliss Par ietekmi programmēšanas paņēmienu uzlabošanā un kompilatoru izveidē
1967 Moriss Vilkss Plašā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
1968 Ričards Hamings Par darbu ar skaitliskajam metodēm, automātiskajām kodēšanas sistēmām un kļūdas nosakošiem un labojošiem kodējumiem
1969 Marvins Minskis mākslīgais intelekts
1970 Džeimss Vilkinsons Par 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ē
1971 Džons Makartijs Tē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ē"
1972 Edsgers Deikstra Edsgers Deikstra 1950. gadu beigās bija galvenais ALGOL izstrādes vadītājs; tā ir augsta līmeņa programmēšanas valoda, kura ir kļuvusi par paraugu skaidrībai un matemātiskajai stingrībai. Viņš ir viens no vispārīgās programmēšanas valodu mākslas un zinātnes galvenajiem atbalstītājiem un ir ieguldījis daudz darba mūsu izpratnē par to struktūru, attēlošanu un realizāciju. Viņa piecpadsmit gadu publikācijas iekļauj gan teorētiskus rakstus par grafu teoriju, gan vienkāršas rokasgrāmatas, paskaidrojošus tekstus un filozofiskās pārdomas programmēšanas valodu jomā
1973 Čārlzs Bahmans Par viņa ārkārtējiem ieguldījumiem datubāžu tehnoloģijā
1974 Donalds Knuts Par 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
1975 Elens Ņūels un
Herberts Saimons
Par 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ē
1977 Džons Bekuss Par padziļinātie, ietekmīgiem un paliekošiem ieguldījumiem praktisku augsta līmeņa programmēšanas sistēmu izstrādē, galvenokārt strādājot pie FORTRAN valodas, kā arī par auglīgām formālo procedūru publikācijām programmēšanas valodu specificēšanai
1978 Roberts Floids Par 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
1979 Kenets Aiversons Par 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ē
1980 Entonijs Hoars Par viņa pamatieguldījumiem programmēšanas valodu definēšanā un izstrādē
1981 Edgars Kods Par viņa ieguldījumiem datubāzu pārvaldības sistēmu teorijas un prakses pamatos, īpaši relāciju datubāzēs
1982 Stīvens Kuks Par mūsu izpratnes par skaitļošanas sarežģītību attīstīšanu nozīmīgā un pilnīgā veidā.
1983 Kenets Tompsons un
Deniss Ričijs
Par vispārīgas operētājsistēmu teorijas izstrādi un UNIX operētājsistēmas realizāciju
1984 Niklauss Virts Par vairāku inovatīvu programmēšanas valodu izstrādi — Algol W, Euler, Modula un Pascal
1985 Ričards Karps Par 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ā.
1986 Džons Hopkrofts un
Roberts Tarjans
Par fundamentāliem sasniegumiem algoritmu un datu struktūru izstrādē un analīzē
1987 Džons Koke Par 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
1988 Ivans Saterlends Par viņa pirmatklājēja un vizionāra devumu datorgrafikā, sākot ar Sketchpad un tā turpinājumu
1992 Batlers Lampsons Par 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.
1993 Juris Hartmanis un
Ričards Sternss
Atzinība par pētījumiem, kas radīja pamatus skaitļošanas sarežģītības teorijai.
1994 Edvards Feigenbaums un
Radžs Redijs
Par 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.
1995 Manuels Blums Atzinībā par viņa ieguldījumiem skaitļošanas sarežģītības teorijas pamatos un tās pielietojumos kriptogrāfijā un programmu pārbaudē.
1996 Amirs Pnueli Par auglīgo darbu, ieviešot datorzinātnē pagaidu loģiku un par ārkārtējiem ieguldījumiem programmu un sistēmu verifikācijā.
1997 Duglass Engelbarts Par 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.
1998 Džims Grejs Par sākotnējiem ieguldījumiem datubāžu un transakciju apstrādes pētījumos un tehniskā līdera lomu sistēmas realizācijā.
1999 Freds Brukss Par nozīmīgu ieguldījumu datorarhitektūrā, operētājsistēmās un programminženierijā.
2000 Endrū Jao Atzinī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āls un
Kristens Nīgārds
Par fundamentālām idejām objektorientētas programmēšanas izveidei, strādājot pie programmēšanas valodu Simula I un Simula 67 izveides.
2002 Ronalds Rivests,
Adi Šamirs un
Leonards Adlemans
Par svarīgo ieguldījumu, padarot publiskās atslēgas kriptogrāfijas mehānismu noderīgu praksē
2003 Alans Kejs Par 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ā
2004 Vintons Serfs un
Roberts Kāns
Par 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ā.
2005 Peters Naurs Par fundamentāliem petījumiem programmēšanas valodu veidošanā un ALGOL 60 izstrādi, par kompilatoru izstrādi un programmēšanas paņēmienu un tehniku radīšanu.
2006 Frans Ellens Par 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.
2007 Edmunds Klārks,
Ellens Emersons un
Džozefs Sifakis
Par [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ā[4].
2008 Barbara Liskova Par 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 Tekers Par pirmā mūsdienu personālā datora Alto projektēšanu un realizāciju un papildus par viņa dalību Ethernet un Tablet PC.

Atsauces[izmainīt šo sadaļu | labot pirmkodu]

  1. 1,0 1,1 1,2 A. M. Turing Award. ACM. Atjaunināts: 2007-11-05.
  2. Homer, Steven and Alan L. Selman. Computability and Complexity Theory. Springer via Google Books limited view. 35. lpp. ISBN 0-3879-5055-9. Atjaunināts: 2007-11-05.
  3. Brīvs tulkojums no precīzā citāta. Pilnu tekstu angļu valodā skatīt šeit http://awards.acm.org/homepage.cfm?srt=all&awd=140
  4. 2007 Turing Award Winners Announced

Ārējās saites[izmainīt šo sadaļu | labot pirmkodu]