Turing-prisen

Turing-prisen
engelsk  ACM AM Turing Award
Land
Type videnskabelig pris
Hvem tildeles Foreningen for Datamaskiner
Statistikker
Dato for etablering 1966
Internet side amturing.acm.org _ 
 Mediefiler på Wikimedia Commons

Turing-prisen er den mest prestigefyldte pris inden for datalogi ,  tildelt af Association for Computing Machinery for fremragende videnskabelige og tekniske bidrag til dette område.

Etableret af Association for Computing Machinery til ære for den fremragende engelske videnskabsmand Alan Turing , som modtog de første dybe resultater om beregnelighed længe før fremkomsten af ​​de første elektroniske computere .

Uddeles årligt til en eller flere dataloger og dataloger, hvis bidrag på dette område har haft en stærk og varig indvirkning på computersamfundet [1] . Prisen kan højst tildeles én person én gang. Inden for informationsteknologi har Turing-prisen en status svarende til Nobelprisen i akademiske videnskaber [2] . Først tildelt i 1966 til Alan Perlis for udviklingen af ​​compilerteknologi .

I 2000'erne blev præmiefonden sponsoreret af Intel og Google -selskaber, den årlige præmiefond var $ 250 tusind, siden 2014 er den årlige præmiefond blevet øget til $ 1 million, og Google er blevet den eneste sponsor af prisen [3 ] [4] .

Traditionen tro afleverer prismodtageren en rapport kaldet "Turing-foredraget", hvor prismodtageren deler sin mening om de problemer med informatik og computerteknologi, der er vigtige efter hans mening.

Turing Award vindere

År Prismodtager Begrundelse for tildeling
1966 Alan Perlis For hans indflydelse inden for generiske programmeringsteknikker og compilerbygning
1967 Maurice Wilks Professor Wilks er bedst kendt som designeren af ​​EDSAC , den første computer , der tillader intern lagring af programmer . EDSAC blev bygget i 1949 og brugte forsinkelseslinjehukommelse . Han er også kendt, sammen med Wheeler og Gill, som forfatteren til bogen Preparation of Programs for Electronic Digital Computers fra 1951 , som introducerer det væsentlige koncept for et bibliotek .
1968 Richard Hamming Til arbejde med numeriske metoder , automatiske kodningssystemer, fejlfinding og korrektionskoder
1969 Marvin Minsky For et stort bidrag til skabelse, dannelse, fremme og udvikling af den videnskabelige retning for kunstig intelligens
1970 James Wilkinson For hans forskning i numerisk analyse , som bidrog til brugen af ​​højhastigheds digitale computere, som blev af særlig betydning i lyset af hans arbejde med lineære algebraberegninger og "invers" fejlanalyse
1971 John McCarthy McCarthys foredrag "The Current State of Research in Artificial Intelligence " fremhæver det nyeste inden for et felt, der skylder meget af sin betydelige succes til hans arbejde.
1972 Edsger Dijkstra For hans betydelige bidrag til udviklingen af ​​programmeringssproget Algol på højt niveau , som er blevet indbegrebet af klarhed og matematisk stringens. Han er en af ​​de lyseste repræsentanter for videnskaben og kunsten af ​​programmeringssprog i al deres almindelighed, såvel som en videnskabsmand, der på mange måder har bidraget til at forstå deres struktur, repræsentation og implementering. Hans publikationer gennem femten år dækker en bred vifte af emner fra teoretiske artikler om grafteori til grundlæggende vejledninger, beskrivelser og filosofiske refleksioner inden for programmeringssprog.
1973 Charles Bachman For fremragende bidrag til databaseteknologi
1974 Donald Knuth For hans store bidrag til analyse af algoritmer, udvikling af programmeringssprog, og i særdeleshed for skabelsen af ​​en velkendt serie af bøger under den generelle titel "The Art of Programming "
1975 Allen Newell Herbert Simon
 For grundlæggende bidrag til kunstig intelligens, menneskelig perceptions psykologi og listebehandling
1976 Michael Rabin Dana Scott
 For artiklen "Finite automata and the problem of their decidability", som foreslog ideen om en ikke-deterministisk automat , et koncept, der senere viste sig at være af enestående værdi. Artiklen, der blev en klassiker, fungerede som inspiration til mange efterfølgende værker på dette område.
