Nagroda Turinga -Turing Award
Nagroda ACM Turinga | |
---|---|
Nagrodzony za | Wybitny wkład w informatykę |
Kraj | Stany Zjednoczone |
Przedstawione przez | Stowarzyszenie Maszyn Komputerowych (ACM) |
Nagrody) | 1 000 000 USD |
Pierwszy nagrodzony | 1966 |
Ostatni nagrodzony | 2022 |
Strona internetowa | amturing |
ACM AM Turing Award to coroczna nagroda przyznawana przez Association for Computing Machinery (ACM) za wkład o trwałym i dużym znaczeniu technicznym dla informatyki . Jest powszechnie uznawana za najwyższe wyróżnienie w dziedzinie informatyki i jest potocznie nazywana lub często określana jako „ Nagroda Nobla w dziedzinie informatyki ”.
Nagroda nosi imię Alana Turinga , który był brytyjskim matematykiem i wykładowcą matematyki na Uniwersytecie w Manchesterze . Turing jest często uznawany za głównego twórcę informatyki teoretycznej i sztucznej inteligencji . W latach 2007-2013 nagrodzie towarzyszyła dodatkowa nagroda w wysokości 250 000 USD, przy wsparciu finansowym firmy Intel i Google. Od 2014 roku nagrodzie towarzyszy nagroda w wysokości 1 miliona USD, przy wsparciu finansowym firmy Google.
Pierwszym odbiorcą, w 1966 roku, był Alan Perlis z Carnegie Mellon University . Pierwszą odbiorcą płci żeńskiej była Frances E. Allen z IBM w 2006 roku. Ostatnim odbiorcą, w 2022 roku, jest Robert Metcalfe za wynalezienie Ethernetu .
Odbiorcy
Rok | Odbiorca (odbiorcy) | Zdjęcie | Racjonalne uzasadnienie | Powiązany(e) instytut(y) |
---|---|---|---|---|
1966 | Alana Perlisa | Za wpływy w dziedzinie zaawansowanych technik programowania komputerów i budowy kompilatorów . | Carnegie Mellon University | |
1967 | Maurycego Wilkesa | Wilkes jest najlepiej znany jako budowniczy i projektant EDSAC , pierwszego komputera z wewnętrznie przechowywanym programem . Zbudowany w 1949 roku EDSAC wykorzystywał rtęciową linię opóźniającą pamięć . Znany jest również jako autor, wraz z Wheelerem i Gillem, tomu „Przygotowanie programów dla elektronicznych komputerów cyfrowych” z 1951 r., W którym skutecznie wprowadzono biblioteki programów . | Uniwersytet Cambridge | |
1968 | Richarda Hamminga | Za pracę nad metodami numerycznymi , automatycznymi systemami kodowania oraz kodami wykrywającymi i korygującymi błędy. | Laboratoria Bella | |
1969 | Marvina Minskiego | Za swoją centralną rolę w tworzeniu, kształtowaniu, promowaniu i rozwijaniu dziedziny sztucznej inteligencji . | Instytut Technologii w Massachusetts | |
1970 | Jamesa H. Wilkinsona | Za badania nad analizą numeryczną ułatwiającą korzystanie z szybkiego komputera cyfrowego, otrzymał specjalne uznanie za pracę w obliczeniach algebry liniowej i analizie błędów „wstecznej”. | Narodowe Laboratorium Fizyczne | |
1971 | Johna McCarthy'ego | Wykład McCarthy'ego „Obecny stan badań nad sztuczną inteligencją” to temat obejmujący obszar, w którym osiągnął on znaczne uznanie za swoją pracę. | Uniwersytet Stanford | |
1972 | Edsger W. Dijkstra | Edsger Dijkstra był głównym współtwórcą pod koniec lat pięćdziesiątych XX wieku ALGOL , języka programowania wysokiego poziomu , który stał się wzorem przejrzystości i matematycznej dyscypliny. Jest jednym z głównych orędowników nauki i sztuki języków programowania w ogólności iw znacznym stopniu przyczynił się do zrozumienia ich struktury, reprezentacji i implementacji. Jego piętnastoletnie publikacje obejmują artykuły teoretyczne z teorii grafów, podstawowe podręczniki, teksty ekspozycyjne i filozoficzne rozważania w dziedzinie języków programowania. |
Centrum Wiedzy i Informatyki , Politechnika w Eindhoven , Uniwersytet Teksasu w Austin |
|
1973 | Karola Bachmana | Za wybitny wkład w technologię baz danych . | General Electric Research Laboratory (obecnie pod Groupe Bull , firma Atos ) | |
1974 | Donalda Knuta | Za jego znaczący wkład w analizę algorytmów i projektowanie języków programowania, aw szczególności za wkład w „ Sztuka programowania komputerowego ” poprzez jego dobrze znane książki w ciągłej serii pod tym tytułem. |
California Institute of Technology , Centrum Badań nad Komunikacją, Centrum Komunikacji i Informatyki, Instytut Analiz Obronnych , Uniwersytet Stanforda |
|
1975 | Allena Newella | W ramach wspólnych wysiłków naukowych trwających ponad dwadzieścia lat, początkowo we współpracy z JC Shawem z RAND Corporation , a następnie z licznymi wykładowcami i studentami z Carnegie Mellon University , wnieśli podstawowy wkład w sztuczną inteligencję, psychologię ludzkiego poznania i listę przetwarzanie. |
RAND Corporation , Carnegie Mellon University |
|
Herbert A. Szymon | ||||
1976 | Michael O. Rabin | Za wspólną pracę „Skończone automaty i ich problem decyzyjny”, która wprowadziła ideę maszyn niedeterministycznych , nieustanne źródło inspiracji dla późniejszych prac w tej dziedzinie. | Uniwersytet Princeton | |
Dana Scott | Uniwersytet Chicagowski | |||
1977 | Jana Backusa | Za głęboki, wpływowy i trwały wkład w projektowanie praktycznych systemów programowania wysokiego poziomu, zwłaszcza poprzez jego pracę nad FORTRAN , oraz za przełomową publikację formalnych procedur specyfikacji języków programowania . | IBM | |
1978 | Roberta W. Floyda | Za wywarcie wyraźnego wpływu na metodologie tworzenia wydajnego i niezawodnego oprogramowania oraz pomoc w stworzeniu następujących ważnych poddziedzin informatyki : teorii parsowania , semantyki języków programowania, automatycznej weryfikacji programów , automatycznej syntezy programów i analizy algorytmów . |
Uniwersytet Carnegie Mellon , Uniwersytet Stanforda |
|
1979 | Kennetha E. Iversona | Za pionierski wysiłek w zakresie języków programowania i notacji matematycznej, którego wynikiem jest to, co dziedzina informatyki zna obecnie jako APL , za wkład we wdrażanie systemów interaktywnych, edukacyjne zastosowania APL oraz teorię i praktykę języka programowania. | IBM | |
1980 | Tony'ego Hoare'a | Za fundamentalny wkład w definiowanie i projektowanie języków programowania. |
Queen’s University Belfast , Uniwersytet Oksfordzki |
|
1981 | Edgara F. Codda | Za swój fundamentalny i ciągły wkład w teorię i praktykę systemów zarządzania bazami danych, zwł. relacyjne bazy danych . | IBM | |
1982 | Stefana Cooka | Za postęp w naszym zrozumieniu złożoności obliczeń w znaczący i głęboki sposób. | uniwersytet w Toronto | |
1983 | Kena Thompsona | Za rozwój ogólnej teorii systemów operacyjnych, aw szczególności za wdrożenie systemu operacyjnego UNIX . | Laboratoria Bella | |
Dennisa Ritchiego | ||||
1984 | Niklausa Wirtha | Za opracowanie sekwencji innowacyjnych języków komputerowych EULER , ALGOL-W , Pascal , MODULA i Oberon . |
Uniwersytet Stanforda , Uniwersytet w Zurychu , ETH Zurich |
|
1985 | Ryszard M. Karp | Za jego ciągły wkład w teorię algorytmów, w tym rozwój wydajnych algorytmów przepływu sieci i innych problemów optymalizacji kombinatorycznej, identyfikację obliczalności w czasie wielomianowym z intuicyjnym pojęciem wydajności algorytmicznej, a przede wszystkim wkład w teorię NP - kompletność . | Uniwersytet Kalifornijski w Berkeley | |
1986 | Johna Hopcrofta | Za fundamentalne osiągnięcia w projektowaniu i analizie algorytmów i struktur danych. | Uniwersytet Cornella | |
Roberta Tarjana |
Uniwersytet Stanforda , Uniwersytet Cornella , Uniwersytet Kalifornijski w Berkeley , Uniwersytet Princeton |
|||
1987 | Johna Cocke'a | Za znaczący wkład w projektowanie i teorię kompilatorów, architekturę dużych systemów i rozwój komputerów o zredukowanym zestawie instrukcji (RISC). | IBM | |
1988 | Iwana Sutherlanda | Za jego pionierski i wizjonerski wkład w grafikę komputerową , poczynając od Sketchpada i kontynuując. |
Uniwersytet Stanforda , Uniwersytet Harvarda , Uniwersytet Utah , Kalifornijski Instytut Technologiczny |
|
1989 | Williama Kahana | Za jego fundamentalny wkład w analizę numeryczną . Jeden z czołowych ekspertów w dziedzinie obliczeń zmiennoprzecinkowych . Kahan poświęcił się „uczynieniu świata bezpiecznym dla obliczeń numerycznych”. | Uniwersytet Kalifornijski w Berkeley | |
1990 | Fernando J. Corbató | Za pionierską pracę organizującą koncepcje i kierowanie rozwojem systemów komputerowych ogólnego przeznaczenia, wielkoskalowych, współdzielących czas i zasoby, CTSS i Multics . | Instytut Technologii w Massachusetts | |
1991 | Robina Milnera | Za trzy odrębne i kompletne osiągnięcia: 1) LCF , mechanizacja Scott's Logic of Computable Functions, prawdopodobnie pierwsze oparte na teorii, ale praktyczne narzędzie do konstrukcji dowodowej wspomaganej maszynowo ; 2) ML , pierwszy język zawierający wnioskowanie o typach polimorficznych wraz z bezpiecznym dla typów mechanizmem obsługi wyjątków ; 3) CCS , ogólna teoria współbieżności . Ponadto sformułował i mocno rozwinął pełną abstrakcję , badanie relacji między semantyką operacyjną i denotacyjną . |
Uniwersytet Stanforda , Uniwersytet w Edynburgu |
|
1992 | Butlera Lampsona | Za wkład w rozwój rozproszonych, osobistych środowisk komputerowych i technologii ich realizacji: stacji roboczych , sieci , systemów operacyjnych , systemów programistycznych, wyświetlaczy , bezpieczeństwa i publikowania dokumentów . |
PARC , grudzień |
|
1993 | Jurisa Hartmanisa | W uznaniu ich przełomowego artykułu, który położył podwaliny pod dziedzinę teorii złożoności obliczeniowej . | General Electric Research Laboratory (obecnie pod Groupe Bull , firma Atos ) | |
Richarda E. Stearnsa | ||||
1994 | Edwarda Feigenbauma | Za pionierskie projektowanie i budowę systemów sztucznej inteligencji na dużą skalę, wykazując praktyczne znaczenie i potencjalny wpływ komercyjny technologii sztucznej inteligencji. | Uniwersytet Stanford | |
Raja Reddy'ego |
Uniwersytet Stanforda , Uniwersytet Carnegie Mellon |
|||
1995 | Manuela Bluma | W uznaniu jego wkładu w podstawy teorii złożoności obliczeniowej i jej zastosowania w kryptografii i sprawdzaniu programów . | Uniwersytet Kalifornijski w Berkeley | |
1996 | Amir Pnueli | Za przełomową pracę wprowadzającą logikę temporalną do informatyki oraz za wybitny wkład w weryfikację programów i systemów . |
Uniwersytet Stanforda , Uniwersytet w Tel Awiwie , Instytut Nauk Weizmanna , Instytut Nauk Matematycznych Courant |
|
1997 | Douglasa Engelbarta | Za inspirującą wizję przyszłości komputerów interaktywnych i wynalezienie kluczowych technologii, które pomogą urzeczywistnić tę wizję. |
SRI International , Tymshare , McDonnell Douglas , Bootstrap Institute/Alliance, The Doug Engelbart Institute |
|
1998 | Jima Graya | Za przełomowy wkład w badania nad bazami danych i przetwarzaniem transakcji oraz przywództwo techniczne we wdrażaniu systemu. |
IBM , Microsoft |
|
1999 | Freda Brooksa | Za przełomowy wkład w architekturę komputerów , systemy operacyjne i inżynierię oprogramowania. |
IBM , Uniwersytet Północnej Karoliny w Chapel Hill |
|
2000 | Andrzej Jao | W uznaniu jego fundamentalnego wkładu w teorię obliczeń , w tym opartą na złożoności teorię generowania liczb pseudolosowych , kryptografię i złożoność komunikacji . |
Uniwersytet Stanforda , Uniwersytet Kalifornijski, Berkeley , Uniwersytet Princeton |
|
2001 | Ole-Johan Dahl | Za idee fundamentalne dla powstania programowania obiektowego , poprzez zaprojektowanie języków programowania Simula I i Simula 67 . |
Norweskie Centrum Obliczeniowe Uniwersytetu w Oslo |
|
Kristen Nygaard | ||||
2002 | Rona Rivesta | Za ich pomysłowy wkład w uczynienie kryptografii klucza publicznego użyteczną w praktyce. | Instytut Technologii w Massachusetts | |
Adi Szamir | ||||
Leonarda Adlemana | Uniwersytet Południowej Kalifornii | |||
2003 | Alana Kay'a | Za pionierskie podejście do wielu idei leżących u podstaw współczesnych obiektowych języków programowania , przewodzenie zespołowi, który opracował Smalltalk , oraz za fundamentalny wkład w komputery osobiste. |
University of Utah , PARC , Stanford University , Atari , Apple ATG , Walt Disney Imagineering , Viewpoints Research Institute , HP Labs |
|
2004 | Vint Cerf | Za pionierską pracę nad intersiecią , w tym projektowanie i wdrażanie podstawowych protokołów komunikacyjnych w Internecie, TCP/IP , oraz za inspirowane przywództwo w sieciach. |
University of California, Los Angeles , Stanford University , DARPA , MCI (obecnie Verizon ), CNRI , Google |
|
Boba Kahna |
MIT , Bolt Beranek i Newman , DARPA , CNRI |
|||
2005 | Piotr Naura | Za fundamentalny wkład w projektowanie języków programowania i definicję ALGOL 60 , w projektowanie kompilatorów oraz w sztukę i praktykę programowania komputerowego. |
Regnecentralen (obecnie pod Fujitsu ), Uniwersytet w Kopenhadze |
|
2006 | Franciszka Allena | Za pionierski wkład w teorię i praktykę optymalizacji technik kompilatorów, które położyły podwaliny pod nowoczesne kompilatory optymalizujące i automatyczne wykonywanie równoległe. | IBM | |
2007 | Edmund M. Clarke | Za swoją rolę w opracowywaniu sprawdzania modelu w wysoce efektywną technologię weryfikacji, szeroko stosowaną w branży sprzętu i oprogramowania. |
Uniwersytet Harvarda , Uniwersytet Carnegie Mellon |
|
E. Allena Emersona |
Uniwersytet Harvarda , Uniwersytet Teksasu w Austin |
|||
Józef Sifakis | Francuskie Narodowe Centrum Badań Naukowych | |||
2008 | Barbara Liskow | Za wkład do praktycznych i teoretycznych podstaw języka programowania i projektowania systemów, zwłaszcza związanych z abstrakcją danych, odpornością na uszkodzenia i przetwarzaniem rozproszonym. | Instytut Technologii w Massachusetts | |
2009 | Karola P. Thackera | Za pionierski projekt i realizację Xerox Alto , pierwszego nowoczesnego komputera osobistego, a ponadto za wkład w Ethernet i tablet PC. |
PARC , DEC , Microsoft Research |
|
2010 | Leslie Waleczny | Za transformacyjny wkład w teorię obliczeń , w tym teorię uczenia się prawdopodobnie w przybliżeniu poprawnego ( PAC ), złożoność wyliczania i obliczeń algebraicznych oraz teorię obliczeń równoległych i rozproszonych. | Uniwersytet Harwardzki | |
2011 | Perła Judei | Za fundamentalny wkład w sztuczną inteligencję poprzez rozwój rachunku różniczkowego dla wnioskowania probabilistycznego i przyczynowego. |
Uniwersytet Kalifornijski, Los Angeles New Jersey Institute of Technology |
|
2012 | Sylwio Mikali | Za przełomową pracę, która położyła podstawy teorii złożoności dla kryptografii i zapoczątkowała nowe metody skutecznej weryfikacji dowodów matematycznych w teorii złożoności. | Instytut Technologii w Massachusetts | |
Shafiego Goldwassera |
Massachusetts Institute of Technology , Instytut Nauki Weizmanna |
|||
2013 | Leslie Lamport | Za fundamentalny wkład w teorię i praktykę systemów rozproszonych i współbieżnych, w szczególności za wynalezienie takich pojęć, jak przyczynowość i zegary logiczne, bezpieczeństwo i żywotność, replikowane maszyny stanowe i spójność sekwencyjna. |
Massachusetts Computer Associates (obecnie Essig PLM), SRI International , DEC , Compaq (obecnie HP ), Microsoft Research |
|
2014 | Michael Stonebraker | Za fundamentalny wkład w koncepcje i praktyki leżące u podstaw nowoczesnych systemów baz danych. |
University of California, Berkeley , Massachusetts Institute of Technology |
|
2015 | Whitfield Diffie | Za fundamentalny wkład we współczesną kryptografię. Przełomowy artykuł Diffiego i Hellmana z 1976 r., „New Directions in Cryptography”, przedstawił idee kryptografii klucza publicznego i podpisów cyfrowych, które są podstawą większości regularnie używanych protokołów bezpieczeństwa w dzisiejszym Internecie. | Uniwersytet Stanford | |
Marcina Hellmana | ||||
2016 | Tima Bernersa-Lee | Za wynalezienie World Wide Web , pierwszej przeglądarki internetowej oraz podstawowych protokołów i algorytmów umożliwiających skalowanie sieci. |
CERN , Massachusetts Institute of Technology , konsorcjum World Wide Web |
|
2017 | Johna L. Hennessy'ego | Za pionierskie systematyczne, ilościowe podejście do projektowania i oceny architektur komputerowych, które ma trwały wpływ na przemysł mikroprocesorowy. | Uniwersytet Stanford | |
Davida Pattersona | Uniwersytet Kalifornijski w Berkeley | |||
2018 | Yoshua Bengio | Za przełomy koncepcyjne i inżynieryjne, które sprawiły, że głębokie sieci neuronowe stały się kluczowym elementem informatyki. |
Université de Montréal , McGill University , Mila |
|
Geoffreya Hintona |
University of Toronto , University of California, San Diego , Carnegie Mellon University , University College London , University of Edinburgh , Google AI |
|||
Yanna LeCuna |
University of Toronto , Bell Labs , Courant Institute of Mathematical Sciences , New York University , Meta AI |
|||
2019 | Edwina Catmulla | Za fundamentalny wkład w trójwymiarową grafikę komputerową i rewolucyjny wpływ tych technik na obrazy generowane komputerowo (CGI) w kręceniu filmów i innych zastosowaniach. |
University of Utah , Pixar , Walt Disney Animation Studios |
|
Pata Hanrahana |
Pixara , Uniwersytetu Princeton , Uniwersytetu Stanforda |
|||
2020 | Alfreda Aho | Za podstawowe algorytmy i teorię leżącą u podstaw implementacji języka programowania oraz za syntezę wyników tych i innych w ich bardzo wpływowych książkach, które wykształciły pokolenia informatyków. |
Bell Labs na Uniwersytecie Columbia |
|
Jeffreya Ullmana |
Bell Labs , Uniwersytet Princeton , Uniwersytet Stanforda |
|||
2021 | Jacka Dongarry | Za pionierski wkład w algorytmy numeryczne i biblioteki, które umożliwiły oprogramowaniu obliczeniowemu o wysokiej wydajności nadążanie za wykładniczymi ulepszeniami sprzętu przez ponad cztery dekady. |
Argonne National Laboratory , Oak Ridge National Laboratory , University of Manchester , Texas A&M University Institute for Advanced Study , University of Tennessee , Rice University |
|
2022 | Roberta Metcalfe'a | Za wynalezienie, standaryzację i komercjalizację sieci Ethernet . | Massachusetts Institute of Technology , Harvard University , Xerox PARC , University of Texas w Austin |