AlegsaOnline.com

Turing Award

Schrijver: Leandro Alegsa

12-11-2022

De ACM A.M. Turing Award is een jaarlijkse prijs die door de Association for Computing Machinery (ACM) wordt toegekend aan "een persoon die geselecteerd is voor bijdragen van technische aard aan de computerwereld". Hij is genoemd naar Alan Turing en wordt elk jaar in New York City uitgereikt. Het is de hoogste onderscheiding die aan een computerwetenschapper kan worden toegekend. en de "Nobelprijs voor de informatica".

Geschiedenis

De eerste Turing Award werd in 1966 uitgereikt aan Alan Perlis, een leraar aan de Carnegie Mellon University. Sindsdien is hij elk jaar uitgereikt.

De eerste ontvanger, in 1966, was Alan Perlis van de Carnegie Mellon University. Frances E. Allen van IBM was in 2006 de eerste vrouwelijke ontvanger in de veertigjarige geschiedenis van de prijs.

Ontvangers

Jaar	Ontvanger	Foto	Reden
1966	Alan Perlis	80px	Voor zijn invloed op het gebied van geavanceerde computerprogrammeertechnieken en compilerbouw.
1967	Maurice Wilkes		Wilkes is vooral bekend als bouwer en ontwerper van de EDSAC, de eerste computer met een intern opgeslagen programma. De EDSAC, gebouwd in 1949, gebruikte een kwikvertragingslijngeheugen. Hij is ook bekend als de auteur, samen met Wheeler en Gill, van een deel over "Preparation of Programs for Electronic Digital Computers" in 1951, waarin programmabibliotheken effectief werden geïntroduceerd.
1968	Richard Hamming	80px	Voor zijn werk aan numerieke methoden, automatische coderingssystemen en foutdetecterende en foutcorrigerende codes.
1969	Marvin Minsky		Voor zijn centrale rol in het creëren, vormgeven, promoten en bevorderen van kunstmatige intelligentie.
1970	James H. Wilkinson	80px	Voor zijn onderzoek naar numerieke analyse om het gebruik van de snelle digitale computer te vergemakkelijken, waarbij hij speciale erkenning kreeg voor zijn werk op het gebied van berekeningen in lineaire algebra en "achterwaartse" foutenanalyse.
1971	John McCarthy		McCarthy's lezing "The Present State of Research on Artificial Intelligence" gaat over het gebied waarop hij met zijn werk veel erkenning heeft gekregen.
1972	Edsger W. Dijkstra		Edsger Dijkstra leverde eind jaren vijftig een belangrijke bijdrage aan de ontwikkeling van ALGOL, een programmeertaal op hoog niveau die een toonbeeld van duidelijkheid en wiskundige nauwkeurigheid is geworden. Hij is een van de belangrijkste voorstanders van de wetenschap en kunst van programmeertalen in het algemeen, en heeft veel bijgedragen aan ons begrip van hun structuur, representatie en implementatie. Zijn vijftienjarige publicaties gaan van theoretische artikelen over grafentheorie tot basishandleidingen, verklarende teksten en filosofische beschouwingen op het gebied van programmeertalen.
1973	Charles Bachman		Voor zijn opmerkelijke bijdragen aan de databasetechnologie.
1974	Donald Knuth		Voor zijn belangrijke bijdragen aan de analyse van algoritmen en het ontwerp van programmeertalen, en in het bijzonder voor zijn bijdragen aan "The Art of Computer Programming" via zijn bekende boeken in een doorlopende reeks met deze titel.
1975	Allen Newell	80px	In gezamenlijke wetenschappelijke inspanningen van meer dan twintig jaar, aanvankelijk in samenwerking met J. C. Shaw van de RAND Corporation, en vervolgens met talrijke collega's van docenten en studenten van de Carnegie Mellon University, hebben zij fundamentele bijdragen geleverd aan kunstmatige intelligentie, de psychologie van de menselijke cognitie en lijstverwerking.
1975	Herbert A. Simon
1976	Michael O. Rabin		Voor hun gezamenlijke paper "Finite Automata and Their Decision Problem," die het idee van niet-deterministische machines introduceerde, wat een enorm waardevol concept is gebleken. Hun klassieke paper (Scott & Rabin) is een voortdurende bron van inspiratie geweest voor latere werkzaamheden op dit gebied.
1976	Dana Scott
1977	John Backus		Voor zijn diepgaande, invloedrijke en blijvende bijdragen aan het ontwerp van praktische high-level programmeersystemen, met name door zijn werk aan FORTRAN, en voor zijn baanbrekende publicatie van formele procedures voor de specificatie van programmeertalen.
1978	Robert W. Floyd	80px	Voor zijn duidelijke invloed op methoden voor het maken van efficiënte en betrouwbare software, en voor het helpen oprichten van de volgende belangrijke deelgebieden van de computerwetenschap: de theorie van parsing, de semantiek van programmeertalen, automatische programmaverificatie, automatische programmasynthese, en analyse van algoritmen.
1979	Kenneth E. Iverson	80px	Voor zijn pionierswerk op het gebied van programmeertalen en wiskundige notatie, resulterend in wat het computergebied nu kent als APL, voor zijn bijdragen aan de implementatie van interactieve systemen, aan educatief gebruik van APL, en aan de theorie en praktijk van programmeertalen.
1980	Tony Hoare		Voor zijn fundamentele bijdragen aan de definitie en het ontwerp van programmeertalen.
1981	Edgar F. Codd	80px	Voor zijn fundamentele en voortdurende bijdragen aan de theorie en praktijk van databasemanagementsystemen, in het bijzonder relationele databases.
1982	Stephen A. Cook		Omdat hij ons begrip van de complexiteit van berekeningen aanzienlijk en diepgaand heeft verbeterd.
1983	Ken Thompson		Voor hun ontwikkeling van generieke besturingssystemen theorie en specifiek voor de implementatie van het UNIX besturingssysteem.
1983	Dennis M. Ritchie
1984	Niklaus Wirth		Voor het ontwikkelen van een reeks innovatieve computertalen, EULER, ALGOL-W, MODULA en Pascal.
1985	Richard M. Karp		Voor zijn voortdurende bijdragen aan de theorie van algoritmen, waaronder de ontwikkeling van efficiënte algoritmen voor netwerkstromen en andere combinatorische optimalisatieproblemen, de identificatie van polynomiale tijdberekenbaarheid met het intuïtieve begrip van algoritmische efficiëntie, en, in het bijzonder, bijdragen aan de theorie van NP-completeness.
1986	John Hopcroft		Voor fundamentele prestaties bij het ontwerp en de analyse van algoritmen en gegevensstructuren.
1986	Robert Tarjan
1987	John Cocke	80px	Voor belangrijke bijdragen aan het ontwerp en de theorie van compilers, de architectuur van grote systemen en de ontwikkeling van computers met verminderde instructieset (RISC).
1988	Ivan Sutherland		Voor zijn baanbrekende en visionaire bijdragen aan computer graphics, te beginnen met Sketchpad en daarna.
1989	William Kahan		Voor zijn fundamentele bijdragen aan de numerieke analyse. Een van de belangrijkste experts op het gebied van floating-point berekeningen. Kahan heeft zich ingezet om "de wereld veilig te maken voor numerieke berekeningen."
1990	Fernando J. Corbató		Voor zijn pionierswerk bij het organiseren van de concepten en het leiden van de ontwikkeling van de universele, grootschalige, time-sharing en resource-sharing computersystemen CTSS en Multics.
1991	Robin Milner	80px	Voor drie afzonderlijke en volledige verwezenlijkingen: 1) LCF, de mechanisatie van Scott's Logic of Computable Functions, waarschijnlijk het eerste theoretisch onderbouwde maar praktische hulpmiddel voor machine-ondersteunde bewijsconstructie; 2) ML, de eerste taal die polymorfe type-inferentie bevatte, samen met een type-veilig exception-handling mechanisme; 3) CCS, een algemene theorie van concurrency. Bovendien formuleerde hij volledige abstractie, de studie van de relatie tussen operationele en denotationele semantiek, en bracht deze sterk naar voren.
1992	Butler W. Lampson		Voor bijdragen aan de ontwikkeling van gedistribueerde, persoonlijke computeromgevingen en de technologie voor de implementatie daarvan: werkstations, netwerken, besturingssystemen, programmeersystemen, beeldschermen, beveiliging en publicatie van documenten.
1993	Juris Hartmanis		Als erkenning voor hun baanbrekende paper die de basis legde voor het gebied van de computationele complexiteitstheorie.
1993	Richard E. Stearns
1994	Edward Feigenbaum		Voor het pionieren bij het ontwerpen en bouwen van grootschalige kunstmatige intelligentiesystemen, waarmee het praktische belang en de potentiële commerciële impact van kunstmatige-intelligentietechnologie wordt aangetoond.
1994	Raj Reddy
1995	Manuel Blum		Ter erkenning van zijn bijdragen aan de grondslagen van de computationele complexiteitstheorie en de toepassing ervan op cryptografie en programmacontrole.
1996	Amir Pnueli		Voor de introductie van temporele logica in de computerwetenschap en voor uitstekende bijdragen aan de verificatie van programma's en systemen.
1997	Douglas Engelbart		Voor een inspirerende visie op de toekomst van interactief computergebruik en de uitvinding van belangrijke technologieën om deze visie te helpen realiseren.
1998	Jim Gray		Voor baanbrekende bijdragen aan onderzoek naar databases en transactieverwerking en technisch leiderschap bij systeemimplementatie.
1999	Frederick P. Brooks		Voor belangrijke bijdragen aan computerarchitectuur, besturingssystemen en software engineering.
2000	Andrew Chi-Chih Yao		Ter erkenning van zijn fundamentele bijdragen aan de theorie van het rekenen, waaronder de op complexiteit gebaseerde theorie van pseudorandom getalgeneratie, cryptografie en communicatiecomplexiteit.
2001	Ole-Johan Dahl	80px	Voor ideeën die fundamenteel zijn voor het ontstaan van objectgeoriënteerd programmeren, door hun ontwerp van de programmeertalen Simula I en Simula 67.
2001	Kristen Nygaard
2002	Ron Rivest		Voor hun geniale bijdrage om cryptografie met openbare sleutels in de praktijk bruikbaar te maken.
	Adi Shamir
	Leonard M. Adleman
