Movatterモバイル変換

[0]ホーム
URL:

Przejdź do zawartości
Wikipediawolna encyklopedia
Szukaj

Nagroda Turinga

Z Wikipedii, wolnej encyklopedii
Nagroda Turinga
Nagroda za

osiągnięcia w dziedzinieinformatyki

Przyznający

Association for Computing Machinery

Państwo

 Stany Zjednoczone

Pierwsze rozdanie

1966

Multimedia w Wikimedia Commons
Strona internetowa

Nagroda Turinga – nagroda przyznawana corocznie od 1966 za wybitne osiągnięcia w dziedzinieinformatyki przezAssociation for Computing Machinery (ACM)[1].

Nazwa nagrody została ustanowiona dla uczczeniabrytyjskiego współtwórcy informatyki, matematykaAlana Turinga[1]. Na czele komisji przyznającej wyróżnienie zasiada Michael Jordan z ACM, a w jej skład wchodzą m.in. przedstawiciele uczelni technicznych i przedsiębiorstw informatycznych[2].

Początkowo wyróżnieniu towarzyszyła nagroda pieniężna w wysokości 25 000 USD fundowana przez ACM. 3 grudnia 2002, dzięki wsparciu przedsiębiorstwaIntel, nagroda ta wzrosła do 100 000 USD[3]. 26 lipca 2007 przedsiębiorstwoGoogle dołączyło do Intela zwiększając nagrodę do 250 000 USD[4]. 13 listopada 2014 poinformowano, że nagroda wzrasta do 1 000 000 USD[5] i jest fundowana wyłącznie przez Google[6].

Nagroda Turinga bywa określana mianem „informatycznejnagrody Nobla”[1].

Wyróżnieni

[edytuj |edytuj kod]
 Z tym tematem związana jest kategoria:Laureaci Nagrody Turinga.
