Vai al contenuto

Premio Turing

Da Wikipedia, l'enciclopedia libera.
Questa voce o sezione deve essere rivista e aggiornata appena possibile.
Sembra infatti che questa voce contenga informazioni superate e/o obsolete. Se puoi, contribuisci ad aggiornarla.
Alan Turing, la persona a cui e intitolato il premio

L'A.M. Turing Award (in italiano, premio Turing) e un premio, assegnato annualmente dalla Association for Computing Machinery (ACM), a una personalita che eccelle per i contributi di natura tecnica offerti alla comunita informatica, in particolare per progressi che siano duraturi e di elevata importanza tecnica.

Il premio viene spesso anche chiamato "premio Nobel dell'informatica" ed e intitolato al matematico inglese Alan Mathison Turing (1912-1954), in riconoscimento del suo contributo unico e originale alla nascita delle attivita di calcolo mediante dispositivi automatici.

Il fatto che l'ACM si dedichi soprattutto al software e alla teoria dell'elaborazione dei dati ha come effetto che nessuno dei premi riguardi contributi strettamente dedicati all'hardware, settore al quale si dedica invece principalmente l'IEEE.

Il vincitore e invitato a tenere una lezione in occasione della premiazione, in seguito pubblicata su un periodico scientifico dell'ACM e, a partire dall'anno 2007 riceve un premio in denaro: fino al 2013 ammontava a 250000 $ ed era offerto da Intel e Google[1], mentre dall'edizione del 2014 la cifra e offerta solo da quest'ultima ed e salita a un milione[2].

Il primo vincitore, nel 1966, fu Alan Perlis della Carnegie Mellon University, mentre Frances E. Allen della IBM fu la prima donna a vincere il premio nel 2006, dopo quarant'anni dalla sua istituzione.[3][4][5]

