Premi Turing

El Premi Turing és un premi de les Ciències de la Computació que és otorgat anualment per l'Associació per a la Maquinària Computacional (ACM) a els qui hagen contribuït de manera transcendental al camp de les ciències computacionals.

El guardó rendix homenage a Alan Turing i des de 2014 és patrocinat per Google, que recompensa en un premi d'un milló de dólars nortamericans al guanyador.^[1]

Guardonats

**Guardonats en el Premi Turing**
Any	País	Noms	Foto	Motiu
1966	Nortamericà	Alan Perlis		Per la seua influència en les àrees de tècniques de programació alvançades i construcció de compiladorés.
1967	Britànic	Maurice Wilkes	Archiu:Maurice Vincent Wilkes 1980 (3).jpg	Pel disseny i construcció d'EDSAC, la primera computadora de programa almagasenat en memòria interna.
1968	Nortamericà	Richard Hamming		Pel seu treball en métodos numèrics, sistemes de codificació automàtics, i pel desenroll de còdics de detecció i correcció d'errors.
1969	Nortamericà	Marvin Minsky	Archiu:Marvin Minsky at caps block 3 Cb.jpg	Per les seues aportes en inteligència artificial.
1970	Britànic	James H. Wilkinson		Per les seues investigacions en anàlisis numèric per a facilitar l'us de computadors digitals d'alta velocitat.
1971	Nortamericà	John McCarthy	Archiu:John McCarthy Stanford.jpg	Per les seues aportes al camp d'inteligència artificial.
1972	Holandés	Edsger Dijkstra	Archiu:Edsger Wybe Dijkstra.jpg	Per les seues contribucions a la «ciència i art» dels llenguages de programació.
1973	Nortamericà	Charles Bachman	Archiu:Charles Bachman 2012.jpg	Per les seues aportes a la tecnologia de bases de senyes.
1974	Nortamericà	Donald Knuth	Archiu:Knuth alla Open Content Alliance.jpg	Per les seues contribucions a anàlisis d'algoritmes i el disseny de llenguages de programació.
1975	Nortamericà	Allen Newell		Pels seus aportes en inteligència artificial, la psicologia de la percepció humana i processament de llistes.
1975	Nortamericà	Herbert Alexander Simon	Archiu:Herbert simon red complete.jpg
1976	Alemà	Michael Oser Rabin	Archiu:M O Rabin.jpg	Pel seu treball en autómates finitos, introduint l'idea de màquines no determinista.
1976	Archiu:Flag of the United States.svg	Dana Scott	Archiu:Scott Dana small.jpg
1977	Nortamericà	John Backus	Archiu:John Backus 2.jpg	Per les seues contribucions al disseny de sistemes de programació d'alt nivell i per la publicació de procediments formals per a l'especificació de llenguages de programació.
1978	Nortamericà	Robert W. Floyd		Per la seua influència en metodologia per a la creació de software eficient i fiable, i pels seus aportes en els següents camps: teoria d'anàlisis sintàctic, semàntica en llenguages de programació, verificació automàtica de programes, síntesis automàtica de programes i anàlisis d'algoritmes.
1979	Canadenc	Kenneth E. Iverson	sinmarco	Pels seus pioners esforços en llenguages de programació i notació matemàtica, donant com a resultat APL.
1980	Britànic	C. Antony R. Hoare	Archiu:Sir Tony Hoare caps block 16 5125.jpg	Per les seues importants contribucions a la definició i disseny de llenguages de programació.
1981	Britànic	Edgar F. Codd		Per les seues contínues i importants aportes a la teoria i pràctica dels sistemes de gestió de bases de senyes, ideant l'enfocament relacional de la gestió de bases de senyes.
1982	Nortamericà	Stephen A. Cook	Archiu:Prof.Cook (cropped).jpg	Per les seues aportes en el camp de la complexitat computacional. Va idear els fonaments de la teoria de NP-completitud.
1983	Nortamericà	Kenneth L. Thompson	Archiu:Ken Thompson 02.jpg	Per les seues contribucions al desenroll de sistemes operatius en general i la creació d'Unix en particular.
1983	Nortamericà	Dennis M. Ritchie	Archiu:Dennis Ritchie 2011.jpg
1984	Suís	Niklaus Wirth	Archiu:Niklaus Wirth, UrGU (cropped).jpg	Pel desenroll d'una série d'innovadors llenguages de programació com EULER, ALGOL-W, MODULA i PASCAL.
1985	Nortamericà	Richard M. Karp	Archiu:Karp mg 7725-b.cr2.jpg	Per les seues contribucions a la teoria d'algoritmes, l'identificació de problemes computables en temps polinomial i a la teoria de NP-completitud.
1986	Nortamericà	John Hopcroft	Archiu:Hopcrofg (cropped).jpg	Pels seus guanys en l'anàlisis i disseny d'algoritmes i estructures de senyes.
1986	Nortamericà	Robert Tarjan	Archiu:Bob Tarjan.jpg
1987	Nortamericà	John Cocke		Pel seu aporte a la teoria de compiladors, arquitectura de grans sistemes i el desenroll de joc d'instruccions reduït RISC.
1988	Nortamericà	Ivan Sutherland	Archiu:Ivan Sutherland at caps block 30 .jpg	Per les seues aportes a la computació gràfica.
1989	Canadenc	William (Velvel) Kahan	Archiu:William Kahan 2008 (cropped).jpg	Per les seues contribucions a l'anàlisis numèric, particularment en computació en menge flotant.
1990	Nortamericà	Fernando J. Corbató	Archiu:Fernando Corbato.jpg	Pel seu treball liderant el desenroll de CTSS i Multics.
1991	Britànic	Robin Milner		Per tres guanys: Desenroll del sistema LCF, provablement la primera ferramenta de demostració automàtica de teoremes. Desenroll del llenguage ML, metallenguage per a escriure estratègies i tàctiques en LCF. Primer llenguage en posseir un sistema polimòrfic de tipos en inferència automatizado i maneig d'excepcions segur des del punt de vista de tipos. Desenroll d'un marc teòric per a l'anàlisis de sistemes concurrents, el càlcul de sistemes comunicants (CCS) i el seu successor, el pi-càlcul.
1992	Nortamericà	Butler Lampson	Archiu:Professional Developers Conference 2009 Technical Leaders Panel 6 (cropped).jpg	Per les seues contribucions al desenroll d'entorns distribuïts i la tecnologia per a la seua implementació: estacions de treball, rets, sistemes operatius, sistemes de programació, monitors, publicació de documents i seguritat.
1993	Lituà	Juris Hartmanis	Archiu:Juris Hartmanis(2002).jpg	Per establir els fonaments del camp de la teoria de complexitat computacional.
1993	Nortamericà	Richard Stearns	Archiu:Dick Stearns (cropped).jpg
1994	Nortamericà	Edward Feigenbaum	Archiu:27. Dr. Edward caps block 38 Feigenbaum 1994-1997.jpg	Pel disseny i construcció de grans sistemes d'inteligència artificial.
1994	Hindú	Raj Reddy	Archiu:ProfReddys Photo Cropped.jpg
1995	Veneçolà	Manuel Blum	Archiu:Blum manuel (cropped).jpg	En reconeiximent pels seus aportes als fonaments de la teoria de complexitat computacional i la seua aplicabilidad a la criptografia.
1996	Israelita	Amir Pnueli	Archiu:Amir Pnueli.jpg	Pel seu treball introduint la llògica temporal en informàtica i pels seus importants aportes a la verificació de programes i sistemes.
1997	Nortamericà	Douglas Engelbart	Archiu:Douglas Engelbart in 2008.jpg	Pel seu treball en computació interactiva.
1998	Nortamericà	Jim Gray	Archiu:Jim Gray Computing in the 21st Century 2006 (cropped).jpg	Per les seues contribucions en bases de senyes, investigació en el processament de transaccions i implementació de sistemes.
1999	Nortamericà	Frederick Brooks	Archiu:Fred Brooks (cropped).jpg	Per les seues contribucions a arquitectura de computadors, sistemes operatius i ingenieria del software.
2000	Chinenc	Andrew Chi-Chih Yao	Archiu:Andrew Yao caps block 39 (cropped).jpg	En reconeiximent dels seus importants aportes a la teoria de la computació, criptografia.
2001	Noruec	Ole-Johan Dahl		Pel seu treball en els llenguages de programació Simula I i Simula 67, que varen permetre l'aparició de la programació orientada a objectes.
2001	Noruec	Kristen Nygaard	Archiu:Kristen-Nygaard- caps block 40 -head.png
2002	Nortamericà	Ronald Rivest	Archiu:Ronald L Rivest photo.jpg	Importants aportes a la criptografia, en particular l'algoritme RSA.
	Israelita	Adi Shamir	Archiu:Adi Shamir at caps block 42 Darmstadt (2013).jpg
	Nortamericà	Leonard Adleman	Archiu:Len-mankin-pic.jpg
