Premi Turing

El Premi Turing és considerat per molts com el Premi Nobel de la Informàtica. És atorgat anualment per l'Associació per a la Maquinària Computacional (ACM) a qui hagi contribuït de manera transcendental al camp de les ciències computacionals. El guardó rendeix tribut a Alan Mathison Turing. Després de 40 anys d'existència, el 2006 es va atorgar el guardó a la primera dona, Frances Allen.

Des de 2007, el guanyador és recompensat amb 250.000 dòlars, co-patrocinat per Intel i Google.

Guardonats

Guardonats amb el Premi Turing

Any	Nom	Motiu
1966	Alan Perlis	Per la seva influència en les àrees de tècniques de programació avançades i construcció de compiladors.
1967	Maurice V. Wilkes	Per el disseny i construcció de EDSAC, el primer ordinador de programa emmagatzemament en memòria interna.
1968	Richard Hamming	Per la seva feina en mètodes numèrics, sistemes de codificació automàtics, i pel desenvolupament de codis de detecció i correcció d'errors.
1969	Marvin Minsky	Per les seves aportacions a intel·ligència artificial.
1970	JH Wilkinson	Per les seves investigacions en anàlisi numèrica per facilitar l'ús de computadors digitals d'alta velocitat.
1971	John McCarthy	Per les seves aportacions al camp de intel·ligència artificial.
1972	Edsger Dijkstra	Per les seves contribució a la "ciència i art" dels llenguatges de programació.
1973	Charles W. Bachman	Per les seves aportacions a la tecnologia de bases de dades.
1974	Donald Erwin Knuth	Per les seves contribucions a anàlisi d'algorismes i el disseny de llenguatges de programació.
1975	Allen Newell Herbert A. Simon	Per les seves aportacions a intel·ligència artificial, la psicologia de la percepció humana i processament de llistes.
1976	Michael O. Rabin Dana S. Scott	Per el seu treball en autòmats finits, introduint la idea de màquines no deterministes.
1977	John Backus	Per les seves contribucions al disseny de sistemes de programació d'alt nivell i per la publicació de procediments formals per a l'especificació de llenguatges de programació.
1978	Robert W. Floyd	Per la seva influència en metodologies per a la creació de programari eficient i fiable, i per les seves aportacions en els següents camps: teoria d'anàlisi sintàctica, semàntica en llenguatges de programació, verificació automàtica de programes, síntesi automàtica de programes i anàlisi d'algorismes.
1979	Kenneth E. Iverson	Per les seves pioners esforços en llenguatges de programació i notació matemàtica, donant com a resultat APL.
1980	C. Antony R. Hoare	Per les seves importants contribucions a la definició i disseny de llenguatges de programació.
1981	Edgar F. Codd	Per les seves contínues i importants aportacions a la teoria i pràctica dels sistemes de gestió de bases de dades, ideant l'enfocament relacional de la gestió de bases de dades.
1982	Stephen A. Cook	Per les seves aportacions en el camp de la complexitat computacional. Va idear els fonaments de la teoria de NP-completesa.
1983	Kenneth L. Thompson Dennis M. Ritchie	Per les seves contribucions al desenvolupament de sistemes operatius en general i la creació de Unix en particular.
1984	Niklaus Wirth	Per el desenvolupament d'una sèrie d'innovadors llenguatges de programació com EULER, ALGOL-O, MODULA i PASCAL.
1985	Richard M. Karp	Per les seves contribucions a la teoria d'algorismes, la identificació de problemes computables en temps polinomial ia la teoria de NP-completesa.
1986	John Hopcroft Robert Tarjan	Per els seus èxits en l'anàlisi i disseny d'algorismes i estructures de dades.
1987	John Cocke	Per la seva aportació a la teoria de compiladors, arquitectura de grans sistemes i el desenvolupament de joc d'instruccions reduït RISC.
1988	Ivan Sutherland	Per les seves aportacions a la computació gràfica.
1989	William (Velvel) Kahan	Per les seves contribucions a l'anàlisi numèric, particularment en computació en coma flotant.
1990	Fernando J. Corbató	Per la seva feina liderant el desenvolupament de CTSS i Multics.
1991	Robin Milner	Per tres èxits: Desenvolupament del sistema LCF, probablement la primera eina de demostració automàtica de teoremes. Desenvolupament del llenguatge ML, metallenguatge per escriure estratègies i tàctiques en LCF. Primer llenguatge en tenir un sistema polimòrfic de tipus amb inferència automatitzada i maneig d'excepcions segur des del punt de vista de tipus. Desenvolupament d'un marc teòric per a l'anàlisi de sistemes concurrents, el càlcul de sistemes comunicants (CCS) i el seu successor, el pi-càlcul.
1992	Butler W. Lampson	Per les seves contribucions al desenvolupament d'entorns distribuïts i la tecnologia per a la seva implementació: estacions de treball, xarxes, sistemes operatius, sistemes de programació, monitors, publicació de documents i seguretat.
1993	Juris Hartmanis Richard E. Stearns	Per establir els fonaments del camp de la teoria de complexitat computacional.
1994	Edward Feigenbaum Raj Reddy	Per el disseny i construcció de grans sistemes d'intel·ligència artificial.
1995	Manuel Blum	En reconeixement per les seves aportacions als fonaments de la teoria de complexitat computacional i la seva aplicabilitat a la criptografia.
1996	Amir Pnueli	Per la seva feina introduint la lògica temporal en informàtica i per les seves importants aportacions a la verificació de programes i sistemes.
1997	Douglas Engelbart	Per la seva feina en computació interactiva.
1998	Jim Gray	Per les seves contribucions en bases de dades, investigació en el processament de transaccions i implementació de sistemes.
1999	Frederick P. Brooks, Jr	Per les seves contribucions a arquitectura de computadors, sistemes operatius i enginyeria del programari.
2000	Andrew Chi-Chih Yao	En reconeixement de les seves importants aportacions a la teoria de la computació, criptografia.
2001	Ole-Johan Dahl Kristen Nygaard	Per la seva feina en els llenguatges de programació Simula I i Simula 67, que van permetre l'aparició de la programació orientada a objectes.
2002	Ronald Rivest Adi Shamir Leonard Adleman	Importants aportacions a la criptografia, en particular l'algoritme RSA.
2003	Alan Kay	Pioner de la programació orientada a objectes i pare del llenguatge Smalltalk.
2004	Vinton G. Cerf Robert E. Kahn	Per el protocol TCP/IP.
2005	Peter Naur	Per les seves contribucions fonamentals en el desenvolupament i definició del Algol 60, el seu disseny del compilador i l'art en la pràctica de la programació.
2006	Frances Allen	Per les seves contribucions que van millorar fonamentalment el rendiment dels programes d'ordinador i accelerar l'ús de sistemes de computació d'alt rendiment.
2007	Edmund M. Clarke E. Allen Emerson Joseph Sifakis	Pel seu treball pioner en un mètode automatitzat (anomenat "model checking" en anglès) per trobar errors de disseny en programari i maquinari.
2008	Barbara H. Liskov	Per la seva contribució als fonaments teòrics i pràctics en el disseny de llenguatges de programació i sistemes, especialment relacionats amb l'abstracció de dades, tolerància a fallades i computació distribuïda.
2009	Charles P. Thacker	Pel seu disseny pioner i la realització del Xerox Alto, el primer ordenador personal modern, i les seves contribucions a Ethernet i el Tablet PC.
2010	Leslie G. Valiant	Per les seves contribucions transformadores a la teoria de la computació, incloent la teoria d'aprenentatge de probablement aproximadament correcte, la complexitat de l'enumeració i programació algebraica, i la teoria de programació paral·lela i distribuïda..
2011	Judea Pearl	Per contribucions fonamentals a la intel·ligència artificial mitjançant càlcul de probabilitat i raonament causal.

Nombre de guardons per nacionalitat

Aquesta és la distribució dels Premis Turing des de 1966 fins a 2011. Les nacionalitats dels guardonats estan basades en el seu lloc (l'estat) de naixença, no on van desenvolupar el seu treball com investigadors.

• EUA: 38
• Regne Unit: 7
• Israel: 3
• Noruega: 2
• Canadà: 2
• Alemanya: 1
• Xina: 1
• Dinamarca: 1
• Letònia: 1
• Països Baixos: 1
• Suïssa: 1
• Veneçuela: 1
• Grècia: 1

Enllaços externs

A Wikimedia Commons hi ha contingut multimèdia relatiu a: Premi Turing

• Web oficial del Premi Turing (anglès).