Naar inhoud springen

Turing Award

Winnoare van de Turing Award
Van Wikipedia
ACM Turing Award

Standbeeld van Alan Turing, noar wien da de prys vernoemd is.
Uutgereikt vo Uutzounderlikke bydraagn an d' informoatica (computerweetnschappn)
Presentateur Association for Computing Machinery (ACM)
Land Verênigde Stoatn
Belôonienge US$ 1.000.000[1]
Êeste uutreikienge 1966
Website amturing.acm.org

Den ACM A. M. Turing Award is e joarlikse prys die uutgereikt wudt deur d' Association for Computing Machinery (ACM) vo bydraagn van bluvend en grôot technies belang an d' informoatica (computerweetnschappn). 't Wudt algemêen anzien lik d' ogste ounderscheidieng in de weireld van computerweetnschappn en wudt dikkels de "Nobelprys van d' informoatica" genoemd. Toet 2025 ein 79 menschn de prys gekreegn, met lik mêest recente winnoars Andrew Barto en Richard S. Sutton, die de prys wonn'n in 2024.[2][3][4][5][6]

De prys is vernoemd noa Alan Turing, ôok wel eki de "voader van d' informoatica" genoemd. Je wos e Britsche wiskundign en lector (reader) in de wiskunde an d' Universiteit van Manchester. Turing wudt vele anzien lik de groundlegger van de theoretische informoatica en kunstmoatige intelligentie,[7] en je was e sleutelfigeure by d' allieerde cryptanalyse (breek'n van de code) van de Enigma-codeermachine binst de Twidde Weireldoorloge. [8] Van 2007 toet 2013 gienk d'r e pryzngeld van US$ 250.000 t'ope me de prys, met de financiële steun van Intel en Google.[2][9] Sinds 2014 is 't pryzngeld verôogd toet US$ 1 miljoen, nu vulledig gefinancierd deur Google.[1][10]

D'n êesten ountvanger, in 1966, wos Alan Perlis. D'n joengsten ountvanger wos Donald Knuth, die de prys won in 1974 ot 'n 36 joar oud wos,[11] en d'n oudsten ountvanger wos Alfred Aho, die won in 2020 ot 'n 79 joar oud wos.[12] D'r zyn moa drie vrouwn die de prys gewonn'n ein: Frances Allen (in 2006),[13] Barbara Liskov (in 2008),[14] en Shafi Goldwasser (in 2012).[15]

Fotto van d'n Turing Award.
Fotto van d'n Turing Award.

Winnoars

[bewerk'n | brontekst bewerken]
Winnoars van den ACM Turing Award
Joar Winnoar(s) Fotto Redn Verboundn instellienge(n)
1966 Alan Perlis "Vo zyn invloed ip 't gebied van g'avanceerde computerprogrammoatietechniekn en 't moakn van compilers"[16][17] Carnegie Mellon University
1967 Maurice Wilkes Maurice Wilkes Vo bydraagn lik 't zyn van 'n bouwer en ountwerper van den EDSAC, d'n twidde computer met een intern ipgesleegn [[w:nl:Computerprogramma|programma]' en 't introduceern van programmabibliotheekn (t'ope me David Wheeler en Stanley Gill)[18][19] Universiteit van Cambridge
1968 Richard Hamming "Vo zyn werk an numerieke methodn, automatische coderiengssystemn, en foutdetecteernde en foutcorrigeernde codes"[20][21] Universiteit van Louisville
Bell Labs
1969 Marvin Minsky Marvin Minsky "Vo zyn centroale rolle in 't creëern, vormgeevn, bevordern en vôoruut elpn van 't gebied van kunstmoatige intelligentie"[22][23] Massachusetts Institute of Technology
1970 James H. Wilkinson "Vo zyn ounderzoek in de numerieke analyse vo 't gebruuk van d'n ogesneleidscomputer te vergemakkelikn, me specioale erkennienge vo zyn werk round berekeniengn in de lineaire algebra en 'achterwoartse' foutanalyse"[24][25] National Physical Laboratory
1971 John McCarthy John McCarthy D' erkennienge verwyst noa McCarthy zyn lezienge "D' udige stoat van ounderzoek noa Kunstmoatige Intelligentie"[26][27] Stanford-universiteit
1972 Edsger W. Dijkstra Edsger W. Dijkstra "Vo fundamentele bydraagn an 't programmern lik e grôte, intellectuele uutdagienge; vo zyn goe gebekte andriengen en praktische demonstroatie da programma's correct moetn upgebouwd wordn, en nie zomaar debugged toet dan ze kloppn; vo zyn verlichtnde kyk ip probleemn by de boasis van programma-ountwerp"[28][29] Centrum Wiskunde & Informatica
Technische Universiteit Eindhoven
Universiteit van Texas in Austin
1973 Charles Bachman Charles Bachman "Vo zyn uutzounderlikke bydraagn an databasetechnologie"[30][31] General Electric Research Laboratory (nu ounder Groupe Bull, een Atos bedryf)
1974 Donald Knuth Donald Knuth "Vo zyn grôte bydraagn an d' analyse van algoritmes en 't ountwerp van programmeertoaln, en in 't byzounder vo zyn bydraagn an 'The Art of Computer Programming' via zyn bekende boeknreeks me die noame"[32][33] California Institute of Technology
Center for Communications Research, Institute for Defense Analyses
Stanford-universiteit
1975 Allen Newell In soamenwerkienge me J. C. Shaw en andren, vo "boasisbydraagn an kunstmoatige intelligentie, de psychologie van de menselikke cognitie, en lystverwèrkienge"[34][35][36] RAND Corporation
Carnegie Mellon University
Herbert A. Simon

Herbert A. Simon

1976 Michael O. Rabin Michael O. Rabin "Vo nunder gezoamelikke artikel 'Finite Automata and Their Decision Problem', da 't idee van nondeterministische machines introduceerde"[37][38][39][40][41] Princeton-universiteit
Dana Scott Dana Scott Universiteit van Chicago
1977 John Backus John Backus "Vo zwoare, invloedryke en bluvende bydraagn an 't ountwerp van praktische, high-level programmeersystemn, voornamelik deur zyn werk an FORTRAN, en vo de groundleggnde publicoatie van formele procedueres vo de specificoatie van programmeertoaln"[42][43] IBM
1978 Robert W. Floyd "Vo zyn dudelikn invloed ip methodologieën vo 't moakn van efficiënte en betrouwboare software, en vo 't elpn iprichtn van de vôlgende belangryke subgebiedn van de computerweetnschappn: de theorie van 't parsen, de semantiek van programmeertoaln, automatische programmaverificoatie, automatische programmasynthese, en d' analyse van algoritmes"[44][45] Carnegie Mellon University
Stanford-universiteit
1979 Kenneth E. Iverson "Vo zyn pionierswerk in programmeertoaln en wiskundige notoaties wuk da resulteerde in wuk da de computerweireld nu kent lik APL, vo zyn bydraagn an d' implementoatie van interactieve systemn, an 't educatief gebruuk van APL, en an de theorie en praktyk van programmeertoaln"[46][47] IBM
1980 Tony Hoare Tony Hoare "Vo zyn fundamentele bydraagn an de defeniesje en 't ountwerp van programmeertoaln"[48][49] Queen's University Belfast
Universiteit van Oxford
1981 Edgar F. Codd "Vo zyn fundamentele en bluuvnde bydraagn an de theorie en praktyk van databasemanagementsystemn"[50][51] IBM
1982 Stephen Cook Stephen Cook Vo "zyn vôoruutgank in uus begrip van de complexiteit van berekeniengn ip e belangryke en diepgoande maniere"; de citatie vermeldt surtout zyn artikel "The Complexity of Theorem Proving Procedures," wuk da anzien wudt lik de boasis van de theorie van NP-volledigheid[52][53] Universiteit van Toronto
1983 Dennis Ritchie Dennis Ritchie "Vo nunder ountwikkelienge van algemêne theorie round besturiengssystemn en in 't byzounder vo d' implementoatie van 't UNIX-besturiengssysteem"[54][55] Bell Labs
Ken Thompson Ken Thompson
1984 Niklaus Wirth Niklaus Wirth "Vo d' ountwikkelienge van e reekse innovatieve computertoaln: EULER, ALGOL-W, MODULA en PASCAL"[56] Stanford-universiteit
Universiteit van Zürich
ETH Zürich
1985 Richard M. Karp Richard M. Karp "Vo zyn bluuvnde bydraagn an de theorie van algoritmes, woarounder d' ountwikkelienge van efficiënte algoritmes vo netwerkflow en andre combinatorische optimalisoatieprobleemn, d' identificoatie van polynomialen-tyd berekenboarheid met de intuïtieve notie van algoritmische efficiëntie, en, ipmerkelik, bydraagn an de theorie van NP-volledigheid"[57] Universiteit van Californië, Berkeley
1986 John Hopcroft John Hopcroft "Vo fundamentele prestoaties in 't ountwerp en d' analyse van algoritmes en datastructeurn"[58][59] Cornell University
Robert Tarjan Robert Tarjan Stanford-universiteit
Cornell University
Universiteit van Californië, Berkeley
Princeton-universiteit
1987 John Cocke "Vo serieuze bydraagn in 't ountwerp en de theorie van compilers, d' architecteure van grôte systemn en d' ountwikkelienge van reduced instruction set computers (RISC); vo 't ountdekkn en systematiseern van vele fundamentele transformoaties die nu gebruukt wordn in optimoaliseernde compilers..."[60] IBM
1988 Ivan Sutherland Ivan Sutherland "Vo zyn pioniers- en visionaire bydraagn an computergraphics, beginnnde me Sketchpad, en wa datter doarachter kwam"[61] Stanford-universiteit
Harvard-universiteit
Universiteit van Utah
California Institute of Technology
1989 William Kahan William Kahan "Vo zyn fundamentele bydraagn an de numerieke analyse" en lik "êen van de belangrykste experts ip 't gebied van zwevende-kommaberekeniengn"[62] Universiteit van Californië, Berkeley
1990 Fernando J. Corbató Fernando J. Corbató "Vo zyn pionierswerk in 't organeseern van de conceptn en 't leidn van d' ountwikkelienge van algemêen bruukboare, grôotschoalige, time-sharing en systemn die brônn'n dêeln, CTSS en Multics"[63] Massachusetts Institute of Technology
1991 Robin Milner De citatie van d'n prys vermeldt drie belangryke bydraagn: zyn mechanisoatie van de Logic of Computable Functions; de programmeertoale ML inclusief eur type-inferentie en typeveiligheid; de calculus van communicerende systemn; en de verbiendienge tusschn operationele en denotationele semantiek[64][65] Stanford-universiteit
Universiteit van Edinburgh
1992 Butler Lampson Butler Lampson "Vo bydraagn an d' ountwikkelienge van gedistribueerde, persôonlikke computeromgeviengn en de technologie vo d' implementoatie doarvan: workstations, computernetwerkn, besturiengssystemn, programmeersystemn, beeldschermen, computerbeveiligienge en tekstverwèrkienge"[66] Xerox PARC
DEC
1993 Juris Hartmanis Juris Hartmanis "In erkennienge van nunder invloedryk artikel da de funderiengn legde vo 't gebied van de computatie-complexiteitstheorie"[67][68][69][70] General Electric Research Laboratory
Richard E. Stearns Richard E. Stearns
1994 Edward Feigenbaum Edward A. Feigenbaum "Vo 't pionieren in 't ountwerp en d'n bouw van grôotschoalige kunstmoatige intelligentiesystemn, woamee dan ze 't praktisch belang en d'n potentiëlen commerciëlen impact van AI-technologie beweezen"[71][72][73] Stanford-universiteit
Raj Reddy Raj Reddy Stanford-universiteit
Carnegie Mellon University
1995 Manuel Blum Manuel Blum "In erkennienge van zyn bydraagn an de funderiengn van de computatie-complexiteitstheorie en eur toepassienge in cryptografie en programmaverificoatie"[74] Universiteit van Californië, Berkeley
1996 Amir Pnueli Amir Pnueli "Vo fundamenteel werk da temporele logica introduceerde in de computerweetnschappn en vo uutzounderlikke bydraagn an programma- en systeemverificoatie"[75] Stanford-universiteit
Universiteit van Tel Aviv
Weizmann Instituut van Weetnschappn
Courant Institute of Mathematical Sciences
1997 Douglas Engelbart Douglas Engelbart "Vor een inspirernde visie ip de toekoumste van interactief computn en d' uutviendienge van sleuteltechnologieën vo die visie te realiseern"[76] SRI International
Tymshare
McDonnell Douglas
Bootstrap Institute / The Doug Engelbart Institute[77]
1998 Jim Gray Jim Gray "Vo invloedryke bydraagn an ounderzoek round database- en transactieverwèrkienge en technisch leiderschap in systeemimplementoatie"[78] IBM
Microsoft
1999 Fred Brooks Fred Brooks "Vo miijlpoalbydraagn an computerarchitecteure, besturiengssystemn en software-engineerieng"[79] IBM
Universiteit van North Carolina in Chapel Hill
2000 Andrew Yao Andrew Yao "In erkennienge van zyn fundamentele bydraagn an de theorie van computoatie, inclusief de complexiteitsgebaseerde theorie van pseudotoevallige getallengeneroatie, cryptografie, en communicatiecomplexiteit"[80] Stanford-universiteit
Universiteit van Californië, Berkeley
Princeton-universiteit
2001 Ole-Johan Dahl "Vo ideeën die fundamenteel woarn vo d' ipkomste van objectgeoriënteerd programmern, deur nundern ountwerp van de programmeertoaln Simula I en Simula 67"[81][82] Nôors Rekencentrum
Universiteit van Oslo
Kristen Nygaard Kristen Nygaard
2002 Leonard Adleman Leonard Adleman "Vo nunder ingenieuze bydrage woadeure da public-key cryptografie in de praktyk bruukboar wierd"[83][84][85] University of Southern California
Ron Rivest Ron Rivest Massachusetts Institute of Technology
Adi Shamir Adi Shamir
2003 Alan Kay Alan Kay "Vo 't pionieren van vele ideeën an de boasis van de udige objectgeoriënteerde programmeertoaln, 't leidn van 't team da Smalltalk ountwikkelde, en vo fundamentele bydraagn an personal computing"[86] Universiteit van Utah
Xerox PARC
Stanford-universiteit
Atari
Apple
Walt Disney Imagineering
Viewpoints Research Institute
HP Labs
2004 Vint Cerf Vint Cerf "Vo pionierswerk round internetworkn, met doaby 't ountwerp en d' implementoatie van 't internet zyn boasis-communicoatieprotocols, TCP/IP, en vo nunder g'inspireerd leiderschap in netwerktechnologie"[87][88] Universiteit van Californië, Los Angeles
Stanford-universiteit, DARPA
MCI
CNRI, Google
Bob Kahn Bob Kahn Massachusetts Institute of Technology
Bolt Beranek and Newman
DARPA
CNRI
2005 Peter Naur Peter Naur "Vo fundamentele bydraagn an 't ountwerp van programmeertoaln en de defeniesje van ALGOL 60, an 't ountwerp van compilers, en an de kunst en praktyk van 't programmern"[89] Regnecentralen (nu ounder Fujitsu)
Universiteit van Kopenhagen
2006 Frances Allen Frances Allen "Vo pioniersbydraagn an de theorie en praktyk van optimoaliseernde compilertechniekn die de funderienge legdn vo moderne compilers en automatische parallelle uutvoerienge"[90] IBM
2007 Edmund M. Clarke Edmund M. Clarke "Vo nunder rolle in d' ountwikkelienge van Model-Checking toet een uuterst effectieve verificoatietechnologie die brêed gebruukt wudt in de hardware- en software-industrie"[91][92][93][94] Harvard-universiteit
Carnegie Mellon University
E. Allen Emerson E. Allen Emerson Harvard-universiteit
Universiteit van Texas in Austin
Joseph Sifakis Joseph Sifakis Frans Nationoal Centrum vo Weetnschappelik Ounderzoek (CNRS)
2008 Barbara Liskov Barbara Liskov "Vo bydraagn an de praktische en theoretische funderiengn van programmeertoaln en systeemountwerp, voornamelik round data-abstractie, fouttolerantie en gedistribueerd computn"[14] Massachusetts Institute of Technology
2009 Charles P. Thacker Charles P. Thacker "Vo 't pioniernde ountwerp en de realisoatie van d'n êeste moderne personal computer — den Alto in Xerox PARC — en boanbrekende uutviendiengn vo local area networks (lik den Ethernet), multiprocessor workstations, en tablets"[95] Xerox PARC
DEC
Microsoft Research
2010 Leslie Valiant Leslie Valiant "Vo transformoatieve bydraagn an de theorie van computoatie, inclusief de theorie van probably approximately correct (PAC) learning, en de theorie van parallelle en gedistribueerde berekeniengn"[96] Harvard-universiteit
2011 Judea Pearl Judea Pearl "Vo fundamentele bydraagn an kunstmoatige intelligentie deur d' ountwikkelienge van e calculus vo probabilistisch en causoal redeneern"[97][98] Universiteit van Californië, Los Angeles
New Jersey Institute of Technology
2012 Shafi Goldwasser Shafi Goldwasser "Vo transformoatief werk da de complexiteitstheoretische funderiengn legde vo de weetnschap van cryptografie, en per oungeluk ôok nieuwe methodn pionierde vo 't efficiënt verifiëern van wiskundige bewyzn in de complexiteitstheorie"[15][99][100] Massachusetts Institute of Technology
Weizmann Instituut van Weetnschappn
Silvio Micali Silvio Micali Massachusetts Institute of Technology
2013 Leslie Lamport Leslie Lamport "Vo fundamentele bydraagn an de theorie en praktyk van gedistribueerde en gelyktydige systemn, vôornamelik d' uutviendienge van conceptn lik causaliteit en logische klokkn, veiligheid en liveness, gerepliceerde stoat-machines, en sequentiële consistentie"[101][102][103] Massachusetts Computer Associates (nu Essig PLM)
SRI International
DEC
Compaq
Microsoft Research
2014 Michael Stonebraker Michael Stonebraker "Vo fundamentele bydraagn an de conceptn en praktykn an de boasis van moderne databasesystemn"[104][105] Universiteit van Californië, Berkeley
Massachusetts Institute of Technology
2015 Whitfield Diffie Whitfield Diffie "Vo 't uutviendn en verspreidn van zowèl asymmetrische public-key cryptografie (waarounder d' toepassienge vo digitale andtêkeniengn) as e praktische cryptografische methode vo de wisselienge van sleutels"[106][107][108] Stanford-universiteit
Martin Hellman Martin Hellman
2016 Tim Berners-Lee Tim Berners-Lee "Vo d' uutviendienge van 't World Wide Web, d'n êeste webbrowser, en de fundamentele protocolln en algoritmes die toelietn da 't Web kost groein"[109] CERN
Massachusetts Institute of Technology
World Wide Web Consortium
2017 John L. Hennessy John L. Hennessy "Vo pionierswerk rond e systematische, kwantitatieve anpak vo 't ountwerp en d' evalueatie van computerarchitecteurn met e bluuvndn impact ip de microprocessor-industrie"[110][111][112] Stanford-universiteit
David Patterson David Patterson Universiteit van Californië, Berkeley
2018 Yoshua Bengio Yoshua Bengio "Vo conceptuele en technische deurbrakn die d'rveur ezorgd ein da diepe neuroale netwerkn e crucioal ounderdêel zyn gekommn van computn"[113][114][115][116] Université de Montréal, McGill University,
Mila
Geoffrey Hinton Geoffrey Hinton Universiteit van Toronto
Universiteit van Californië, San Diego
Carnegie Mellon University
University College London
Universiteit van Edinburgh
Google AI
Yann LeCun Yann LeCun Universiteit van Toronto
Bell Labs
Courant Institute of Mathematical Sciences, New York University
Meta AI
2019 Edwin Catmull Edwin Catmull "Vo fundamentele bydraagn an 3D-computergraphics, en d'n impact van computer-generated imagery (CGI) ip film en andre toepassiengn"[117][118][119] Universiteit van Utah
Pixar
Walt Disney Animation Studios
Pat Hanrahan Pat Hanrahan Pixar
Princeton-universiteit
Stanford-universiteit
2020 Alfred Aho "Vo fundamentele algoritmes en theorie an de boasis van programmeertoalimplementoatie en vo 't soamenvattn van nunder eign resultoatn en die van andren in stief invloedryke boekn, woamee da generoaties van computerweetnschappers zyn bygeschoold"[120][121][122] Bell Labs
Columbia University
Jeffrey Ullman Bell Labs
Princeton-universiteit
Stanford-universiteit
2021 Jack Dongarra Jack Dongarra "Vo pioniersbydraagn an numerieke algoritmes en bibliotheekn die 't meugelik miekn vo ôge-prestoatie computoatiesoftware om uut de voeten te bluuvn me d' exponentiële hardware-verbeteriengn in de latste viere decennia"[123][124] Argonne National Laboratory
Oak Ridge National Laboratory
Universiteit van Manchester
Texas A&M University
Universiteit van Tennessee
Rice University
2022 Robert Metcalfe Robert Metcalfe "Vo d' uutviendienge, standardisoatie en commercialisoatie van Ethernet"[125] Massachusetts Institute of Technology, Harvard-universiteit, Xerox PARC, Universiteit van Texas in Austin
2023 Avi Wigderson Avi Wigderson "Vo fundamentele bydraagn an de theorie van de computoatie, woarounder 't ervormen van uus begrip van de rolle van willekeur in computoaties en wiskunde, en vo zyn decennialange intellectueel leiderschap in de theoretische informoatica"[126][127] Institute for Advanced Study, Princeton-universiteit, Hebreeuwse Universiteit van Jeruzalem
2024 Andrew Barto "Vo 't ountwikkeln van de conceptuele en algoritmische funderiengn van reinforcement learning (versterkend lêern)"[3][128][129] University of Massachusetts Amherst
Richard S. Sutton Richard S. Sutton University of Alberta
Amii

Zie ôok

[bewerk'n | brontekst bewerken]

Referenties

[bewerk'n | brontekst bewerken]
  1. 1 2 CACM Staff (2014). ACM's Turing Award prize raised to $1 million, Communications of the ACM 57(12): 20.
  2. 1 2 A. M. Turing Award, Association for Computing Machinery. Geraadpleegd ip 5 november 2007.
  3. 1 2 ACM A.M. Turing Award Honors Two Researchers Who Led the Development of Cornerstone AI Technology, Association for Computing Machinery (5 moarte 2025).
  4. ↑ Dasgupta, Sanjoy; Papadimitriou, Christos; Vazirani, Umesh (2008). Algorithms, McGraw-Hill, p. 317.
  5. ↑ dblp: ACM Turing Award Lectures, informatik.uni-trier.de. Geraadpleegd ip 11 februoari 2023.
  6. ↑ Brown, Bob (6 juni 2011). Why there's no Nobel Prize in Computing, Network World. Geraadpleegd ip 3 juni 2015.
  7. ↑ Homer, Steven; Selman, Alan L. (2001). Computability and Complexity Theory, Springer, p. 35.
  8. ↑ Copeland, Jack (18 juni 2012). Alan Turing: The codebreaker who saved 'millions of lives', BBC News Technology. Geraadpleegd ip 26 oktober 2014.
  9. ↑ Geringer, Steven (27 juli 2007). ACM'S Turing Award Prize Raised To $250,000, ACM press release. Geraadpleegd ip 16 oktober 2008.
  10. ↑ ACM's Turing Award Prize Raised to $1 Million, Association for Computing Machinery. Geraadpleegd ip 13 november 2014.
  11. ↑ Shangguan, Zhongkai; Zheng, Zihe; Luo, Jiebo (2021). What Kind of Person Wins the Turing Award? arXiv:2104.05636.
  12. ↑ Hosch, William L. Turing Award, Encyclopedia Britannica. Geraadpleegd ip 12 moarte 2024.
  13. ↑ First Woman to Receive ACM Turing Award, Association for Computing Machinery (21 februoari 2007). Geraadpleegd ip 5 november 2007.
  14. 1 2 Van Vleck, Tom. Barbara Liskov - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  15. 1 2 Rackoff, Charles. Shafi Goldwasser - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  16. ↑ Perlis, A. J. (1967). The Synthesis of Algorithmic Systems, Journal of the ACM.
  17. ↑ Nofre, David. Alan J Perlis - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  18. ↑ Wilkes, M. V. (1968). Computers then and Now, Journal of the ACM.
  19. ↑ Campbell-Kelly, Martin. Maurice V. Wilkes - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  20. ↑ Hamming, R. W. (1969). One Man's View of Computer Science, Journal of the ACM.
  21. ↑ Robertson, Edmund F. Richard W. Hamming - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  22. ↑ Minsky, M. (1970). Form and Content in Computer Science, Journal of the ACM.
  23. ↑ Winston, Patrick Henry. Marvin Minsky - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  24. ↑ Wilkinson, J. H. (1971). Some Comments from a Numerical Analyst, Journal of the ACM.
  25. ↑ Parlett, Beresford Neill. James Hardy ("Jim") Wilkinson - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  26. ↑ McCarthy, J. (1987). Generality in artificial intelligence, Communications of the ACM. Geraadpleegd ip 1 november 2017.
  27. ↑ Earnest, Lester. John Mccarthy - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  28. ↑ Dijkstra, E. W. (1972). The humble programmer, Communications of the ACM.
  29. ↑ Richards, Hamilton. Edsger Wybe Dijkstra - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  30. ↑ Bachman, C. W. (1973). The programmer as navigator, Communications of the ACM.
  31. ↑ Haigh, Thomas. Charles William Bachman - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  32. ↑ Knuth, D. E. (1974). Computer programming as an art, Communications of the ACM.
  33. ↑ Walden, David. Donald ("Don") Ervin Knuth - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  34. ↑ Newell, A.; Simon, H. A. (1976). Computer science as empirical inquiry: Symbols and search, Communications of the ACM.
  35. ↑ Heyck, Hunter. Allen Newell - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  36. ↑ Heyck, Hunter. Herbert ("Herb") Alexander Simon - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  37. ↑ Rabin, M. O.; Scott, D. (1959). Finite Automata and Their Decision Problems, IBM Journal of Research and Development.
  38. ↑ Rabin, M. O. (1977). Complexity of computations, Communications of the ACM.
  39. ↑ Scott, D. S. (1977). Logic and programming languages, Communications of the ACM.
  40. ↑ Michael O. Rabin - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  41. ↑ Dana Steward Scott - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  42. ↑ Backus, J. (1978). Can programming be liberated from the von Neumann style?: A functional style and its algebra of programs, Communications of the ACM.
  43. ↑ Booch, Grady. John Backus - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  44. ↑ Floyd, R. W. (1979). The paradigms of programming, Communications of the ACM.
  45. ↑ Robert W. Floyd - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 18 oktober 2025.
  46. ↑ Iverson, K. E. (1980). Notation as a tool of thought, Communications of the ACM.
  47. ↑ Smillie, Keith. Kenneth E. ("Ken") Iverson - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  48. ↑ Hoare, C. A. R. (1981). The emperor's old clothes, Communications of the ACM.
  49. ↑ Jones, Cliff. C. Antony ("Tony") R. Hoare - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  50. ↑ Codd, E. F. (1982). Relational database: A practical foundation for productivity, Communications of the ACM.
  51. ↑ Date, C. J. Edgar F. ("Ted") Codd - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  52. ↑ Cook, S. A. (1983). An overview of computational complexity, Communications of the ACM.
  53. ↑ Kapron, Bruce. Stephen Arthur Cook - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  54. ↑ Van Vleck, Tom. A.M. Turing Award Laureate – Kenneth Lane Thompson, Association for Computing Machinery. Geraadpleegd ip 4 november 2018.
  55. ↑ Van Vleck, Tom. A.M. Turing Award Laureate – Dennis M. Ritchie, Association for Computing Machinery. Geraadpleegd ip 4 november 2018.
  56. ↑ Haigh, Thomas. Niklaus E. Wirth - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  57. ↑ Simons, B.; Gusfield, D. Richard ("Dick") Manning Karp - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  58. ↑ John E. Hopcroft - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  59. ↑ King, V. Robert (Bob) Endre Tarjan - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  60. ↑ Burke, Michael G.; Sarkar, Vivek. John Cocke - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  61. ↑ Burton, Robert. Ivan Sutherland - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  62. ↑ Haigh, Thomas. William ("Velvel") Morton Kahan - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  63. ↑ Van Vleck, T. Fernando J ("Corby") Corbato - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  64. ↑ Milner, R. (1993). Elements of interaction: Turing award lecture, Communications of the ACM.
  65. ↑ Fourman, Michael. Arthur John Robin Gorell ("Robin") Milner - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  66. ↑ Levin, Roy. Butler W Lampson - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  67. ↑ Hartmanis, J.; Stearns, R. E. (1965). On the Computational Complexity of Algorithms, Transactions of the American Mathematical Society.
  68. ↑ Stearns, R. E. (1994). Turing Award lecture: It's time to reconsider time, Communications of the ACM.
  69. ↑ Borodin, Allan. Juris Hartmanis - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  70. ↑ Richard ("Dick") Edwin Stearns - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  71. ↑ Reddy, R. (1996). To dream the possible dream, Communications of the ACM.
  72. ↑ Nilsson, Nils J. Edward A ("Ed") Feigenbaum - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  73. ↑ Nilsson, Nils J. Dabbala Rajagopal ("Raj") Reddy - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  74. ↑ Papadimitriou, Christos H. A.M. Turing Award Laureate – Manuel Blum, Association for Computing Machinery. Geraadpleegd ip 4 november 2018.
  75. ↑ Zuck, Lenore. A.M. Turing Award Laureate – Amir Pnueli, Association for Computing Machinery. Geraadpleegd ip 4 november 2018.
  76. ↑ Bardini, Thierry. A.M. Turing Award Laureate – Douglas Engelbart, Association for Computing Machinery. Geraadpleegd ip 4 november 2018.
  77. ↑ The Doug Engelbart Institute. Geraadpleegd ip 17 juni 2012.
  78. ↑ McJones, Paul. James ("Jim") Nicholas Gray - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  79. ↑ Booch, Grady. Frederick ("Fred") Brooks - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  80. ↑ Kapron, Bruce. Andrew Chi-Chih Yao - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  81. ↑ Black, Andrew P. Ole-Johan Dahl - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  82. ↑ Madsen, Ole Lehrman. Kristen Nygaard - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  83. ↑ Ronald (Ron) Linn Rivest - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  84. ↑ Adi Shamir - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  85. ↑ Bebel, Joseph; Teng, Shang-Hua. Leonard (Len) Max Adleman - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  86. ↑ Barnes, Susan B. Alan Kay - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  87. ↑ Abbate, Janet. Vinton ("Vint") Gray Cerf - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  88. ↑ Abbate, Janet. Robert (Bob) Elliot Kahn - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  89. ↑ Daylight, Edgar G. Peter Naur - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  90. ↑ Steele, Guy. Frances ("Fran") Elizabeth Allen - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  91. ↑ 2007 Turing Award Winners Announced. Geraadpleegd ip 9 december 2008.
  92. ↑ Kirkpatrick, Ted. Edmund Melson Clarke - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  93. ↑ Wahl, Thomas. E. Allen Emerson - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  94. ↑ Calude, Cristian S. Joseph Sifakis - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  95. ↑ Charles P. (Chuck) Thacker - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  96. ↑ Leslie Gabriel Valiant - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  97. ↑ Pearl, Judea (2007). ACM Turing Award Lectures.
  98. ↑ Russell, Stuart J. Judea Pearl - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 15 moarte 2012.
  99. ↑ Turing award 2012, Association for Computing Machinery.
  100. ↑ Wigderson, Avi. Silvio Micali - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  101. ↑ Turing award 2013, Association for Computing Machinery. Geraadpleegd ip 18 moarte 2014.
  102. ↑ Lamport, L. (1978). Time, clocks, and the ordering of events in a distributed system, Communications of the ACM.
  103. ↑ Malkhi, Dahlia; et al. Leslie Lamport - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  104. ↑ Turing award 2014, Association for Computing Machinery. Geraadpleegd ip 25 moarte 2015.
  105. ↑ Haigh, Thomas. Michael Stonebreaker - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  106. ↑ Diffie, W.; Hellman, M. (1976). New directions in cryptography, IEEE Transactions on Information Theory.
  107. ↑ Cryptography Pioneers Receive 2015 ACM A.M. Turing Award, Association for Computing Machinery. Geraadpleegd ip 1 moarte 2016.
  108. ↑ Yost, Jeffrey R. Martin Hellman - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  109. ↑ Turing award 2016, Association for Computing Machinery. Geraadpleegd ip 4 april 2017.
  110. ↑ Pioneers of Modern Computer Architecture Receive ACM A.M. Turing Award, Association for Computing Machinery. Geraadpleegd ip 21 moarte 2018.
  111. ↑ House, Charles H. John L Hennessy - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  112. ↑ House, Charles H. Charles Patterson - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  113. ↑ Fathers of the Deep Learning Revolution Receive ACM A.M. Turing Award, Association for Computing Machinery. Geraadpleegd ip 27 moarte 2019.
  114. ↑ Haigh, Thomas. Yoshua Bengio - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  115. ↑ Haigh, Thomas. Geoffrey E. Hinton - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  116. ↑ Haigh, Thomas. Yann LeCun - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  117. ↑ 2019 ACM A.M. Turing Award Laureates, Association for Computing Machinery. Geraadpleegd ip 11 februoari 2023.
  118. ↑ Edwin E. Catmull - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  119. ↑ Patrick M. Hanrahan - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  120. ↑ Columbia's Alfred Aho and Stanford's Jeffrey Ullman receive 2020 ACM A.M. Turing Award, Association for Computing Machinery. Geraadpleegd ip 11 februoari 2023.
  121. ↑ Haigh, Thomas. Alfred Vaino Aho - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  122. ↑ Haigh, Thomas. Jeffrey David Ullman - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  123. ↑ Open Graph Title: University of Tennessee's Jack Dongarra receives 2021 ACM A.M. Turing Award, Association for Computing Machinery. Geraadpleegd ip 30 moarte 2022.
  124. ↑ Haigh, Thomas. Dr. Jack Dongarra - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  125. ↑ Robert Melancton Metcalfe - A.M. Turing Award Laureate, Association for Computing Machinery. Geraadpleegd ip 4 moarte 2024.
  126. ↑ Avi Wigderson of the Institute for Advanced Study is the recipient of the 2023 ACM A.M. Turing Award. Geraadpleegd ip 10 april 2024.
  127. ↑ Avi Wigderson - A.M. Turing Award Laureate. Geraadpleegd ip 18 oktober 2025.
  128. ↑ Andrew Barto - A.M. Turing Award Laureate. Geraadpleegd ip 18 oktober 2025.
  129. ↑ Dr. Richard Sutton - A.M. Turing Award Laureate. Geraadpleegd ip 18 oktober 2025.

Vudhere leziengn

[bewerk'n | brontekst bewerken]

Externe koppeliengn

[bewerk'n | brontekst bewerken]
Wikimedia Commons
Overgenomen van "https://vls.wikipedia.org/w/index.php?title=Turing_Award&oldid=324597"