2003	Nortamericà	Alan Kay	Archiu:Alan Kay (3097597186) (cropped).jpg	Pioner de la programació orientada a objectes i pare del llenguage Smalltalk.
2004	Nortamericà	Vinton Cerf	Archiu:Dr Vint Cerf ForMemRS (cropped).jpg	Pel protocol TCP/IP.
2004	Nortamericà	Robert Kahn	Archiu:Bob Kahn.jpg	Pel protocol TCP/IP.
2005	Danés	Peter Naur	Archiu:Peternaur. caps block 45	Per les seues contribucions fonamentals en el desenroll i definició del ALGOL 60, el seu disseny del compilador i l'art en la pràctica de la programació.
2006	Nortamericà	Frances Allen	Archiu:Allen mg 2528-3750K-b.jpg	Per les seues contribucions que varen millorar fonamentalment el rendiment dels programes de computador i varen accelerar l'us de sistemes de computació d'alt rendiment.
2007	Nortamericà	Edmund Clarke	Archiu:Edmund Clarke FLoC 2006 (cropped).jpg	Pel seu treball pioner en un método automatizado (cridat «model checking» en anglés) per a trobar errors de disseny en software i hardware.
	Nortamericà	E. Allen Emerson	Archiu:E-allen-emerson.jpg
	Nortamericà	Joseph Sifakis	Archiu:Joseph Sifakis img 0966.jpg
