Tjūringa balva

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

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ā.[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] 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.[3]

Balvas saņēmēji[labot šo sadaļu | labot pirmkodu]

Gads Laureāti Pilsonība Nopelni[4]
1966 Alans Perliss Karogs: Amerikas Savienotās Valstis ASV Par ietekmi programmēšanas paņēmienu uzlabošanā un kompilatoru izveidē.[5]
1967 Moriss Vilkss Karogs: Apvienotā Karaliste Apvienotā Karaliste 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.[6]
1968 Ričards Hamings Karogs: Amerikas Savienotās Valstis ASV Par darbu ar skaitliskajam metodēm, automātiskajām kodēšanas sistēmām un kļūdas nosakošiem un labojošiem kodējumiem.[7]
1969 Marvins Minskis Karogs: Amerikas Savienotās Valstis ASV Par viņa centrālo lomu mākslīgā intelekta nozares radīšanā, veidošanā, veicināšanā un padziļināšanā.[8]
1970 Džeimss Vilkinsons Karogs: Apvienotā Karaliste Apvienotā Karaliste 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ē.[9]
1971 Džons Makartijs Karogs: Amerikas Savienotās Valstis ASV 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ē".[10]
1972 Edsgers Deikstra Karogs: Nīderlande Nīderlande Par 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.[11]
1973 Čārlzs Bahmans Karogs: Amerikas Savienotās Valstis ASV Par viņa ārkārtējiem ieguldījumiem datubāzu tehnoloģijā.[12]
1974 Donalds Knuts Karogs: Amerikas Savienotās Valstis ASV 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.[13]
1975 Elens Ņūels
Herberts Saimons
Karogs: Amerikas Savienotās Valstis ASV
Karogs: Amerikas Savienotās Valstis ASV
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ē.[14][15]
1976 Maikls Rabīns
Dana Skots
Karogs: Amerikas Savienotās Valstis ASV
Karogs: Amerikas Savienotās Valstis ASV
Par 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ā.[16][17]
1977 Džons Bekuss Karogs: Amerikas Savienotās Valstis ASV Par 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.[18]
1978 Roberts Floids Karogs: Amerikas Savienotās Valstis ASV 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.[19]
1979 Kenets Aiversons Karogs: Amerikas Savienotās Valstis ASV 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ē.[20]
1980 Entonijs Hoars Karogs: Apvienotā Karaliste Apvienotā Karaliste Par viņa pamatieguldījumiem programmēšanas valodu definēšanā un izstrādē.[21]
1981 Edgars Kods Karogs: Amerikas Savienotās Valstis ASV Par viņa fundamentālo un ilgstošo ieguldījumu datubāzu pārvaldības sistēmu teorijā un praksē.[22]
1982 Stīvens Kuks Karogs: Kanāda Kanāda Par mūsu izpratnes par skaitļošanas sarežģītību veidošanu nozīmīgā un pilnīgā veidā.[23]
1983 Kenets Tompsons
Deniss Ričijs
Karogs: Amerikas Savienotās Valstis ASV
Karogs: Amerikas Savienotās Valstis ASV
Par vispārīgas operētājsistēmu teorijas izstrādi un īpaši par UNIX operētājsistēmas realizāciju.[24][25]
1984 Niklauss Virts Karogs: Šveice Šveice Par vairāku inovatīvu programmēšanas valodu izstrādi — Algol W, Euler, Modula un Pascal.[26]
1985 Ričards Karps Karogs: Amerikas Savienotās Valstis ASV 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ā.[27]
1986 Džons Hopkrofts
Roberts Tarjans
Karogs: Amerikas Savienotās Valstis ASV
Karogs: Amerikas Savienotās Valstis ASV
Par fundamentāliem sasniegumiem algoritmu un datu struktūru izstrādē un analīzē.[28][29]
1987 Džons Koke Karogs: Amerikas Savienotās Valstis ASV 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.[30]
1988 Ivans Saterlends Karogs: Amerikas Savienotās Valstis ASV Par viņa pirmatklājēja un vizionāra devumu datorgrafikā, sākot ar Sketchpad un tā turpinājumu.[31]
1989 Viljams Kahans Karogs: Amerikas Savienotās Valstis ASV Par 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."[32]
1990 Fernando Korbato Karogs: Amerikas Savienotās Valstis ASV Par 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.[33]
1991 Robins Milners Karogs: Apvienotā Karaliste Apvienotā Karaliste Par 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.[34]
1992 Batlers Lampsons Karogs: Amerikas Savienotās Valstis ASV 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.[35]
1993 Juris Hartmanis
Ričards Sternss
Karogs: Amerikas Savienotās Valstis ASV
Karogs: Amerikas Savienotās Valstis ASV
Atzinība par pētījumiem, kas radīja pamatus skaitļošanas sarežģītības teorijai.[36][37]
1994 Edvards Feigenbaums
Radžs Redijs
Karogs: Amerikas Savienotās Valstis ASV
Karogs: Amerikas Savienotās Valstis ASV
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.[38][39]
1995 Manuels Blums Karogs: Amerikas Savienotās Valstis ASV 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ē.[40]
1996 Amirs Pnueli Karogs: Amerikas Savienotās Valstis ASV Par auglīgo darbu, ieviešot datorzinātnē pagaidu loģiku un par izcilu ieguldījumu programmu un sistēmu verifikācijā.[41]
1997 Duglass Engelbarts Karogs: Amerikas Savienotās Valstis ASV 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.[42]
1998 Džims Grejs Karogs: Amerikas Savienotās Valstis ASV Par sākotnējiem ieguldījumiem datubāžu un transakciju apstrādes pētījumos un tehniskā līdera lomu sistēmas realizācijā.[43]
1999 Freds Brukss Karogs: Amerikas Savienotās Valstis ASV Par nozīmīgu ieguldījumu datorarhitektūrā, operētājsistēmās un programminženierijā.[44]
2000 Endrū Jao Karogs: Ķīna Ķīna 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ā.[45]
2001 Ūle Johans Dāls
Kristens Nīgārds
Karogs: Norvēģija Norvēģija
Karogs: Norvēģija Norvēģija
Par fundamentālām idejām objektorientētas programmēšanas izveidei, strādājot pie programmēšanas valodu Simula I un Simula 67 izveides.[46][47]
2002 Ronalds Rivests
Adi Šamirs
Leonards Adlemans
Karogs: Amerikas Savienotās Valstis ASV
Karogs: Izraēla Izraēla
Karogs: Amerikas Savienotās Valstis ASV
Par svarīgo ieguldījumu, padarot publiskās atslēgas kriptogrāfijas mehānismu noderīgu praksē.[48][49][50]
2003 Alans Kejs Karogs: Amerikas Savienotās Valstis ASV 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ā.[51]
2004 Vintons Serfs
Roberts Kāns
Karogs: Amerikas Savienotās Valstis ASV
Karogs: Amerikas Savienotās Valstis ASV
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ā.[52][53]
2005 Peters Naurs Karogs: Dānija Dānija 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.[54]
2006 Frānsisa Allena Karogs: Amerikas Savienotās Valstis ASV 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.[55]
2007 Edmunds Klārks
Elens Emersons
Džozefs Sifakis
Karogs: Amerikas Savienotās Valstis ASV
Karogs: Amerikas Savienotās Valstis ASV
Karogs: Francija Francija
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ā.[56][57][58]
2008 Barbara Liskova Karogs: Amerikas Savienotās Valstis ASV 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.[59]
2009 Čārlzs Tekers Karogs: Amerikas Savienotās Valstis ASV Par pirmā mūsdienu personālā datora Alto projektēšanu un realizāciju un papildus par viņa dalību Ethernet un Tablet PC.[60]
2010 Leslijs Veliants Karogs: Amerikas Savienotās Valstis ASV Par 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.[61]
2011 Džūda Perls Karogs: Amerikas Savienotās Valstis ASV Par fundamentālo ieguldījumu mākslīgajā intelektā, attīstot varbūtības un cēloņsakarības aprēķinus.[62]
2012 Silvio Mikali
Šafija Goldvasere
Karogs: Amerikas Savienotās Valstis ASV
Karogs: Amerikas Savienotās Valstis ASV, Karogs: Izraēla Izraēla
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ā.[63][64]
2013 Leslijs Lemports Karogs: Amerikas Savienotās Valstis ASV Par 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.[65]
2014 Maikls Stounbreikers Karogs: Amerikas Savienotās Valstis ASV Par 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.[66]

