Åpne hovedmenyen

Turing-prisen (engelsk: The A.M. Turing Award) deles ut årlig av Association for Computing Machinery (ACM) for tekniske bidrag til databehandlingsmiljøet. Bidragene bør være av varig og teknisk viktig natur.

Turing-prisen
Turing-statue-Bletchley 11.jpg
Beskrivelse Fremragende bidrag innenfor informatikken
Utdeler Association for Computing Machinery (ACM)
Utdelingssted USA
Periode 1966; 52 år siden (1966)
Hjemmeside amturing.acm.org

Prisen er oppkalt etter Alan Mathison Turing (1912–1954), en britisk matematiker som regnes som en av pionerene innenfor feltet databehandling. Turing-prisen er anerkjent innenfor informatikken og sammenliknes ofte med Nobelprisen.[trenger referanse] Siden 2007 er den sponset av Intel og Google og består av 250 000 amerikanske dollar.

Tidligere mottagereRediger

År bilde Navn Begrunnelse
1966 Alan J. Perlis[1] For hans innflytelse innenfor avanserte programmeringsteknikker og kompilator-teknikk
1967   Maurice V. Wilkes[2] Professor Wilkes er best kjent som utvikler og bygger av EDSAC, verdens første datamaskin med et internt lagret program. Den ble bygget i 1949, og brukte kvikksølvminne. Han er også, sammen med Wheeler og Gill, kjent som forfatteren av Preparation of Programs for Electronic Digital Computers i 1951, hvor programbiblioteker i praksis ble innført.
1968 Richard Hamming[3] For hans arbeid innenfor numeriske metoder, automatiske kodesystemer, feildeteksjon og feilkorrigering av koder
1969   Marvin Minsky[4] Kunstig intelligens
1970 James H. Wilkinson[5] For sin forskning innenfor numerisk analyse
1971   John McCarthy[6] Dr. McCarthy's forelesning "The Present State of Research on Artificial Intelligence" betegner det område hvor han har ytt sine fremste bidrag
1972   Edsger Dijkstra[7] Edsger Dijkstra var på 1950-tallet hovedbidragsyter i utviklingen av ALGOL, et høynivå programmeringsspråk som fremholdes som et forbilde innen tydelighet og matematisk stringens. Han er i det hele tatt en ledende eksponent innen utvikling av programmeringsspråk, og har gitt store bidrag til vår forståelse av deres struktur, representasjon, og implementasjon. Hans publikasjoner gjennom femten år spenner fra teoretiske artikler om grafteori til grunnleggende manualer, beskrivende tekster, og filosofiske betraktninger rundt programmeringsspråk.
1973   Charles W. Bachman[8] For hans fremragende bidrag til database-teknologi
1974   Donald E. Knuth[9] For hans store bidrag til analyse av algoritmer og design av programmeringsspråk, og da spesielt for hans bidrag til programmeringsmetoder gjennom bokserien The Art of Computer Programming
1975 Allen Newell[10] Gjennom felles vitenskapelig innsats over mer enn 20 år, i begynnelsen i samarbeid med J. C. Shaw hos RAND Corporation, og senere med et stort antall fra fakultetet og studentene ved Carnegie-Mellon University, har de gjort grunnleggende bidrag til feltet kunstig intelligens, innenfor menneskelig kognisjon og til listebehandling
Herbert A. Simon[11]
1976 Michael O. Rabin[12] For deres felles avhandling Finite Automata and Their Decision Problem, som introduserte begrepet ikke-deterministiske maskiner, noe som har vist seg å være et enormt viktig konsept. Deres klassiske avhandling har vært en kontinuerlig kilde for inspirasjon innenfor fagfeltet.
  Dana S. Scott[13]
1977 John Backus[14] For dyptgripende og varige bidrag innenfor utvikling av høynivå programmeringssystemer, spesielt gjennom hans arbeid med FORTRAN, og for publisering av formelle prosedyrer innenfor spesifikasjon av programmeringsspråk
1978 Robert W. Floyd[15] For å ha hatt en klar innflytelse på metodologiene for å lage effektiv og pålitelig programvare, og for å bidra til å grunnlegge de følgende viktige områdene innen datavitenskap: parsing-teori, programmeringsspråks semantikk, automatisk program-verifikasjon, automatisk program-syntese, og analyse av algoritmer
1979 Kenneth E. Iverson[16] Pioner i programmeringsspråk og matematikk, bruk av APL i undervisning
1980   C. Antony R. Hoare[17] Pioner i programmeringsspråk
1981 Edgar F. Codd[18] Databasesystemer, spesielt relasjonsdatabaser
1982   Stephen A. Cook[19] Kompleksitetsteori og NP-komplette problemer
1983   Ken Thompson[20] Operativsystemteori og utviklingen av UNIX operativsystem
  Dennis M. Ritchie[21]
