Anar al contingut

Premi Turing

De L'Enciclopèdia, la wikipedia en valencià
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 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 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 Per les seues aportes al camp d'inteligència artificial.
1972 Holandés Edsger Dijkstra Per les seues contribucions a la «ciència i art» dels llenguages de programació.
1973 Nortamericà Charles Bachman Per les seues aportes a la tecnologia de bases de senyes.
1974 Nortamericà Donald Knuth 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.
Nortamericà
Herbert Alexander Simon
1976 Alemà
Michael Oser Rabin
 Pel seu treball en autómates finitos, introduint l'idea de màquines no determinista.
Dana Scott
1977 Nortamericà John Backus 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 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 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 Per les seues contribucions al desenroll de sistemes operatius en general i la creació d'Unix en particular.
Nortamericà Dennis M. Ritchie
1984 Suís Niklaus Wirth Pel desenroll d'una série d'innovadors llenguages de programació com EULER, ALGOL-W, MODULA i PASCAL.
1985 Nortamericà Richard M. Karp 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 Pels seus guanys en l'anàlisis i disseny d'algoritmes i estructures de senyes.
Nortamericà Robert Tarjan
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 Per les seues aportes a la computació gràfica.
1989 Canadenc William (Velvel) Kahan Per les seues contribucions a l'anàlisis numèric, particularment en computació en menge flotant.
1990 Nortamericà Fernando J. Corbató 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 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 Per establir els fonaments del camp de la teoria de complexitat computacional.
Nortamericà Richard Stearns
1994 Nortamericà Edward Feigenbaum Pel disseny i construcció de grans sistemes d'inteligència artificial.
Hindú Raj Reddy
1995 Veneçolà Manuel Blum En reconeiximent pels seus aportes als fonaments de la teoria de complexitat computacional i la seua aplicabilidad a la criptografia.
1996 Israelita Amir Pnueli 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 Pel seu treball en computació interactiva.
1998 Nortamericà Jim Gray Per les seues contribucions en bases de senyes, investigació en el processament de transaccions i implementació de sistemes.
1999 Nortamericà Frederick Brooks Per les seues contribucions a arquitectura de computadors, sistemes operatius i ingenieria del software.
2000 Chinenc Andrew Chi-Chih Yao 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.
Noruec Kristen Nygaard
2002 Nortamericà Ronald Rivest Archiu:Ronald L Rivest photo.jpg Importants aportes a la criptografia, en particular l'algoritme RSA.
Israelita Adi Shamir
Nortamericà Leonard Adleman
2003 Nortamericà Alan Kay Pioner de la programació orientada a objectes i pare del llenguage Smalltalk.
2004 Nortamericà Vinton Cerf Pel protocol TCP/IP.
Nortamericà Robert Kahn
2005 Danés Peter Naur 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 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 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
Nortamericà Joseph Sifakis
2008 Nortamericà Barbara Liskov 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 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 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 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 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.
Israelita
Nortamericà 		Shafi Goldwasser
2013 Nortamericà Leslie Lamport 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 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 Per contribucions fonamentals a la criptografia moderna.[4]
Nortamericà Martin Hellman
2016 Britànic Tim Berners-Lee 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 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]
Nortamericà David A. Patterson
2018 Francés Yann LeCun 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
Francés Yoshua Bengio
2019 Nortamericà Edwin Catmull 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.
Nortamericà Pat Hanrahan
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.
Nortamericà Jeffrey Ullman
2021 Nortamericà Jack Dongarra 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 Per les seues contribucions en la creació de la Ethernet.[7]
2023 Israelita Avi Wigderson 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ç.
Canadenc Richard S. Sutton
2025 Nortamericà Charles H. Bennett Per iniciar i donar forma a la revolució quàntica en l'informàtica.
Canadenc Gilles Brassard

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

  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.


Referències


Obtingut de «https://lenciclopedia.org/w/index.php?title=Premi_Turing&oldid=1320227»