Tjūringa balva
Vikipēdijas raksts
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] Kops 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]
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ē" |
| 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ā. |
| 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]
- ↑ 1,0 1,1 1,2 A. M. Turing Award. ACM. Atjaunināts: 2007-11-05.
- ↑ Homer, Steven and Alan L. Selman, Computability and Complexity Theory, Springer via Google Books limited view, 35. lpp., ISBN 0-3879-5055-9, <http://books.google.com/books?id=r5kOgS1IB-8C&pg=PA35>
- ↑ 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
- ↑ 2007 Turing Award Winners Announced
Ārējās saites [izmainīt šo sadaļu]
- ACM Tjūringa balvas saņēmēju saraksts (angliski)
- Tjūringa balvas lekciju bibliogrāfija (līdz 2000) (angliski)
- The Beauty of Computing--The First 40 Years of Turing Award (angliski)