1977 John Backus For hans dybe, langvarige og indflydelsesrige bidrag til design af praktiske softwaresystemer på højt niveau, især for hans arbejde med Fortran -sproget og hans originale udgivelse om formalisering af programmeringssprogsspecifikationer
1978 Robert Floyd For hans utvivlsomme indflydelse på metodikken til at skabe effektiv og pålidelig software og for hans hjælp til udviklingen af ​​sådanne områder inden for computervidenskab som teorien om parsing , programmeringssprogs semantik , automatisk programverifikation , automatisk programsyntese og algoritmeanalyse
1979 Kenneth Iverson For hans banebrydende arbejde inden for programmeringssprog og matematisk notation, hvilket resulterede i, hvad der nu er kendt blandt specialister som APL , for hans bidrag til implementeringen af ​​interaktive systemer, brugen af ​​APL til uddannelsesformål, og teorien og teknikken af programmeringssprog
1980 Anthony Hoare For hans grundlæggende bidrag til definition og udvikling af programmeringssprog
1981 Edgar Codd For hans grundlæggende og varige bidrag til teori og praksis af databasestyringssystemer, især af den relationelle type
1982 Stephen Arthur Cook For de betydelige fremskridt, han har gjort med at forstå kompleksiteten af ​​beregninger . Hans arbejde lagde grundlaget for teorien om NP-fuldstændighed . Studiet af egenskaberne og grænserne for denne klasse er blevet en af ​​de vigtigste retninger i teorien om computersystemer i løbet af de sidste ti år.
1983 Ken Thompson Dennis Ritchie
 Til udviklingen af ​​en generel teori om operativsystemer , og især til skabelsen af ​​Unix
1984 Niklaus Wirth Til udvikling af en række innovative computersprog, Euler , Algol-W , Modula og Pascal
1985 Richard Karp For langsigtede bidrag til teorien om algoritmer, herunder udvikling af effektive algoritmer til strømme på netværk og andre kombinatoriske optimeringsproblemer, sammenligning af polynomielle kompleksitetsberegninger med den intuitive begreb effektivitet, og vigtigst af alt, for bidrag til teorien af NP-fuldstændighed
1986 John Hopcroft Robert Tarjan
 For grundlæggende resultater inden for udvikling og analyse af algoritmer og datastrukturer
1987 John Cock For fremragende bidrag til compilerdesign og teori, store systemarkitektur og udvikling af RISC -computere
1988 Ivan Sutherland For grundlæggende og visionære bidrag til computergrafik , fra opfindelsen af ​​Sketchpad , men ikke slutter med det
1989 William Cahan For grundlæggende bidrag til numerisk analyse . En af de første eksperter i beregninger af flydende komma . Kahan dedikerede sig også til opgaven med at "gøre verden sikker for numeriske beregninger"
1990 Fernando Corbato For banebrydende arbejde inden for koncept- og udviklingsledelse med henblik på at skabe generelle formål, storskala tids- og ressourcedelingscomputersystemer CTSS og Multics
1991 Robin Milner For tre forskellige præstationer af høj kvalitet: 1) LCF , automatisering af beviser i logikken i Scotts beregnelige funktioner, tilsyneladende det første automatiserede beviskonstruktionsværktøj bygget på et teoretisk grundlag og alligevel nyttigt i praksis; 2) ML , det første programmeringssprog, der bruger polymorf typeinferens sammen med en maskinskrevet fejlhåndteringsmekanisme ; 3) CCS , generel teori om parallel computing . Derudover formulerede og udviklede han fuld abstraktion , en teori om forholdet mellem operationel og denotationel semantik .
1992 Butler Lampson For bidrag til udviklingen af ​​distribuerede, personlige computermiljøer og teknologi til deres implementering: arbejdsstationer , netværk , operativsystemer , softwaresystemer, skærme , sikkerhed og dokumentudveksling
1993 Juris Hartmanis Richard E. Stearns
 Som en hyldest til deres skelsættende arbejde, som dannede grundlaget for teorien om beregningsmæssig kompleksitet
1994 Edward Feigenbaum Raj Reddy
 For at være banebrydende i udviklingen og skabelsen af ​​storstilede kunstig intelligens-systemer og demonstrere den praktiske betydning og potentielle kommercielle værdi af kunstig intelligens-teknologier