RokWyróżnieniUzasadnienieŹródła
1966Stany ZjednoczoneAlan PerlisZa wpływ na rozwój zaawansowanych technikprogramowania i budowykompilatorów.[7]
1967Wielka BrytaniaMaurice V. WilkesProfesor Wilkes jest znany jako projektant i wykonawca pierwszego komputera wykorzystującego program przechowywany w pamięci wewnętrznej. Zbudowany w 1949 rokuEDSAC używałpamięci rtęciowej. Znany jest również jako współautor książkiPreparation of Programs for Electronic Digital Computers z 1951 roku, w której razem zDavidem Johnem Wheelerem iStanleyem Gillem wprowadzili koncepcjębiblioteki programistycznej.[8]
1968Stany ZjednoczoneRichard HammingZa pracę nadmetodami numerycznymi, automatycznymi systemami kodowania oraz kodami wykrywającymi i korygującymi błędy.[9]
1969Stany ZjednoczoneMarvin MinskyZa pracę nadsztuczną inteligencją.[10]
1970Wielka BrytaniaJames H. WilkinsonZa badania w dziedzinieanalizy numerycznej w celu ułatwienia stosowania komputerów cyfrowych wysokiej prędkości, otrzymał specjalny dowód uznania za pracę w obliczaniualgebry liniowej i wstecznej analizie błędów.[11]
1971Stany ZjednoczoneJohn McCarthyWykład dr. McCarthy’ego „Obecny stan badań nadsztuczną inteligencją” jest tematem, który pokrywa obszar, w którym osiągnął poważne uznanie za swoją pracę.[12]
1972HolandiaEdsger DijkstraEdsger Dijkstra był główną osobą wnoszącą wkład w późnych latach 50. XX w. w rozwójAlgolu, wysoko poziomowegojęzyka programowania, który stał się przykładem przejrzystości i matematycznej dokładności. Jest jednym z głównych przedstawicieli sztuki języków programowania i nauki z nimi związanej w ogóle, a także ogromnie przyczynił się do naszego rozumienia ich budowy, opisu i realizacji. Piętnaście lat jego publikacji rozciąga się od artykułów teoretycznych na tematteorii grafów, do podstawowych podręczników, wyjaśniających tekstów i filozoficznych rozważań w dziedzinie języków programowania.[13]
1973Stany ZjednoczoneCharles W. BachmanZa wybitny wkład w technologiębaz danych.[14]
1974Stany ZjednoczoneDonald E. KnuthZa poważny wkład w analizę algorytmów i projektowaniejęzyków programowania i szczególnie za wkład wSztukę programowania poprzez znaną serię książek pod tym samym tytułem.[15]
1975Stany ZjednoczoneAllen Newell
Stany ZjednoczoneHerbert Simon		We wspólnych naukowych staraniach, rozciągających się przez 20 lat, początkowo we współpracy z J.C. Shawem iRAND Corporation, później wraz z licznymi kolegami z wydziału i studentamiCarnegie Mellon University wPittsburghu, wnieśli fundamentalny wkład w badania nadsztuczną inteligencją, psychologią ludzkiego poznania i procesem ewidencji.[16][17]
1976NiemcyMichael O. Rabin
Stany ZjednoczoneDana S. Scott		Za wspólnie napisaną pracęFinite Automata and Their Decision Problem, która wprowadziła ideęniedeterministycznego automatu skończonego dowodzącą, iż jest ogromnie wartościowym pojęciem. Ich książka jest nieprzerwaną inspiracją dla późniejszych prac w tej dziedzinie.[18][19]
1977Stany ZjednoczoneJohn BackusZa dogłębny, wpływowy i trwały wkład w projekt praktycznych metod wysoko poziomowego programowania, w znacznej mierze poprzez pracę nadFortranem i za płodne publikacje na temat formalistycznych procedur dla dokumentacjijęzyków programowania.[20]
1978Stany ZjednoczoneRobert W. FloydZa istotny wpływ na metodologię tworzenia wydajnych i niezawodnych oprogramowań. Za pomoc w ufundowaniu badań nad istotnymi dziedzinami informatyki: teoriiparsowania, semantykęjęzyków programowania, automatycznąweryfikację formalną, automatyczną syntezę programów, ianalizę algorytmów.[21]
1979KanadaKenneth E. IversonZa pionierski wysiłek wjęzykach programowania i matematyczny zapis z którego wynikł język programowania obecnie znany jakoAPL, za jego wkład w realizację systemów interaktywnych, edukacyjne wykorzystanie APL i w teorię i praktykę języków programowania.[22]
1980Wielka BrytaniaC. Antony R. HoareZa istotny wkład w określenie i projekt języków programowania.[23]
1981Wielka BrytaniaEdgar F. CoddZa zasadniczy i trwały wkład w teorię i praktykęsystemu zarządzania bazą danych a zwłaszcza wmodel baz danych oparty na postulatach relacyjności.[24]
1982Stany ZjednoczoneStephen A. CookZa postęp w zrozumieniuteorii złożoności obliczeniowej w sposób znaczący i dogłębny.[25]
1983Stany ZjednoczoneDennis Ritchie
Stany ZjednoczoneKen Thompson		Za ogólny rozwój teorii systemów operacyjnych, a szczególnie za napisanie systemu operacyjnegoUnix.[26][27]
1984SzwajcariaNiklaus WirthZa rozwinięcie szeregu nowatorskich języków programowaniaEuler,Algol W,Pascal iModula. Pascal stał się językiem ważnym z punktu widzenia edukacji, a także podstawą do dalszych badań nad językami, systemami i architekturami komputerowymi.[28]
1985Stany ZjednoczoneRichard M. KarpZa trwały wkład w teorięalgorytmów, włącznie z rozwojem wydajnych algorytmów dlaproblemu przepływu w sieciach oraz innych problemówoptymalizacji kombinatorycznej, identyfikację wielomianowego czasu wykonania z intuicyjnym pojęciem algorytmicznej wydajności i to, co najbardziej znaczące, wkład w teorięNP-zupełności. Karp wprowadził nową metodologię dowodzenia NP-zupełności problemów, co pozwoliło zidentyfikować wiele zagadnień teoretycznych jakotrudne obliczeniowo.[29]
1986Stany ZjednoczoneJohn Hopcroft
Stany ZjednoczoneRobert Tarjan		Za fundamentalny wkład w projektowanie i analizę algorytmów i struktur danych.[30][31]
1987Stany ZjednoczoneJohn CockeZa znaczący wkład w teorię i projektowanie kompilatorów, w architekturę dużych systemów i w rozwójarchitektury RISC; za wynalezienie i usystematyzowanie podstawowych przekształceń optymalizacyjnych używanych obecnie w kompilatorach:redukcję siły operatorów (ang. reduction of operator strength),eliminację wspólnych podwyrażeń (ang. elimination of common subexpressions),alokację rejestrów (ang. register allocation),propagację stałych (ang. constant propagation) ieliminację nieużytecznego kodu (ang. dead code elimination).[32]
1988Stany ZjednoczoneIvan SutherlandZa pionierski i wizjonerski wkład w grafikę komputerową, którego początkiem byłSketchpad i jego dalszą kontynuację.[33]
1989KanadaWilliam KahanZa istotny wkład wanalizę numeryczną. Czołowy ekspert od obliczanialiczb zmiennoprzecinkowych. Kahan oddał się sprawie „zrobienia bezpiecznego świata dla obliczeń liczbowych”.[34]
1990Stany ZjednoczoneFernando J. CorbatóZa pionierską pracę w uporządkowaniu pomysłów i kierowanie rozwojem systemów komputerowych na dużą skalę, ogólnego przeznaczenia z podziałem czasu i zasobów,CTSS iMultics.[35]
1991Wielka BrytaniaRobin MilnerZa trzy odmienne i skończone dokonania:
  • 1) LCT, mechanizacja „Logiki funkcji obliczeniowych” Scotta, prawdopodobnie pierwszym opartym na teorii, a zarazem praktycznym narzędziem dlaautomatycznego dowodzenia twierdzeń;
  • 2)ML pierwszy język uwzględniający wielokształtny typ wnioskowania, razem z mechanizmemtypowania dynamicznegowyjątków;
  • 3) CCS, ogólna teoria współbieżności. Dodatkowo, sformułował i mocno zaawansował pełną abstrakcję, naukę o związkach zachodzących pomiędzy semantyką operacyjną a znaczeniową.