2003	Alan Kay		Voor het pionieren met veel van de ideeën die ten grondslag liggen aan hedendaagse objectgeoriënteerde programmeertalen, het leiden van het team dat Smalltalk ontwikkelde, en voor fundamentele bijdragen aan personal computing.
2004	Vint Cerf		Voor zijn pionierswerk op het gebied van internetwerken, waaronder het ontwerp en de implementatie van de basiscommunicatieprotocollen van het internet, TCP/IP, en voor zijn geïnspireerde leiderschap op het gebied van netwerken.
2004	Bob Kahn
2005	Peter Naur		Voor fundamentele bijdragen aan het ontwerp van programmeertaal en de definitie van ALGOL 60, aan het ontwerp van compilers en aan de kunst en praktijk van het computerprogrammeren.
2006	Frances E. Allen		Voor baanbrekende bijdragen aan de theorie en praktijk van optimaliserende compilertechnieken die de basis hebben gelegd voor moderne optimaliserende compilers en automatische parallelle uitvoering.
2007	Edmund M. Clarke		Voor hun rol bij de ontwikkeling van modelcontrole tot een zeer doeltreffende verificatietechnologie, die algemeen wordt toegepast in de hardware- en software-industrie.
	E. Allen Emerson
	Joseph Sifakis
2008	Barbara Liskov		Voor bijdragen aan de praktische en theoretische grondslagen van programmeertaal en systeemontwerp, in het bijzonder met betrekking tot gegevensabstractie, foutentolerantie en gedistribueerd computergebruik.
2009	Charles P. Thacker		Voor zijn baanbrekend ontwerp en realisatie van de Xerox Alto, de eerste moderne personal computer, en daarnaast voor zijn bijdragen aan het Ethernet en de Tablet PC.
2010	Leslie G. Valiant		Voor transformatieve bijdragen aan de theorie van het rekenen, waaronder de theorie van waarschijnlijk ongeveer juist leren (PAC), de complexiteit van opsomming en van algebraïsch rekenen, en de theorie van parallel en gedistribueerd rekenen.
2011	Judea Pearl		Voor fundamentele bijdragen aan kunstmatige intelligentie door de ontwikkeling van een calculus voor probabilistisch en causaal redeneren.
2012	Silvio Micali		Voor transformerend werk dat de complexiteitstheoretische grondslagen heeft gelegd voor de wetenschap van de cryptografie en daarbij een pioniersrol heeft vervuld voor nieuwe methoden voor efficiënte verificatie van wiskundige bewijzen in de complexiteitstheorie.
2012	Shafi Goldwasser
2013	Leslie Lamport		Voor fundamentele bijdragen aan de theorie en praktijk van gedistribueerde en gelijktijdige systemen, met name de uitvinding van concepten als causaliteit en logische klokken, veiligheid en betrouwbaarheid, gerepliceerde toestandsmachines en sequentiële consistentie.
2014	Michael Stonebraker		Voor fundamentele bijdragen aan de concepten en praktijken die ten grondslag liggen aan moderne databasesystemen.
2015	Martin E. Hellman		Voor fundamentele bijdragen aan de moderne cryptografie. Diffie en Hellman's baanbrekende paper uit 1976, "New Directions in Cryptography," introduceerde de ideeën van publieke-sleutel cryptografie en digitale handtekeningen, die de basis vormen voor de meeste regelmatig gebruikte beveiligingsprotocollen op het Internet vandaag de dag.
2015	Whitfield Diffie
2016	Tim Berners-Lee		Voor het uitvinden van het World Wide Web, de eerste webbrowser, en de fundamentele protocollen en algoritmen die het mogelijk maken het Web te schalen.
2017	John L. Hennessy		Voor het pionieren met een systematische, kwantitatieve benadering van het ontwerp en de evaluatie van computerarchitecturen met blijvende gevolgen voor de microprocessorindustrie.
2017	David Patterson
2018	Yoshua Bengio		Voor conceptuele en technische doorbraken die diepe neurale netwerken tot een essentieel onderdeel van de informatica hebben gemaakt.
	Geoffrey Hinton
	Yann LeCun
2019	Edwin Catmull		Voor fundamentele bijdragen aan 3-D computer graphics en de revolutionaire invloed van deze technieken op computer-generated imagery (CGI) in films en andere toepassingen.
2019	Pat Hanrahan