2008	Nortamericà	Barbara Liskov	Archiu:Barbara Liskov caps block 48 computer scientist 2010.jpg	Per la seua contribució als fonaments teòrics i pràctics en el disseny de llenguages de programació i sistemes, especialment relacionats en l'abstracció de senyes, tolerància a fallos i computació distribuïda.
2009	Nortamericà	Charles Thacker	Archiu:Chuckthacker (cropped).jpg	Per la seua contribució al desenroll d'Alt, el primer ordenador personal, aixina com de Ethernet i el Tablet PC.
2010	Britànic	Leslie Valiant	Archiu:Leslie Valiant (cropped).jpg	Per les seues transformadores contribucions a la teoria de la computació, incloent la teoria de l'aprenentage provable, aproximadament correcte, la complexitat de l'enumeració i de la computació algebraica, i teories de la computació paralela i distribuïda.
2011	Israelita Nortamericà	Judea Pearl	Archiu:Judea Pearl at caps block 50 2013 (11781981594) (cropped).jpg	Per les seues contribucions fonamentals a l'inteligència artificial a través del desenroll d'un càlcul de provabilitats i de raonament causal.
2012	Italià Nortamericà	Silvio Micali	Archiu:Silvio Micali (cropped).jpg	Pel seu treball que va assentar les bases teòriques de la ciència de la criptografia i nous métodos per al control eficaç de les proves matemàtiques en la teoria de la complexitat computacional.
2012	Israelita Nortamericà	Shafi Goldwasser	Archiu:Shafi Goldwasser. caps block 51
2013	Nortamericà	Leslie Lamport	Archiu:Leslie Lamport.jpg	Per contribucions fonamentals en la teoria i pràctica dels sistemes distribuïts i concurrents, notablement l'invenció de conceptes com a causalitat i rellonges llògics, seguritat i liveness, màquines d'estat replicades, i consistència seqüencial.^[2]
2014	Nortamericà	Michael Stonebraker	Archiu:Michael Stonebraker caps block 53 .jpg	Per contribucions fonamentals als conceptes i les pràctiques que són la base dels sistemes de bases de senyes modernes.^[3]
2015	Nortamericà	Whitfield Diffie	Archiu:Whitfield Diffie Royal Society (cropped).jpg	Per contribucions fonamentals a la criptografia moderna.^[4]
2015	Nortamericà	Martin Hellman	Archiu:Martin-Hellman.jpg
2016	Britànic	Tim Berners-Lee	Archiu:Sir Tim Berners-Lee (cropped).jpg	Per crear la World Wide Web, el primer navegador web i els protocols i algoritmes necessaris per al seu funcionament.
2017	Nortamericà	John L. Hennessy	Archiu:John L Hennessy (cropped).jpg	Pel seu treball pioner en una aproximació sistemàtica i quantitativa al disseny i evaluació de arquitectura d'ordenador en important impacte en l'indústria del microprocessador.^[5]
2017	Nortamericà	David A. Patterson	Archiu:David A Patterson.jpg
2018	Francés	Yann LeCun	Archiu:Yann LeCun - 2018 (cropped).jpg	Pels seus alvanços conceptuals i d'ingenieria que han fet de les rets neuronals profundes un component crític de la computació.^[6]
	Britànic	Geoffrey Hinton	Archiu:Geoffrey Hinton at caps block 64 (cropped).jpg
	Francés	Yoshua Bengio	Archiu:Yoshua Bengio - 2017.jpg