1984   Niklaus Wirth[22] Utvikling av flere programmeringsspråk, særlig Pascal
1985   Richard M. Karp[23] Algoritmeteori
1986   John Hopcroft[24] Design og analyse av algoritmer og datastrukturer
  Robert Tarjan[25]
1987 John Cocke[26] Kompilatorteori og utvikling av datamaskiner med reduserte instruksjonssett – (RISC)
1988   Ivan Sutherland[27] Datagrafikk
1989   William (Velvel) Kahan[28] Numerisk analyse
1990   Fernogo J. Corbató[29] CTSS og Multics
1991 Robin Milner [30] LCF, ML, CCS
1992   Butler W. Lampson [31] Distribuerte, personlige databehandlingsmiljø
1993   Juris Hartmanis[32] Kompleksitetsteori
  Richard E. Stearns[33]
1994   Edward Feigenbaum[34] Kunstig intelligens – store systemer
  Raj Reddy[35]
1995   Manuel Blum[36] Kompleksitetsteori, anvendelse i kryptografi
1996   Amir Pnueli [37] Logikk og systemer for verifisering
1997   Douglas Engelbart[38] Interaktiv databehandling
1998   James Gray[39] Database og transaksjonsbehandling
1999   Frederick P. Brooks, Jr.[40] Dataarkitektur, operativsystem og programvareutvikling
2000   Andrew Chi-Chih Yao[41] Teori for databehandling inkludert kryptografi og datakommunikasjon
2001 Ole-Johan Dahl[42] Objektorientert programmering
  Kristen Nygaard[43]
2002   Ronald L. Rivest[44] Asymmetrisk kryptering, særlig RSA i praksis
  Adi Shamir[45]
  Leonard M. Adleman[46]
2003   Alan Kay[47] Objektorienterte programmeringsspråk, utvikling av Smalltalk
2004   Vinton G. Cerf[48] TCP/IP-protokollene
  Robert E. Kahn[49]
2005   Peter Naur[50] For grunnleggende bidrag til utviklingen av programmeringsspråk og definisjonen av Algol 60, kompilatordesign (for implementasjonen av GIER Algol) og bruk av strukturert programmering
2006   Frances E. Allen[51] For optimalisering av kompilering
2007   Edmund M. Clarke[52] For [sine roller] i utviklingen av «Model checking» til en høyst effektiv verifikasjonsteknologi, tatt i bruk i vid utstrekning av maskin- og programvareindustrien
E. Allen Emerson[53]
  Joseph Sifakis[54]
2008   Barbara Liskov[55] For praktiske og teoretiske bidrag til grunnlaget for programmeringsspråk og systemdesign, særlig knyttet til abstrahering av data, feiltolerering og distribuert databehandling.
2009   Charles P. Thacker[56] For pionerarbeid i forbindelse med utviklingen av Alto, den første moderne personlige datamaskinen, og dessuten for hans bidrag til Ethernet og Notatblokk-PC.
2010   Leslie Valiant[57] Betydelige bidrag til kompleksitetsteorien, spesielt i forbindelse med maskinlæring (med innføringen av PAC-modellen) og distribuert databehandling.
2011 Judea Pearl[58] Grunnleggende bidrag til kunstig intelligens ved å utvikle en matematisk analyse for probabilistisk og kausalistisk inferens.
2012   Silvio Micali[59] Opprettelse av et kompleksitsteoretisk grunnlag for kryptografi og dermed bane vei for nye metoder for effektiv verifisering av matematiske bevis innen kompleksitetsteorien.
  Shafi Goldwasser[60]
2013   Leslie Lamport[61] For fundamentale bidrag til teori og praksis ved distribuerte og samtidige systemer.
2014   Michael Stonebraker[62] For fundamentale bidrag til moderne databasesystemer.
2015   Martin Hellman[63] For utvikling av offentlig nøkkelkryptering og digital signatur[64]
  Whitfield Diffie[65]
2016   Tim Berners-Lee[66] For oppfinnelsen av World Wide Web, den første nettleseren og de fundamentale protokoller og algoritmer som gjør at webben skalerer.
2017   John L. Hennessy For eksemplarisk arbeid innen en systematisk, kvantitativ tilnærming til design og evaluering av dataarkitekturer med varig innvirkning på mikroprosessorindustrien.[67]
  David A. Patterson
2018   Yoshua Bengio For konseptuelle og tekniske gjennombrudd som har gjort dype nevrale nettverk en kritisk komponent i databehandling.[68]
  Geoffrey Hinton
  Yann LeCun

