Turing Award

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".

  De Turing Award  Zoom
De Turing Award  

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Pat Hanrahan


AlegsaOnline.com - 2020 / 2023 - License CC3