Atsauces[labot š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. Funding Level increased to $1M. ACM.
  4. Brīvs tulkojums no precīzā citāta. Pilnu tekstu angļu valodā skatīt atsaucēs.
  5. Alan J Perlis. ACM.
  6. Maurice V. Wilkes. ACM.
  7. Richard W. Hamming. ACM.
  8. Marvin Minsky. ACM.
  9. James Hardy ("Jim") Wilkinson. ACM.
  10. John McCarthy. ACM.
  11. Edsger Wybe Dijkstra. ACM.
  12. Charles William Bachman. ACM.
  13. Donald ("Don") Ervin Knuth. ACM.
  14. Allen Newell. ACM.
  15. Herbert ("Herb") Alexander Simon. ACM.
  16. Michael O. Rabin. ACM.
  17. Dana Stewart Scott. ACM.
  18. John Backus. ACM.
  19. Robert (Bob) W Floyd. ACM.
  20. Kenneth E. ("Ken") Iverson. ACM.
  21. C. Antony ("Tony") R. Hoare. ACM.
  22. Edgar F. ("Ted") Codd. ACM.
  23. Stephen Arthur Cook. ACM.
  24. Kenneth Lane Thompson. ACM.
  25. Dennis M. Ritchie. ACM.
  26. Niklaus E. Wirth. ACM.
  27. Richard ("Dick") Manning Karp. ACM.
  28. John E Hopcroft. ACM.
  29. Robert (Bob) Endre Tarjan. ACM.
  30. John Cocke. ACM.
  31. Ivan Sutherland. ACM.
  32. William (“Velvel”) Morton Kahan. ACM.
  33. Fernando J ("Corby") Corbato. ACM.
  34. Arthur John Robin Gorell ("Robin") Milner. ACM.
  35. Butler W Lampson. ACM.
  36. Juris Hartmanis. ACM.
  37. Richard ("Dick") Edwin Stearns. ACM.
  38. Edward A ("Ed") Feigenbaum. ACM.
  39. Dabbala Rajagopal ("Raj") Reddy. ACM.
  40. Manuel Blum. ACM.
  41. Amir Pnueli. ACM.
  42. Douglas Engelbart. ACM.
  43. James ("Jim") Nicholas Gray. ACM.
  44. Frederick ("Fred") Brooks. ACM.
  45. Andrew Chi-Chih Yao. ACM.
  46. Ole-Johan Dahl. ACM.
  47. Kristen Nygaard. ACM.
  48. Ronald (Ron) Linn Rivest. ACM.
  49. Adi Shamir. ACM.
  50. Leonard (Len) Max Adleman. ACM.
  51. Alan Kay. ACM.
  52. Vinton (“Vint”) Gray Cerf. ACM.
  53. Robert (“Bob”) Elliot Kahn. ACM.
  54. Peter Naur. ACM.
  55. Frances ("Fran") Elizabeth Allen. ACM.
  56. Edmund Melson Clarke. ACM.
  57. E. Allen Emerson. ACM.
  58. Joseph Sifakis. ACM.
  59. Barbara Liskov. ACM.
  60. Charles P. (Chuck) Thacker. ACM.
  61. Leslie Gabriel Valiant. ACM.
  62. Judea Pearl. ACM.
  63. Silvio Micali. ACM.
  64. Shafi Goldwasser. ACM.
  65. Leslie Lamport. ACM.
  66. Michael Stonebraker. ACM.

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