1995 Manuel Blum Som anerkendelse af bidrag til grundlaget for beregningsmæssig kompleksitetsteori og dens anvendelse på kryptografi og programverifikation
1996 Amir Pnueli For banebrydende arbejde i implementeringen af ​​tidslogik i computervidenskaberne og for fremragende bidrag til verifikation af programmer og systemer
1997 Douglas Engelbart For inspirerende visioner om fremtiden for interaktiv databehandling og opfindelsen af ​​nøgleteknologier for at hjælpe med at realisere denne vision
1998 Jim Gray For grundlæggende ideer i databaser , transaktionsbehandlingsforskning og teknisk lederskab i systemimplementering.
1999 Frederic Brooks For historisk betydningsfulde bidrag til computerarkitektur , operativsystemer og softwaredesign .
2000 Andrew Yao Som hyldest til hans grundlæggende bidrag til teorien om beregning , herunder, baseret på begrebet beregningsmæssig kompleksitet , teorien om pseudo-tilfældig talgenerering , kryptografi og kommunikationskompleksitet
2001 Ole-Johan Dahl Kristen Nyugor
 For ideer, der er grundlæggende for udviklingen af ​​objektorienteret programmering under udviklingen af ​​programmeringssprogene Simula I og Simula 67
2002 Ronald Rivest Adi Shamir Leonard Adleman

 For et unikt bidrag til at øge den praktiske værdi af offentlige nøglekrypteringssystemer
2003 Alan Kay For mange af de banebrydende ideer, der dannede grundlaget for moderne objektorienterede sprog , for at lede Smalltalks sprogudviklingsteam og for grundlæggende bidrag til udviklingen af ​​pc -området.
2004 Vinton Cerf Robert Kahn
 For banebrydende arbejde med problemet med internetarbejde  , herunder udvikling og implementering af de store internetprotokoller , TCP/IP , og for hans lederskab inden for computernetværk
2005 Peter Naur For grundlæggende bidrag til design af programmeringssprog og skabelsen af ​​Algol 60 -sproget , såvel som til design af compilere og til kunsten og teknikken til computerprogrammering
2006 Francis Allen For banebrydende bidrag til teori og praksis om computerprogramoptimering, som tjente som grundlag for moderne optimeringskompilere og automatisk programparallelisering
2007 Edmund Clark Allen Emerson Joseph Sifakis

 For deres rolle i udviklingen af ​​modelkontrol , en yderst effektiv  programverifikationsteknik , der er meget udbredt i både software- og hardwareudvikling [5]
2008 Barbara Liskov For bidrag til det praktiske og teoretiske grundlag for programmeringssprog og systemdesign, især inden for fejltoleranceforskning, dataabstraktion og distribueret computing.
2009 Charles Thacker For den banebrydende udvikling og skabelse af Alto , den første moderne personlige computer, og for hans bidrag til Ethernet -teknologi og udviklingen af ​​tablet-pc'er .
2010 Leslie Valiant For bidrag til teorien om algoritmer , herunder tilnærmelsesvis korrekt indlæringopregningskompleksitet og algebraisk beregning og teorien om parallel og distribueret databehandling . [6]
2011 Juda Perle For grundlæggende bidrag til kunstig intelligens gennem udvikling af en kalkulus  for sandsynlighed og kausal ræsonnement [7 ]
2012 Silvio Micali Shafi Goldwasser
 For banebrydende arbejde med probabilistisk kryptering (inklusive det første probabilistiske public-key kryptosystem ) og arbejde med anvendelse af nul-viden beviser i kryptografiske protokoller [8] .
2013 Leslie Lamport For grundlæggende bidrag til teori og praksis af distribuerede og interagerende systemer, præget af opdagelsen af ​​sådanne begreber som kausalitet og logiske ure , sikkerhed og overlevelsesevne, replikerbare automater, sekventiel datakonsistens [9] .
2014 Michael Stonebreaker For grundlæggende bidrag til de principper og praksis, der ligger til grund for moderne databasestyringssystemer [10] .
2015 Whitfield Diffie Martin Hellman
 For grundlæggende bidrag til kryptografi [11] .
2016 Tim Berners-Lee Til opfindelsen af ​​World Wide Web , den første webbrowser , og de grundlæggende protokoller og algoritmer, der påvirkede spredningen af ​​internettet [12] .
2017 John Hennessy David Patterson
 For en innovativ systematisk og målbar tilgang til design og verifikation af computerarkitekturer , der har haft en varig indvirkning på mikroprocessorindustrien [13] .