ReferanserRediger

  1. ^ Alan J. Perlis - Turing Award hos ACM
  2. ^ Maurice V. Wilkes - Turing Award hos ACM
  3. ^ Richard Hamming - Turing Award hos ACM
  4. ^ Marvin Minsky - Turing Award hos ACM
  5. ^ James H. Wilkinson - Turing Award hos ACM
  6. ^ John McCarthy - Turing Award hos ACM
  7. ^ Edsger Dijkstra - Turing Award hos ACM
  8. ^ Charles W. Bachman - Turing Award hos ACM
  9. ^ Donald E. Knuth - Turing Award hos ACM
  10. ^ Allen Newell - Turing Award hos ACM
  11. ^ Herbert A. Simon - Turing Award hos ACM
  12. ^ Michael O. Rabin - Turing Award hos ACM
  13. ^ Dana S. Scott - Turing Award hos ACM
  14. ^ John Backus - Turing Award hos ACM
  15. ^ Robert W. Floyd - Turing Award hos ACM
  16. ^ Kenneth E. Iverson - Turing Award hos ACM
  17. ^ C. Antony R. Hoare - Turing Award hos ACM
  18. ^ Edgar F. Codd - Turing Award hos ACM
  19. ^ Stephen A. Cook - Turing Award hos ACM
  20. ^ Ken Thompson - Turing Award hos ACM
  21. ^ Dennis M. Ritchie - Turing Award hos ACM
  22. ^ Niklaus Wirth - Turing Award hos ACM
  23. ^ Richard M. Karp - Turing Award hos ACM
  24. ^ John Hopcroft - Turing Award hos ACM
  25. ^ Robert Tarjan - Turing Award hos ACM
  26. ^ John Cocke - Turing Award hos ACM
  27. ^ Ivan Sutherland - Turing Award hos ACM
  28. ^ William Kahan - Turing Award hos ACM
  29. ^ Fernogo J. Corbató - Turing Award hos ACM
  30. ^ Robin Milner - Turing Award hos ACM
  31. ^ Butler W. Lampson - Turing Award hos ACM
  32. ^ Juris Hartmanis - Turing Award hos ACM
  33. ^ Richard E. Stearns - Turing Award hos ACM
  34. ^ Edward Feigenbaum - Turing Award hos ACM
  35. ^ Raj Reddy - Turing Award hos ACM
  36. ^ Manuel Blum - Turing Award hos ACM
  37. ^ Amir Pnueli - Turing Award hos ACM
  38. ^ Douglas Engelbart - Turing Award hos ACM
  39. ^ James Gray - Turing Award hos ACM
  40. ^ Frederick P. Brooks, Jr. - Turing Award hos ACM
  41. ^ Andrew Chi-Chih Yao - Turing Award hos ACM
  42. ^ Ole-Johan Dahl - Turing Award hos ACM
  43. ^ Kristen Nygaard - Turing Award hos ACM
  44. ^ Ronald L. Rivest - Turing Award hos ACM
  45. ^ Adi Shamir - Turing Award hos ACM
  46. ^ Leonard M. Adleman - Turing Award hos ACM
  47. ^ Alan Kay - Turing Award hos ACM
  48. ^ Vinton G. Cerf - Turing Award hos ACM
  49. ^ Robert E. Kahn - Turing Award hos ACM
  50. ^ Peter Naur - Turing Award hos ACM
  51. ^ Frances E. Allen - Turing Award hos ACM[død lenke]
  52. ^ Edmund M. Clarke - Turing Award hos ACM
  53. ^ E. Allen Emerson - Turing Award hos ACM
  54. ^ Joseph Sifakis - Turing Award hos ACM
  55. ^ Barbara Liskov - Turing Award hos ACM
  56. ^ Charles P. Thacker - Turing Award hos ACM
  57. ^ Leslie Valiant - Turing Award hos ACM
  58. ^ Judea Pearl - Turing Award hos ACM
  59. ^ Silvio Micali - Turing Award hos ACM
  60. ^ Shafi Goldwasser - Turing Award hos ACM
  61. ^ Leslie Lamport - Turing Award hos ACM
  62. ^ Michael Stonebraker - Turing Award hos ACM
  63. ^ Martin Hellman - Turing Award hos ACM
  64. ^ Pressemelding Arkivert 7. mars 2016 hos Wayback Machine., Association for Computing Machinery.
  65. ^ Whitfield Diffie - Turing Award hos ACM
  66. ^ http://amturing.acm.org/award_winners/berners-lee_8087960.cfm Leslie Lamport - Turing Award hos ACM]
  67. ^ «Pioneers of Modern Computer Architecture Receive ACM A.M. Turing Award». ACM. 
  68. ^ Fathers of the Deep Learning Revolution Receive ACM A.M. Turing Award

Eksterne lenkerRediger