Anno Vincitore Contributo che ha motivato il riconoscimento
1966 Alan J. Perlis <.>>[6]
1967 Maurice V. Wilkes <librerie di programmi>>
1968 Richard Hamming <>[7]
1969 Marvin Minsky <<Intelligenza artificiale>>
1970 James H. Wilkinson <>[8]
1971 John McCarthy <"The Present State of Research on Artificial Intelligence" che ha dato un importante contributo nell'area dell'intelligenza artificiale>>[9]
1972 Edsger Dijkstra <Algoritmo di Dijkstra>>[10]
1973 Charles W. Bachman <database>>[11]
1974 Donald E. Knuth <>
1975 Allen Newell
Herbert A. Simon		 <>
1976 Michael O. Rabin
Dana S. Scott		 <>
1977 John Backus <>
1978 Robert W. Floyd <>
1979 Kenneth E. Iverson <APL; teoria e pratica dei linguaggi di programmazione>>
1980 C. Antony R. Hoare <>
1981 Edgar F. Codd <basi di dati relazionali>>
1982 Stephen A. Cook <>
1983 Ken Thompson
Dennis M. Ritchie		 <Unix>>
1984 Niklaus Wirth <>
1985 Richard M. Karp <NP-completezza>>
1986 John Hopcroft
Robert Tarjan		 <>
1987 John Cocke <computer | RISC>>
1988 Ivan Sutherland <<Computer grafica>>
1989 William (Velvel) Kahan <<Analisi numerica>>
1990 Fernando J. Corbato <<CTSS; Multics>>
1991 Robin Milner <<LCF; ML; CCS>>
1992 Butler W. Lampson <>
1993 Juris Hartmanis
Richard E. Stearns		 <complessita computazionale>>
1994 Edward Feigenbaum
Raj Reddy		 <intelligenza artificiale di larga scala>>
1995 Manuel Blum <crittografia e verifica dei programmi>>
1996 Amir Pnueli <<Logica temporale, verifica di programmi e sistemi>>
1997 Douglas Engelbart <>
1998 James Gray <>
1999 Frederick P. Brooks, Jr. <<Architettura dei computer; sistemi operativi; ingegneria del software>>
2000 Andrew Chi-Chih Yao <generazione di numeri pseudocasuali, crittografia e complessita della comunicazione>>
2001 Ole-Johan Dahl
Kristen Nygaard		 <<Programmazione orientata agli oggetti>>
2002 Ronald L. Rivest
Adi Shamir
Leonard M. Adleman		 <<Crittografia con chiave pubblica>>
2003 Alan Kay <<Programmazione orientata agli oggetti>>
2004 Vinton G. Cerf
Robert E. Kahn		 <<Internetworking>>
2005 Peter Naur <<Forma di Backus - Naur e Algol-60>>
2006 Frances E. Allen <compilatori di codice>>
2007 Edmund M. Clarke
E. Allen Emerson
Joseph Sifakis		 <model checking>>
2008 Barbara Liskov <>
2009 Charles P. Thacker <Xerox Alto - e per le invenzioni ed i contributi alle reti locali (compresa l'Ethernet), le workstation multiprocessore, per gli studi sulla coerenza dei protocolli cache e per i Tablet PC>>
2010 Leslie G. Valiant <teoria della computabilita, con la teoria nota come Probably Approximately Correct learning (PAC learning), alla teoria della complessita computazionale con la teoria della complessita dell'enumerazione, alla teoria del calcolo algebrico ed alla teoria del calcolo parallelo e distribuito.>>[12]
2011 Judea Pearl <>[13]
2012 Silvio Micali
Shafi Goldwasser		 <>[14]
2013 Leslie Lamport <distribuiti e concorrenti, in particolare per l'invenzione di concetti quali causalita, orologi logici, safety e liveness, le replicated state machines, e la consistenza sequenziale>>[15]
2014 Michael Stonebraker <>[16]
2015 Whitfield Diffie
Martin Hellman		 <crittografia moderna. L'opera "New Directions in Cryptography" pubblicata nel 1976 da Diffie e Hellman ha introdotto le idee di crittografia a chiave pubblica e le firme digitali, alla base dei protocolli di sicurezza di maggior uso su Internet in quel periodo.>>[17]
2016 Tim Berners-Lee <World Wide Web, del primo browser web e dei protocolli e degli algoritmi fondamentali che consentono al web di evolvere.>>[18]
2017 John L. Hennessy
David A. Patterson		 <>[19]
2018 Yoshua Bengio
Geoffrey Hinton
Yann LeCun		 <reti neurali profonde un componente critico dell'informatica.>>
2019 Edwin Catmull
Patrick M. Hanrhan		 <computer grafica 3D, e l'impatto della computer-generated imagery (CGI) nel cinema ed altre applicazioni.>>
2020 Alfred Aho
Jeffrey Ullman		 <>[20]
2021 Jack Dongarra <>[21]
2022 Robert Metcalfe <Ethernet.>>[22]
2023 Avi Wigderson <>[23]
2024 Andrew Barto
Richard Sutton		 <reinforcement learning>>

Riconoscimenti per nazione

[modifica | modifica wikitesto]
Nazione Numero premi
Stati Uniti 50
Regno Unito 7
Israele 6
Canada 4
Norvegia 2
Danimarca 1
Grecia 1
India 1
Italia 1
Paesi Bassi 1
Svizzera 1
Venezuela 1
Totale 76
  1. | (EN) A. M. Turing Award, su awards.acm.org, ACM. URL consultato il 5 novembre 2007 (archiviato dall'url originale il 12 dicembre 2009).
  2. | (EN) ACM's Turing Award Prize Raised to $1 Million, su acm.org, ACM. URL consultato il 16 ottobre 2015 (archiviato dall'url originale il 23 novembre 2015).
  3. | First Woman to Receive ACM Turing Award, su campus.acm.org, The Association for Computing Machinery, 21 febbraio 2007. URL consultato il 5 novembre 2007 (archiviato dall'url originale il 2 luglio 2007).
  4. | Marianne Kolbasuk McGee, There's Still A Shortage Of Women In Tech, First Female Turing Award Winner Warns, in InformationWeek, CMP Media, February 24-26, 2007. URL consultato il 5 novembre 2007 (archiviato dall'url originale il 22 gennaio 2020).
  5. | Perelman, Deborah, Turing Award Anoints First Female Recipient, in eWEEK, Ziff Davis Enterprise, 27 febbraio 2007. URL consultato il 5 novembre 2007 (archiviato dall'url originale il 22 gennaio 2020).
  6. | (EN) Premio Turing 1966, su awards.acm.org (archiviato dall'url originale il 5 marzo 2016).
  7. | (EN) Premio Turing 1968[collegamento interrotto]
  8. | (EN) Premio Turing 1970[collegamento interrotto]
  9. | (EN) Premio Turing 1971[collegamento interrotto]
  10. | (EN) Premio Turing 1972[collegamento interrotto]
  11. | (EN) Premio Turing 1973[collegamento interrotto]
  12. | (EN) Premio Turing 2010, su awards.acm.org.
  13. | (EN) Judea Pearl, su amturing.acm.org, ACM.
  14. | (EN) Turing award 2012, su acm.org, ACM (archiviato dall'url originale il 21 marzo 2013).
  15. | (EN) Turing award 2013, su acm.org, ACM (archiviato dall'url originale il 19 marzo 2014).
  16. | (EN) Turing award 2014, su amturing.acm.org, ACM.
  17. | (EN) Cryptography Pioneers Receive 2015 ACM A.M. Turing Award, su amturing.acm.org, ACM.
  18. | (EN) Inventor of World Wide Web Receives ACM A.M. Turing Award, su acm.org, ACM.
  19. | Pioneers of Modern Computer Architecture Receive ACM A.M. Turing Award, su acm.org, ACM.
  20. | ACM Turing Award Honors Innovators Who Shaped the Foundations of Programming Language Compilers and Algorithms, su awards.acm.org, ACM.
  21. | ACM Turing Award honors Jack J. Dongarra for pioneering concepts and methods which have resulted in world-changing computations, su awards.acm.org, ACM.
  22. | ACM Turing Award honors Bob Metcalfe for Ethernet, su amturing.acm.org, ACM.
  23. | AVI WIGDERSON RECEIVES ACM A.M. TURING AWARD FOR GROUNDBREAKING INSIGHTS ON RANDOMNESS, su amturing.acm.org, ACM.

Voci correlate

[modifica | modifica wikitesto]

Altri progetti

[modifica | modifica wikitesto]

Altri progetti

Collegamenti esterni

[modifica | modifica wikitesto]
Portale Informatica: accedi alle voci di Wikipedia che trattano di informatica