2019	Nortamericà	Edwin Catmull	Archiu:Caps block 65 Awards 89 cropped.jpg	Per contribucions fonamentals als gràfics per computadora en 3-D, i l'impacte revolucionari d'estes tècniques en les imàgens generades per computadora (CGI) en la realisació de películes i atres aplicacions.
2019	Nortamericà	Pat Hanrahan	Archiu:Pat Hanrahan Tableau Customer Conference 2009.jpg
2020	Canadenc	Alfred Aho		Per algoritmes i teories fonamentals que subyacer a l'implementació del llenguage de programació i per sintetisar estos resultats i els de uns atres en els seus llibres altament influents, que varen educar a generacions de científics informàtics.
2020	Nortamericà	Jeffrey Ullman
2021	Nortamericà	Jack Dongarra	Archiu:Jack-dongarra-2022.jpg	Per les seues contribucions en biblioteques i algoritmes numèrics que varen permetre que el software computacional d'alt rendiment seguira el ritme de les millores exponencials de l'hardware durant més de quatre décades.
2022	Nortamericà	Robert Metcalfe	Archiu:With Bob Metcalfe (cropped).jpg	Per les seues contribucions en la creació de la Ethernet.^[7]
2023	Israelita	Avi Wigderson	Archiu:Avi Wigderson (London 2012) Cropped.jpg	Per remodelar la nostra comprensió del paper de la aleatorietat en la computació i per décades de liderage intelectual en l'informàtica teòrica.^[8]
2024	Nortamericà	Andrew Barto		Per desenrollar els fonaments conceptuals i algorítmics de l'aprenentage per reforç.
2024	Canadenc	Richard S. Sutton	Archiu:Richard Sutton 2021 (cropped).jpg
2025	Nortamericà	Charles H. Bennett	Archiu:Dr. Charles Bennett caps block 72 Fellow.jpg	Per iniciar i donar forma a la revolució quàntica en l'informàtica.
2025	Canadenc	Gilles Brassard	Archiu:Gilles Brassard (2019).jpg

Número de guardons per nacionalitat

Esta és la distribució dels Premis Turing des de 1966 fins a 2023. Les nacionalitats dels guardonats estan basades en el seu lloc de naiximent, no a on varen desenrollar el seu treball com a investigadors.

Referències

↑ «Funding Level increased to $1M». ACM.
↑ «Turing award 2013». ACM.
↑ «Turing award 2014». ACM.
↑ «Cryptography Pioneers Receive 2015 ACM A.M. Turing Award». ACM.
↑ «Pioneers of Modern Computer Architecture Receive ACM A.M. Turing Award». ACM.
↑ «Turing award 2018». ACM.
↑ «A.M. Turing Award» (en en).
↑ «Avi Wigderson of the Institute for Advanced Study is the recipient of the 2023 ACM A.M. Turing Award» (en en). awards.acm.org. Consultat el 2024-04-23.

Referències

Este artícul conté una traducció derivada de «Premio Turing» de Wikipedia en castellà publicada baix la Llicència de documentació lliure de GNU i la Llicència Creative Commons Reconeiximent-CompartirIgual 4.0 Internacional.

[1] «Funding Level increased to $1M». ACM.

[2] «Turing award 2013». ACM.

[3] «Turing award 2014». ACM.

[4] «Cryptography Pioneers Receive 2015 ACM A.M. Turing Award». ACM.

[5] «Pioneers of Modern Computer Architecture Receive ACM A.M. Turing Award». ACM.

[6] «Turing award 2018». ACM.

[7] «A.M. Turing Award» (en en).

[8] «Avi Wigderson of the Institute for Advanced Study is the recipient of the 2023 ACM A.M. Turing Award» (en en). awards.acm.org. Consultat el 2024-04-23.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]