2018 Yoshua Bengio Geoffrey Hinton Yan LeCun

 For de konceptuelle og tekniske gennembrud, der har gjort dybe neurale netværk til en hjørnesten i databehandling [14] .
2019 Ed Catmull Pat Hanrahan
 For grundlæggende bidrag til udviklingen af ​​3D-grafik og revolutionerende indflydelse på computergrafik i film og andre applikationer [15] .
2020 Alfred Aho Jeffrey Ullman
 Til dannelsen af ​​grundlaget for kompilering og algoritmer til programmeringssprog [16] .
2021 Jack Dongarra For banebrydende bidrag til biblioteker af numeriske metoder, der har gjort det muligt for supercomputersoftware at holde trit med eksponentiel hardwareudvikling gennem fire årtier [17] .

Noter

  1. ↑ AM Turing Award (link ikke tilgængeligt) . ACM. Hentet 5. november 2007. Arkiveret fra originalen 13. februar 2012. 
  2. ↑ Brown, Bob. Hvorfor er der ingen Nobelpris i databehandling  . Network World (6. juni 2011). Hentet 1. juni 2022. Arkiveret fra originalen 22. oktober 2016.
  3. ↑ Google giver alle midler til den mest prestigefyldte pris inden for computing  , Association for Computing Machinery (13. november  2014). Arkiveret fra originalen den 29. november 2014. Hentet 21. november 2014.  "ACM (Association for Computing Machinery) annoncerer i dag, at finansieringsniveauet for ACM AM Turing Award nu er $1.000.000, som skal leveres af Google Inc."
  4. ↑ Turing-prisen svarede næsten til Nobelprisen  (russisk) , OSZone  (21. november 2014). Arkiveret fra originalen den 25. november 2014. Hentet 21. november 2014.
  5. ↑ Årlige Turing-prisvindere annonceret - Videnskab og teknologi - Kompulent Arkiveret 21. februar 2009 på Wayback Machine .
  6. ↑ ACM Award Citation / Leslie G Valiant .
  7. ↑ Turing Award 2011. Judea Pearl . Hentet 19. marts 2012. Arkiveret fra originalen 26. august 2017.
  8. ↑ Turing-prisen 2012  (engelsk)  (utilgængeligt link) . ACM. Hentet 18. marts 2013. Arkiveret fra originalen 21. marts 2013.
  9. ↑ Turing -prisen 2013  . ACM (18. marts 2014). Dato for adgang: 18. marts 2014. Arkiveret fra originalen 18. marts 2014.
  10. ↑ Pioner inden for databasesystemarkitektur modtager ACM's højeste ære . For grundlæggende bidrag til de koncepter og praksis, der ligger til grund for moderne databasesystemer.  (engelsk)  (utilgængeligt link) . ACM (25. marts 2015) . Hentet 25. marts 2015. Arkiveret fra originalen 25. marts 2015.
  11. ↑ Kryptografipionerer modtager Acm AM Turing-prisen Arkiveret 4. marts 2016 på Wayback Machine .
  12. ↑ Sir Tim Berners -Lee  . ACM. Hentet 12. april 2017. Arkiveret fra originalen 6. april 2017.
  13. ↑ John L.  Hennesy . ACM. Hentet 21. marts 2018. Arkiveret fra originalen 22. marts 2018.
  14. ↑ Fathers of the Deep Learning Revolution modtager ACM AM Turing Award  . ACM (27. marts 2019). Hentet 27. marts 2019. Arkiveret fra originalen 23. august 2021.
  15. ↑ Pionerer inden for moderne computergrafik anerkendt med ACM AM Turing Award  . ACM (23. marts 2020). Hentet: 23. marts 2020.
  16. ↑ ACM Turing Award hædrer innovatører, der formede grundlaget for programmeringssprogskompilere og algoritmer  . ACM (31. marts 2021). Hentet 31. marts 2021. Arkiveret fra originalen 7. oktober 2021.
  17. ↑ ACM Turing Award hædrer Jack J. Dongarra for banebrydende koncepter og metoder, der har resulteret i verdensforandrende beregninger  . ACM (31. marts 2022). Hentet 2. april 2022. Arkiveret fra originalen 1. april 2022.

Links

  Gå til Wikidata-elementet  Ordbøger og encyklopædier
 Turing prisvindere