[36]
1992Stany ZjednoczoneButler W. LampsonZa wkład w rozwój rozprowadzanych osobistych środowisk komputerowych i technologii ich wykonania:stacji roboczej,sieci komputerowej,systemu operacyjnego,oprogramowania,monitora,bezpieczeństwa teleinformatycznego iprocesora tekstu.[37]
1993Stany ZjednoczoneJuris Hartmanis
Stany ZjednoczoneRichard E. Stearns		W dowód uznania za przełomową pracę, która ustaliła fundamenty pod dziedzinęteorii złożoności obliczeniowej.[38][39]
1994Stany ZjednoczoneEdward Feigenbaum
IndieRaj Reddy		Za pionierskie projekty i konstrukcje wielkoskalowych systemów sztucznej inteligencji, pokazujące praktyczne znaczenie i potencjalny komercyjny wpływ technologii sztucznej inteligencji.[40][41]
1995WenezuelaManuel BlumW dowód uznania za wkład w rozwójteorii złożoności obliczeniowej oraz jej zastosowań wkryptografii iweryfikacji formalnej.[42]
1996IzraelAmir PnueliZa wprowadzenielogiki temporalnej doinformatyki oraz znaczący wkład wweryfikację systemów iprogramów.[43]
1997Stany ZjednoczoneDouglas EngelbartZa inspirującą wizję przyszłości komputerów interaktywnych i wynalezienie kluczowych technologii pomocnych w realizacji tej wizji.[44]
1998Stany ZjednoczoneJames GrayZa wkład w dziedzinie teoriibaz danych, szczególnie w dziedzinie przetwarzania transakcyjnego.[45]
1999Stany ZjednoczoneFrederick P. Brooks Jr.Za wkład w dziedziniearchitektury komputerów,systemów operacyjnych iinżynierii oprogramowania.[46]
2000ChinyAndrew Chi-Chih YaoZa wkład w rozwójteorii obliczeń, a w szczególności teoriigeneratorów liczb pseudolosowych,kryptologii izłożoności komunikacyjnej.[47]
2001NorwegiaOle-Johan Dahl
NorwegiaKristen Nygaard		Za współtworzenie koncepcjiobiektowych języków programowania i opracowania językaSimula.[48][49]
2002Stany ZjednoczoneLeonard M. Adleman
Stany ZjednoczoneRonald L. Rivest
IzraelAdi Szamir		Za pomysłowy wkład w uczynieniekryptografii asymetrycznej użytecznej w praktyce.[50][51][52]
2003Stany ZjednoczoneAlan KayZa pionierską pracę nadobiektowymi językami programowania jako lider zespołu tworzącego językSmalltalk i fundamentalny wkład w rozwójkomputerów osobistych.[53]
2004Stany ZjednoczoneVinton G. Cerf
Stany ZjednoczoneRobert E. Kahn		Za pionierskie prace nad internetem, wliczając w to projekt i wykonanie podstawowych protokołów komunikacyjnychTCP/IP i za przewodnictwo w badaniach na Internetem.[54][55]
2005DaniaPeter NaurZa wkład w definicję językaAlgol 60, konstrukcjękompilatorów oraz sztukę i praktykę programowania.[56]
2006Stany ZjednoczoneFrances E. AllenZa wkład, który zasadniczo poprawił rozwiązywanie problemów w programach komputerowych, oraz przyspieszył użycie wysokowydajnych obliczeń.[57]
2007Stany ZjednoczoneEdmund M. Clarke
Stany ZjednoczoneE. Allen Emerson
GrecjaJoseph Sifakis		Za wkład w rozwójModel Checking jako wysoko efektywnej technologii, szeroko stosowanej w budowie sprzętu komputerowego i oprogramowania.[58][59][60]
2008Stany ZjednoczoneBarbara LiskovZa wkład do praktycznych i teoretycznych podstaw języków programowania i projektowania systemów, zwłaszcza odnoszący się do abstrakcji danych, odporności na błędy i obliczenia rozproszone.[61]
2009Stany ZjednoczoneCharles P. ThackerZa pionierski projekt i realizację pierwszego współczesnego komputera osobistego –Alto.[62]
2010Wielka BrytaniaLeslie ValiantZa przełomowy wkład wteorię obliczeń, w tym obliczeniową teorię uczenia się (PAC),złożoność obliczeniową,obliczenia algebraiczne, teorię obliczeńrównoległych orazrozproszonych.[63]
2011IzraelJudea PearlZa wkład wsztuczną inteligencję poprzez rozwójrachunku różniczkowego dla rozumowania probabilistycznego i przyczynowego.[64]
2012Stany ZjednoczoneShafi Goldwasser
WłochySilvio Micali		Za teoretyczne podwalinykryptografii oraz za wprowadzenie nowych metod efektywnej weryfikacji dowodów matematycznych wteorii złożoności.[65][66]
2013Stany ZjednoczoneLeslie LamportZa wkład w teorię i praktykę systemówrozproszonych irównoległych, w szczególności za wprowadzenie koncepcji przyczynowości i zegarów logicznych, bezpieczeństwa i żywotności orazspójności sekwencyjnej.[67]
2014Stany ZjednoczoneMichael StonebrakerZa wkład w rozwój założeń i praktyk podstaw nowoczesnychbaz danych.[68]
2015Stany ZjednoczoneWhitfield Diffie
Stany ZjednoczoneMartin Hellman		Za wkład we współczesnąkryptografię.[69][70]
2016Wielka BrytaniaTim Berners-LeeZa stworzenieWorld Wide Web, pierwszejprzeglądarki internetowej oraz podstawowych protokołów i algorytmów internetowych.[71]
2017Stany ZjednoczoneJohn L. Hennessy
Stany ZjednoczoneDavid Patterson		Za systematyczne, ilościowe podejście do projektowania i oceniania architektur komputerowych mające trwały wpływ na przemysł mikroprocesorowy.[72]
2018KanadaYoshua Bengio
Wielka BrytaniaGeoffrey Hinton
FrancjaYann LeCun		Za przełomy konceptualne oraz inżynieryjne, które uczyniły głębokiesieci neuronowe krytycznym komponentem Informatyki.[73]
2019Stany ZjednoczoneEdwin E. Catmull
Stany ZjednoczonePatrick M. Hanrahan		Za zasadniczy wkład wgrafikę komputerową3D i za rewolucyjny wpływ naobrazy generowane komputerowo (ang. CGI computer-generated imagery) wykorzystywane wprodukcji filmowej i innych zastosowaniach[74]
2020KanadaAlfred V. Aho

