Premio Turing
| Premio Turing | |
 Statua di Alan Turing a Bletchley Park . | |
| Nome originale | Premio ACM Turing |
|---|---|
| Organizzatore | Associazione per le macchine informatiche |
| Data di creazione | 1966 |
Il Premio Turing o ACM Turing Award , in omaggio ad Alan Turing (1912-1954), viene assegnato ogni anno dal 1966 a una persona selezionata per il suo contributo di natura tecnica alla comunità IT . I contributi devono essere di grande importanza tecnica e duratura nel campo dell'informatica.
Organizzazione e finanziamento
Il premio è presentato dalla Association for Computing Machinery (ACM).
Questo premio è stato creato dallo Strategic Technologies and Architectural Research Laboratory (STAR Lab) di InterTrust Technologies Corporation . A volte è considerato l'equivalente del Premio Nobel per l'informatica. Dal 2007 al 2013, il vincitore di questo premio ha ricevuto la somma di 250.000 USD (parte della quale è stata offerta da Intel e Google ).
Dal 2014 la somma assegnata è stata di 1 milione di dollari, offerta da Google .
vincitori
| Anno | Nome/i | Motivazione (i) |
|---|---|---|
| 1966 | Alan J. Perlis ( Stati Uniti ) | Costruzione di compilatori . |
| 1967 | Maurice Wilkes ( Regno Unito ) | Libreria software . |
| 1968 | Richard Hamming ( Stati Uniti ) | Metodi numerici, sistemi di codifica automatica, rilevamento e correzione degli errori . |
| 1969 | Marvin Minsky ( Stati Uniti ) | Intelligenza artificiale . |
| 1970 | James H. Wilkinson ( Regno Unito ) | Analisi numerica, algebra lineare, analisi dell'errore a ritroso. |
| 1971 | John McCarthy ( Stati Uniti ) | Intelligenza artificiale . |
| 1972 | Edsger Dijkstra ( Paesi Bassi ) | La scienza e l'arte dei linguaggi di programmazione, linguaggio ALGOL . |
| 1973 | Charles Bachman ( Stati Uniti ) | Banche dati tecnologiche . |
| 1974 | Donald Knuth ( Stati Uniti ) | Analisi di algoritmi e progettazione di linguaggi di programmazione |
| 1975 | Allen Newell ( Stati Uniti ) e Herbert A. Simon ( Stati Uniti ) | Intelligenza artificiale , psicologia della comprensione umana, elaborazione delle liste. |
| 1976 | Michael Rabin ( Israele ) e Dana S. Scott ( Stati Uniti ) | Macchina non deterministica. Vedere Macchina di Turing non deterministica . |
| 1977 | John Backus ( Stati Uniti ) | Sistemi di programmazione di alto livello, procedure formali per la specificazione dei linguaggi di programmazione, linguaggio FORTRAN . |
| 1978 | Robert Floyd ( Stati Uniti ) | Metodologie per la realizzazione di software efficienti ed affidabili. |
| 1979 | Kenneth Iverson ( Canada ) | Linguaggi di programmazione e notazione matematica, implementazione di sistemi interattivi, uso didattico di APL, teoria e pratica del linguaggio di programmazione. |
| 1980 | Charles AR Hoare ( Regno Unito ) | Definizione e progettazione di linguaggi di programmazione. |
| diciannove ottantuno | Edgar Frank Codd ( Regno Unito ) | Sistemi di gestione di banche dati , in particolare banche dati relazionali. |
| 1982 | Stephen Cook ( Stati Uniti ) | Complessità del calcolo informatico. |
| 1983 | Kenneth Thompson ( Stati Uniti ) e Dennis Ritchie ( Stati Uniti ) | Teoria dei sistemi operativi , implementazione del sistema UNIX . |
| 1984 | Niklaus Wirth ( Svizzera ) | Sviluppo dei linguaggi EULER , Algol W , MODULA e PASCAL . |
| 1985 | Richard Karp ( Stati Uniti ) | Teoria degli algoritmi, NP-completezza. |
| 1986 | John Hopcroft ( Stati Uniti ) e Robert Tarjan ( Stati Uniti ) | Creazione e analisi di strutture dati. |
| 1987 | John Cocke ( Stati Uniti ) | Teoria del compilatore, architettura mainframe, invenzione delle architetture RISC . |
| 1988 | Ivan Sutherland ( Stati Uniti ) | Progettazione assistita da computer (CAD). |
| 1989 | William Kahan ( Canada ) | Analisi numerica. |
| 1990 | Fernando Corbató ( Stati Uniti ) | Applicazioni distribuite, creazione di CTSS e Multics . |
| 1991 | Robin Milner ( Regno Unito ) | Sistema di dimostrazione formale Logica per funzioni computabili (en) , ML , Calcul de systems communicants (CCS) (en) . |
| 1992 | Butler Lampson ( Stati Uniti ) | Ambienti distribuiti personali. |
| 1993 | Juris Hartmanis ( Stati Uniti ) e Richard Stearns ( Stati Uniti ) | Teoria della complessità (informatica teorica) . |
| 1994 | Edward Feigenbaum ( Stati Uniti ) e Raj Reddy ( India ) | Sistemi di intelligenza artificiale su larga scala. |
| 1995 | Manuel Blum ( Venezuela ) | Teoria della complessità applicata alla crittografia e alla verifica dei programmi. |
| 1996 | Amir Pnueli ( Israele ) | Logica temporale e verifica di programmi e sistemi. |
| 1997 | Douglas Engelbart ( Stati Uniti ) | Informatica interattiva. |
| 1998 | James Gray ( Stati Uniti ) | Database ed elaborazione delle transazioni. |
| 1999 | Frederick Brooks ( Stati Uniti ) | Architettura del computer, sistemi operativi e software. |
| 2000 | Andrew Yao ( Cina ) | Teoria della computabilità, generazione di numeri pseudo-casuali, crittografia e complessità della comunicazione . |
| 2001 | Ole-Johan Dahl ( Norvegia ) e Kristen Nygaard ( Norvegia ) | Programmazione ad oggetti e creazione di linguaggi Simula I e Simula 67 . |
| 2002 | Ronald L. Rivest ( Stati Uniti ), Adi Shamir ( Israele ) e Leonard M. Adleman ( Stati Uniti ) | Crittografia a chiave pubblica e sistema RSA . |
| 2003 | Alan Kay ( Stati Uniti ) | Programmazione ad oggetti e creazione del linguaggio Smalltalk . |
| 2004 | Vinton G. Cerf ( Stati Uniti ) e Robert E. Kahn ( Stati Uniti ) | Reti, TCP/IP . |
| 2005 | Peter Naur ( Danimarca ) | Per contributi fondamentali alla progettazione dei linguaggi di programmazione e alla definizione di Algol 60, per la progettazione di compilatori e per l'arte e la pratica della programmazione informatica . |
| 2006 | Frances Allen ( Stati Uniti ) | Ottimizzazione dei compilatori. |
| 2007 | Edmund M. Clarke ( Stati Uniti ), Allen Emerson ( Stati Uniti ) e Joseph Sifakis ( Grecia / Francia ) | Per il loro lavoro sul model checking . |
| 2008 | Barbara Liskov ( Stati Uniti ) | Per la progettazione di linguaggi di programmazione e metodologia polimorfica. |
| 2009 | Charles P. Thacker ( Stati Uniti ) | Per il lavoro svolto durante tutta la sua carriera tra cui la Xerox Alto . |
| 2010 | Leslie Valiant ( Regno Unito ) | Per lavori nell'apprendimento (in particolare apprendimento PAC ), nella teoria della complessità , nel calcolo distribuito e parallelo . |
| 2011 | Judea Pearl ( Israele / Stati Uniti ) | Per contributi fondamentali all'intelligenza artificiale attraverso lo sviluppo dell'analisi probabilistica e del ragionamento causale . |
| 2012 | Silvio Micali ( Italia / Stati Uniti ) e Shafi Goldwasser ( Israele / Stati Uniti ) | Per il loro lavoro fondamentale sulla crittografia e sulla verifica delle prove, basato sulla teoria della complessità . In particolare l'introduzione di sistemi di dimostrazione interattivi (che ha portato al Teorema PCP ). |
| 2013 | Leslie Lamport ( Stati Uniti ) | Per i suoi contributi teorici e applicati fondamentali nei sistemi distribuiti e concorrenti, in particolare inventando concetti come causalità e orologi logici, […] e consistenza sequenziale. |
| 2014 | Michael Stonebraker ( Stati Uniti ) | Contributi fondamentali per i sistemi di gestione di database ( DBMS ). Inventore di PostgreSQL . |
| 2015 | Whitfield Diffie ( Stati Uniti ) e Martin Hellman ( Stati Uniti ) | Per i loro contributi alla crittografia contemporanea (creatori di crittografia asimmetrica ). |
| 2016 | Tim Berners Lee ( Regno Unito ) | Per aver inventato il World Wide Web , il primo browser web e i protocolli e gli algoritmi per la scalabilità del Web. |
| 2017 | David Patterson ( Stati Uniti ) e John Hennessy ( Stati Uniti ) | Per aver aperto la strada a un approccio sistematico e quantitativo alla progettazione e valutazione di architetture di computer con un impatto duraturo sull'industria dei microprocessori. |
| 2018 | Yann Le Cun ( Francia ), Yoshua Bengio ( Canada ) e Geoffrey Hinton ( Canada ) | Per le scoperte concettuali e tecniche che hanno reso le reti neurali profonde una componente essenziale dell'informatica. |
| 2019 | Patrick Hanrahan ( Stati Uniti ) e Edwin Catmull ( Stati Uniti ) | Per i loro contributi fondamentali alla computer grafica tridimensionale e l'impatto rivoluzionario di queste tecniche sugli effetti speciali digitali nel cinema e in altre applicazioni. |
| 2020 | Alfred Aho ( Canada ) e Jeffrey Ullman ( Stati Uniti ) | Per gli algoritmi e la teoria fondamentali alla base dell'implementazione dei linguaggi di programmazione e per la sintesi di questi e altri risultati nei loro libri molto influenti, che hanno formato generazioni di scienziati informatici. |
Revisione generale
Il premio è stato assegnato più volte a ricercatori americani. Il Premio Gödel e il Premio Donald E. Knuth sono altri due premi assegnati dall'ACM per riconoscere il lavoro nell'informatica.
Note e riferimenti
- (in) William L. Hosch, " Premio Turing " sulla Britannica (consultato il 13 aprile 2014 ) .
- (in) " AM Turing Award " su acm.org (consultato il 13 aprile 2014 ) .
- " Yann LeCun, co-vincitore del Premio Turing ", La Croix ,8 aprile 2019( ISSN 0242-6056 , letto online , consultato il 30 gennaio 2020 )
- Tech tempi , “ Google Turns 'premio Nobel' di Informatica in $ 1 milione Award, ” Tech tempi ,14 novembre 2014( letto online , consultato il 10 gennaio 2018 )
- " Proroga del periodo di consultazione sulla politica di gestione dei dati della ricerca. " , On Research Council Natural Sciences and Engineering Research Council of Canada (NSERC) (consultato il 19 agosto 2020 ) .
- Premio Turing 2013 .
- Premio Turing 2014 .
- "Il pioniere della crittografia Whitfield Diffie riceve il premio ACM AM Turing 2015 " , su ACM .
- "Il pioniere della crittografia Martin Hellman riceve il premio ACM AM Turing 2015 " , su ACM .
- Sir Tim Berners-Lee, Inventore del World Wide Web, Premio ACM AM Turing
- [Israele 2018] (In) Brett Israel, " David Patterson, pioniere dell'architettura moderna dei computer riceve il Turing Award " ["David Patterson, un pioniere dell'architettura informatica moderna, ha ricevuto il Turing"], Berkeley News , Università della California a Berkeley ,21 marzo 2018( leggi in linea )
- " Yann LeCun, vincitore del Premio Turing:" AI continua a fare enormi progressi " ", Le Monde ,27 marzo 2019( letto online , consultato il 27 marzo 2019 )
- (in) " 2019 ACM AM Turing Award Laureates " su awards.acm.org (consultato il 22 marzo 2020 ) .
- (in) " 2020 ACM AM Turing Award Laureates " su awards.acm.org ,31 marzo 2021(accessibile il 1 ° aprile 2021 ) .