Premio Turing
Da Wikipedia, l'enciclopedia libera.
(Reindirizzamento da Turing Award)
Lo A.M. Turing Award è assegnato annualmente dalla Association for Computing Machinery (ACM), ad una personalità che eccelle per i contributi di natura tecnica offerti alla comunità informatica. Vengono considerati i contributi al settore dei computer che siano duraturi e di elevata importanza tecnica.
Il fatto che l'ACM si dedica soprattutto al software e alla teoria dell'elaborazione dei dati ha come effetto che nessuno dei premi riguarda contributi strettamente dedicati all'hardware, settore al quale si dedica principalmente lo IEEE.
Il premio è intitolato al matematico inglese Alan Mathison Turing (1912 - 1954), in riconoscimento del suo contributo unico e originale alla nascita delle attività di calcolo mediante dispositivi automatici. Spesso il Turing Award viene chiamato il "premio Nobel del calcolo automatico".
Ogni vincitore tiene una lezione che viene in seguito pubblicata su un periodico dell'ACM.
Indice |
Statistiche per nazione [modifica]
| Nazione | Numero premi |
|---|---|
 Stati Uniti |
38 |
 Regno Unito |
6 |
 Israele |
5 |
 Canada |
2 |
 Norvegia |
2 |
 Danimarca |
1 |
 Grecia |
1 |
 Paesi Bassi |
1 |
 Svizzera |
1 |
 Venezuela |
1 |
 Italia |
1 |
| Totale | 56 |
Elenco cronologico dei vincitori del Turing Award [modifica]
Note [modifica]
- ^ (EN) Premio Turing 1966
- ^ (EN) Premio Turing 1968
- ^ (EN) Premio Turing 1970
- ^ (EN) Premio Turing 1971
- ^ Premio Turing 1972
- ^ (EN) Premio Turing 1973
- ^ (EN) Premio Turing 2010
- ^ Judea Pearl. ACM
- ^ Turing award 2012. ACM
Voci correlate [modifica]
Altri progetti [modifica]
| Anno | Vincitore | Contributo che ha motivato il riconoscimento |
|---|---|---|
| 1966 | Alan J. Perlis |
Per la sua influenza nell'area delle tecniche di programmazione avanzata e per la costruzione di compilatori.[1] |
| 1967 | Maurice V. Wilkes |
programma a memorizzazione interna, librerie di programmi |
| 1968 | Richard Hamming |
Per il suo lavoro sui metodi numerici, sistemi di codifica automatica, codici di rilevazione e correzione errori[2] |
| 1969 | Marvin Minsky |
intelligenza artificiale |
| 1970 | James H. Wilkinson |
Per la sua ricerca nell'analisi matematica che ha facilitato l'uso dei moderni computer digitali, in particolare per il lavoro svolto nelle computazioni di algebra lineare e l'analisi degli errori "all'indietro"[3] |
| 1971 | John McCarthy |
Per il suo libro "The Present State of Research on Artificial Intellegence" che ha dato un'importante contributo nell'area dell'intelligenza artificiale[4] |
| 1972 | Edsger Dijkstra |
Per i suoi numerosi contributi al calcolo automatico e in particolare per l'Algoritmo di Dijkstra[5] |
| 1973 | Charles W. Bachman |
Per i suoi eccezionali contributi alle tecnologie dei database[6] |
| 1974 | Donald E. Knuth |
analisi degli algoritmi e disegno dei linguaggi di programmazione |
| 1975 | Allen Newell Herbert A. Simon |
intelligenza artificiale; psicologia della cognizione umana; elaborazione di liste |
| 1976 | Michael O. Rabin Dana S. Scott |
macchine nondeterministiche |
| 1977 | John Backus |
sistemi di programmazione di alto livello; procedure formali per la specificazione dei linguaggi di programmazione |
| 1978 | Robert W. Floyd |
metodologie per la costruzione di software efficiente e affidabile |
| 1979 | Kenneth E. Iverson |
linguaggi di programmazione e notazione matematica; implementazione di sistemi interattivi; utilizzi educativi dell'APL; teoria e pratica dei linguaggi di programmazione |
| 1980 | C. Antony R. Hoare |
definizione e disegno dei linguaggi di programmazione |
| 1981 | Edgar F. Codd |
sistemi per la gestione delle basi di dati; basi di dati relazionali |
| 1982 | Stephen A. Cook |
complessità delle computazioni |
| 1983 | Ken Thompson Dennis M. Ritchie |
teoria generica dei sistemi operativi; implementazione del sistema operativo Unix |
| 1984 | Niklaus Wirth |
sviluppo dei linguaggi per il computer |
| 1985 | Richard M. Karp |
teoria degli algoritmi, in particolare teoria della NP-completezza |
| 1986 | John Hopcroft Robert Tarjan |
disegno e analisi degli algoritmi e delle strutture di dati |
| 1987 | John Cocke |
teoria dei compilatori; architettura dei grandi sistemi; sviluppo dei computer | RISC |
| 1988 | Ivan Sutherland |
computer grafica |
| 1989 | William (Velvel) Kahan |
analisi numerica |
| 1990 | Fernando J. Corbató |
CTSS; Multics |
| 1991 | Robin Milner |
LCF; ML; CCS |
| 1992 | Butler W. Lampson |
ambienti distribuiti di personal computing |
| 1993 | Juris Hartmanis Richard E. Stearns |
teoria della complessità computazionale |
| 1994 | Edward Feigenbaum Raj Reddy |
sistemi di intelligenza artificiale di larga scala |
| 1995 | Manuel Blum |
teoria della complessità computazionale; sue applicazioni alla crittografia e verifica dei programmi |
| 1996 | Amir Pnueli |
logica temporale, verifica di programmi e sistemi |
| 1997 | Douglas Engelbart |
elaborazioni interattive |
| 1998 | James Gray |
elaborazione delle basi di dati e delle transazioni |
| 1999 | Frederick P. Brooks, Jr. |
architettura dei computer; sistemi operativi; ingegneria del software |
| 2000 | Andrew Chi-Chih Yao |
teoria della computazione incluse generazione di numeri pseudocasuali, crittografia e complessità 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 |
Ricerca e sviluppo del model checking |
| 2008 | Barbara Liskov |
Per aver contribuito allo sviluppo dei linguaggi di programmazione e progettazione di sistemi, specialmente nel campo di astrazione dati, tolleranza degli errori e algoritmi di computazione distribuita |
| 2009 | Charles P. Thacker |
Per la progettazione e la realizzazione pioneristica del primo personal computer moderno - lo 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 |
Per i contributi alla teoria della computabilità, con la teoria nota come Probably Approximately Correct learning (PAC learning), alla teoria della complessità computazionale, con la teoria della complessità dell'enumerazione, alla teoria del calcolo algebrico ed alla teoria del calcolo parallelo e distribuito.[7] |
| 2011 | Judea Pearl |
Per i contributi fondamentali all'intelligenza artificiale attraverso lo sviluppo di un calcolo di ragionamento probabilistico e causale.[8] |
| 2012 | Silvio Micali Shafi Goldwasser |
Per i contributi che hanno permesso di gettare le basi della teoria della complessità nel campo della crittografia e per aver sperimentato nuovi metodi per la verifica efficiente di dimostrazioni matematiche nel campo della teoria della complessità.[9] |
Commons contiene immagini o altri file su Premio Turing
Collegamenti esterni [modifica]
 Portale Informatica: accedi alle voci di Wikipedia che trattano di informatica |