Stany ZjednoczoneJeffrey Ullman

Za algorytmy i teorię leżącą u podstaw implementacji języka programowania oraz za syntezę tych i innych wyników w swoich książkach, które kształciły pokolenia informatyków.[75]
2021Stany ZjednoczoneJack DongarraZa wkład w algorytmy numeryczne i biblioteki, które umożliwiły oprogramowaniu obliczeniowemu o wysokiej wydajności dotrzymywanie kroku z eksponentacyjnymi ulepszeniami sprzętu przez ponad cztery dekady[76]
2022Stany ZjednoczoneRobert MetcalfeZa wynalezienie, standaryzację i komercjalizację technologiiEthernet[77][78]
2023IzraelAwi WigdersonZa fundamentalny wkład wteorię obliczeń, w szczególności za zmianę rozumienia roli losowości w obliczeniach, a także za dziesięciolecia intelektualnego przywództwa w informatyce teoretyczne[79]
2024Stany ZjednoczoneAndrew Barto

KanadaRichard S. Sutton

Za rozwój pomysłu i podstaw algorytmicznychuczenia przez wzmacnianie[80]

Przypisy

[edytuj |edytuj kod]
  1. ↑abcA.M. Turing Award. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  2. ↑Committee of the ACM A.M. Turing Award. awards.acm.org. [dostęp 2015-06-12]. (ang.).
  3. ↑ACM’s Turing Award Prize Raised to $100,000. acm.org. [dostęp 2015-06-14]. [zarchiwizowane ztego adresu (2007-01-20)]. (ang.).
  4. ↑ACM’s Turing Award Prize Raised To $250,000. acm.org. [dostęp 2015-06-14]. [zarchiwizowane ztego adresu (2008-12-30)]. (ang.).
  5. ↑Funding Level increased to $1M. amturing.acm.org. [dostęp 2015-06-13]. (ang.).
  6. ↑ACM Awards Sponsors. awards.acm.org. [dostęp 2015-06-12]. (ang.).
  7. ↑A.J. Perlis. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  8. ↑Maurice V. Wilkes. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  9. ↑Richard W. Hamming. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  10. ↑Marvin Minsky. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  11. ↑James Hardy („Jim”) Wilkinson. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  12. ↑John McCarthy. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  13. ↑Edsger Wybe Dijkstra. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  14. ↑Charles William Bachman. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  15. ↑Donald („Don”) Ervin Knuth. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  16. ↑Allen Newell. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  17. ↑Herbert („Herb”) Alexander Simon. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  18. ↑Michael O. Rabin. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  19. ↑Dana Stewart Scott. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  20. ↑John Backus. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  21. ↑Robert („Bob”) W. Floyd. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  22. ↑Kenneth E. („Ken”) Iverson. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  23. ↑C. Antony („Tony”) R. Hoare. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  24. ↑Edgar F. („Ted”) Codd. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  25. ↑Stephen Arthur Cook. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  26. ↑Dennis M. Ritchie. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  27. ↑Kenneth Lane Thompson. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  28. ↑Niklaus E. Wirth. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  29. ↑Richard („Dick”) Manning Karp. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  30. ↑John E. Hopcroft. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  31. ↑Robert („Bob”) Endre Tarjan. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  32. ↑John Cocke. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  33. ↑Ivan Sutherland. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  34. ↑William („Velvel”) Morton Kahan. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  35. ↑Fernando J („Corby”) Corbato. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  36. ↑Arthur John Robin Gorell („Robin”) Milner. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  37. ↑Butler W. Lampson. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  38. ↑Juris Hartmanis. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  39. ↑Richard („Dick”) Edwin Stearns. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  40. ↑Edward A. („Ed”) Feigenbaum. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  41. ↑Dabbala Rajagopal („Raj”) Reddy. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  42. ↑Manuel Blum. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  43. ↑Amir Pnueli. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  44. ↑Douglas Engelbart. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  45. ↑James („Jim”) Nicholas Gray. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  46. ↑Frederick („Fred”) Brooks. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  47. ↑Andrew Chi-Chih Yao. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  48. ↑Ole-Johan Dahl. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  49. ↑Kristen Nygaard. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  50. ↑Leonard („Len”) Max Adleman. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  51. ↑Ronald („Ron”) Linn Rivest. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  52. ↑Adi Shamir. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  53. ↑Alan Kay. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  54. ↑Vinton („Vint”) Gray Cerf. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  55. ↑Robert („Bob”) Elliot Kahn. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  56. ↑Peter Naur. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  57. ↑Frances („Fran”) Elizabeth Allen. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  58. ↑Edmund Melson Clarke. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  59. ↑E. Allen Emerson. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  60. ↑Joseph Sifakis. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  61. ↑Barbara Liskov. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  62. ↑Charles P. („Chuck”) Thacker. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  63. ↑Leslie Gabriel Valiant. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  64. ↑Judea Pearl. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  65. ↑Shafi Goldwasser. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  66. ↑Silvio Micali. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  67. ↑Leslie Lamport. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  68. ↑Michael Stonebraker. amturing.acm.org. [dostęp 2015-06-12]. (ang.).
  69. ↑Whitfield Diffie. amturing.acm.org. [dostęp 2016-04-13]. (ang.).
  70. ↑Martin Hellman. amturing.acm.org. [dostęp 2016-04-13]. (ang.).
  71. ↑Sir Tim Berners-Lee. amturing.acm.org. [dostęp 2017-04-06]. (ang.).
  72. ↑Pioneers of Modern Computer Architecture Receive ACM A.M. Turing Award. acm.org, 2018-03-21. [dostęp 2019-03-27]. (ang.).
  73. ↑Fathers of the Deep Learning Revolution Receive ACM A.M. Turing Award. acm.org, 2019-03-27. [dostęp 2019-03-27]. (ang.).
  74. ↑Pioneers of Modern Computer Graphics Recognized with ACM A.M. Turing Award Hanrahan and Catmull’s Innovations Paved the Way for Today’s 3-D Animated Films. acm.org, 2019-03-18. [dostęp 2020-03-25]. (ang.).
  75. ↑Columbia's Alfred Aho and Stanford's Jeffrey Ullman receive 2020 ACM A.M. Turing Award [online], awards.acm.org [dostęp 2021-12-22] (ang.).
  76. ↑Open Graph Title: University of Tennessee’s Jack Dongarra receives 2021 ACM A.M. Turing Award [online], awards.acm.org [dostęp 2024-01-08] (ang.).
  77. ↑Miliardy ludzi znają jego wynalazek. Na fortunę czekał 50 lat [online], telepolis.pl, 22 marca 2023 [dostęp 2024-01-08] (pol.).
  78. ↑Robert Melancton Metcalfe - A.M. Turing Award Laureate [online], amturing.acm.org [dostęp 2024-01-08] .
  79. ↑Avi Wigderson of the Institute for Advanced Study is the recipient of the 2023 ACM A.M. Turing Award [online], awards.acm.org [dostęp 2024-06-04] (ang.).
  80. ↑Andrew Barto and Richard Sutton are the recipients of the 2024 ACM A.M. Turing Award for developing the conceptual and algorithmic foundations of reinforcement learning. [online], awards.acm.org [dostęp 2025-04-24] (ang.).

Linki zewnętrzne

[edytuj |edytuj kod]
LaureaciNagrody Turinga
XX wiek
XXI wiek
Encyklopedie internetowe (nagroda naukowa):
Źródło: „https://pl.wikipedia.org/w/index.php?title=Nagroda_Turinga&oldid=77273444”
Kategoria:
[8]ページ先頭
©2009-2025 Movatter.jp