Indice
120 relazioni: Adi Shamir, Alan Kay, Alan Perlis, Alan Turing, Alfred Aho, Algoritmo di Dijkstra, Allen Newell, Amir Pnueli, Analisi numerica, Andrew Chi-Chih Yao, APL, Apprendimento profondo, Architettura (computer), Association for Computing Machinery, Avi Wigderson, Backus-Naur Form, Barbara Liskov, Base di dati, Browser, Calcolo distribuito, Charles Bachman, Compilatore, Computer, Computer grafica, Computer grafica 3D, Computer-generated imagery, Concorrenza (informatica), Crittografia, Crittografia asimmetrica, CTSS, Dana Scott, Database management system, David Patterson, Dennis Ritchie, Donald Knuth, Douglas Engelbart, Edgar F. Codd, Edsger Dijkstra, Edward Feigenbaum, Edwin Catmull, Elaborazione dati, Ethernet, Firma digitale, Frances E. Allen, Geoffrey Hinton, Google, Hardware, Herbert Simon, IBM, India, ... Espandi índice (70 più) »
- Alan Turing
- Premi per l'informatica
Adi Shamir
È uno degli inventori dell'algoritmo RSA (insieme a Ron Rivest e Leonard Adleman) ed ha fornito vari contributi sia nel campo della crittografia che dell'informatica.
Vedere Premio Turing e Adi Shamir
Alan Kay
Si è laureato in matematica e biologia molecolare presso l'Università del Colorado a Boulder; successivamente ha conseguito un master e un dottorato presso l'Università dello Utah.
Vedere Premio Turing e Alan Kay
Alan Perlis
Laureato in chimica e matematica al MIT rispettivamente nel 1943 e 1949. Restò nell'ambiente universitario, collaborando al progetto Whirlwind.
Vedere Premio Turing e Alan Perlis
Alan Turing
Il suo lavoro ebbe una vasta influenza sulla nascita della disciplina dell'informatica, grazie alla sua formalizzazione dei concetti di algoritmo e calcolo mediante l'omonima macchina, che a sua volta costituì un significativo passo avanti nell'evoluzione verso il moderno computer.
Vedere Premio Turing e Alan Turing
Alfred Aho
È uno dei tre autori del linguaggio di programmazione Awk, insieme a Peter Weinberger e Brian Kernighan. Ha inoltre scritto le prime versioni di egrep e fgrep.
Vedere Premio Turing e Alfred Aho
Algoritmo di Dijkstra
Lalgoritmo di Dijkstra è un algoritmo utilizzato per cercare i cammini minimi in un grafo con o senza ordinamento, ciclico e con pesi non negativi sugli archi.
Vedere Premio Turing e Algoritmo di Dijkstra
Allen Newell
Come ricercatore è stato attivo soprattutto nel campo dell'intelligenza artificiale (IA) e della psicologia cognitiva. Ha collaborato per molti anni con Herbert Simon firmando con lui molteplici collaborazioni ed arrivando a dividere con lui il premio Turing nel 1975.
Vedere Premio Turing e Allen Newell
Amir Pnueli
Ha ricevuto il Premio Turing nel 1996. Pnueli è nato a Nahalal, nel Mandato britannico della Palestina (ora Israele) e ha conseguito una laurea in matematica presso il Technion di Haifa e un dottorato di ricerca.
Vedere Premio Turing e Amir Pnueli
Analisi numerica
L'analisi numerica è una branca della matematica applicata che risolve i modelli prodotti dall'analisi matematica alle scomposizioni finite normalmente praticabili, coinvolgendo il concetto di approssimazione.
Vedere Premio Turing e Analisi numerica
Andrew Chi-Chih Yao
Attualmente è professore e preside dell'Istituto di scienze interdisciplinari dell'informazione (IIIS) presso l'Università Tsinghua di Pechino.
Vedere Premio Turing e Andrew Chi-Chih Yao
APL
L'APL (sigla di A Programming Language) è un linguaggio di programmazione ideato da Kenneth Iverson nel 1962. Tra le principali caratteristiche ricordiamo.
Vedere Premio Turing e APL
Apprendimento profondo
Lapprendimento profondo è quel campo di ricerca dell'apprendimento automatico (in inglese machine learning) e dell'intelligenza artificiale che si basa su diversi livelli di rappresentazione, corrispondenti a gerarchie di caratteristiche di fattori o concetti, dove i concetti di alto livello sono definiti sulla base di quelli di basso.
Vedere Premio Turing e Apprendimento profondo
Architettura (computer)
Con architettura hardware si intende l'insieme dei criteri di progetto in base ai quali è progettato e realizzato un computer, oppure un dispositivo facente parte di esso.
Vedere Premio Turing e Architettura (computer)
Association for Computing Machinery
La Association for Computing Machinery (ACM) è un'associazione internazionale accademica e senza scopo di lucro dedicata a scienziati ed educatori dell'informatica ACM,.
Vedere Premio Turing e Association for Computing Machinery
Avi Wigderson
È titolare della cattedra Herbert H. Maass alla Scuola di matematica presso l'Institute for Advanced Study di Princeton. I suoi interessi di ricerca includono la teoria della complessità, algoritmi paralleli, teoria dei grafi, crittografia, calcolo distribuito e reti neurali.
Vedere Premio Turing e Avi Wigderson
Backus-Naur Form
La BNF (Backus-Naur Form o Backus Normal Form) è una metasintassi, ovvero un formalismo attraverso cui è possibile descrivere la sintassi di linguaggi formali (il prefisso meta ha proprio a che vedere con la natura circolare di questa definizione).
Vedere Premio Turing e Backus-Naur Form
Barbara Liskov
Attualmente è Ford Professor di Ingegneria nel dipartimento di Ingegneria elettronica ed Informatica al Massachusetts Institute of Technology.
Vedere Premio Turing e Barbara Liskov
Base di dati
In informatica una base di dati, detta anche, dall'inglese, database o data base, o anche banca dati, è una collezione di dati organizzati immagazzinata e accessibile per via elettronica.
Vedere Premio Turing e Base di dati
Browser
In informatica il browser Web (o semplicemente browser), in italiano navigatore Web, è un'applicazione per l'acquisizione, la presentazione e la navigazione di risorse sul Web.
Vedere Premio Turing e Browser
Calcolo distribuito
Il calcolo distribuito è un campo dell'informatica che studia i sistemi distribuiti, ovvero sistemi che consistono in numerosi computer autonomi che interagiscono/comunicano tra loro attraverso una rete al fine di raggiungere un obiettivo comune (un software eseguito in un sistema distribuito è detto programma distribuito, e la programmazione distribuita è il processo di scrittura di tali software).
Vedere Premio Turing e Calcolo distribuito
Charles Bachman
Charles Bachman è nato a Manhattan (Kansas) nel 1924, dove suo padre, Charlie Bachman, era il capo allenatore di football all'Università dello Stato del Kansas.
Vedere Premio Turing e Charles Bachman
Compilatore
Un compilatore è un programma informatico che traduce una serie di istruzioni scritte in un determinato linguaggio di programmazione (codice sorgente) in istruzioni di un altro linguaggio (codice oggetto): il processo di traduzione si chiama compilazione mentre l'attività inversa - ovvero passare dal codice oggetto al codice sorgente - è chiamata decompilazione ed è effettuata per mezzo di un decompilatore.
Vedere Premio Turing e Compilatore
Computer
Un computer (pronuncia italiana), in italiano anche noto come elaboratore o calcolatore, è una macchina automatizzata programmabile in grado di eseguire sia complessi calcoli matematici (calcolatore) sia altri tipi di elaborazioni dati (elaboratore).
Vedere Premio Turing e Computer
Computer grafica
Per computer grafica (anche grafica digitale o grafica computerizzata) si intende quella disciplina informatica che ha per oggetto la creazione e la manipolazione di immagini e filmati, per mezzo del computer.
Vedere Premio Turing e Computer grafica
Computer grafica 3D
La computer grafica 3D è un ramo della computer grafica che si basa sull'elaborazione di un insieme di modelli tridimensionali tramite algoritmi atti a produrre una verosimiglianza fotografica e ottica nell'immagine finale.
Vedere Premio Turing e Computer grafica 3D
Computer-generated imagery
La computer-generated imagery (termine mutuato dall'inglese che tradotto letteralmente in italiano significa "immagini generate al computer") più nota con la sigla CGI, è un'applicazione nel campo della computer grafica o, più specificamente, nel campo della computer grafica 3D per la resa degli effetti speciali digitali nei film, in televisione, negli spot commerciali, nei videogiochi di simulazione e in tutte le applicazioni di grafica visiva.
Vedere Premio Turing e Computer-generated imagery
Concorrenza (informatica)
In informatica la concorrenza è una caratteristica dei sistemi di elaborazione nei quali può verificarsi che un insieme di processi o sottoprocessi (thread) computazionali sia in esecuzione nello stesso istante.
Vedere Premio Turing e Concorrenza (informatica)
Crittografia
La crittografia (o criptografia) è la branca della crittologia che tratta delle "scritture nascoste", ovvero dei metodi per rendere un messaggio non comprensibile/intelligibile a persone non autorizzate a leggerlo, garantendo così, in chiave moderna, il requisito di confidenzialità o riservatezza tipico della sicurezza informatica.
Vedere Premio Turing e Crittografia
Crittografia asimmetrica
La crittografia asimmetrica, conosciuta anche come crittografia a chiave pubblica, è un tipo di crittografia nel quale ad ogni attore coinvolto nella comunicazione è associata una coppia di chiavi.
Vedere Premio Turing e Crittografia asimmetrica
CTSS
Il CTSS (Compatible Time-Sharing System) è un sistema operativo sviluppato al MIT e presentato per la prima volta nel 1961. Uno dei primi sistemi operativi in time-sharing, pose le basi per il successivo sviluppo di questi sistemi.
Vedere Premio Turing e CTSS
Dana Scott
È stato professore emerito di informatica all'Hillman University, filosofia e logica matematica alla Carnegie Mellon University; ora è in pensione e vive a Berkeley, California.
Vedere Premio Turing e Dana Scott
Database management system
Un database management system (in acronimo DBMS) è un sistema software progettato per consentire la creazione, la manipolazione e l'interrogazione di una o più basi di dati in modo corretto ed efficiente.
Vedere Premio Turing e Database management system
David Patterson
È uno dei pionieri dell'architettura RISC e della tecnologia RAID. È coautore di sette libri, inclusi due con John L. Hennessy, molto utilizzati nello studio dell'informatica.
Vedere Premio Turing e David Patterson
Dennis Ritchie
È stato uno dei pionieri dell'informatica moderna, importante per essere stato l'inventore del linguaggio C e, assieme al suo storico collega Ken Thompson, per aver scritto il sistema operativo Unix.
Vedere Premio Turing e Dennis Ritchie
Donald Knuth
Rinomato studioso di matematica (soprattutto di conoscenze che ora sono confluite nell'informatica), è professore emerito presso la Stanford University.
Vedere Premio Turing e Donald Knuth
Douglas Engelbart
È stato il fondatore dell'Augmentation Research Center ed è ritenuto l'inventore, in collaborazione con William English, del primo mouse. Pioniere dell'interazione uomo-computer, ha sviluppato con i suoi collaboratori l'ipertesto, le reti di computer ed è stato un precursore dell'interfaccia grafica.
Vedere Premio Turing e Douglas Engelbart
Edgar F. Codd
Edgar F. Codd nacque a Portland su un'isola nella contea del Dorset in Inghilterra e studiò matematica e chimica all'Exeter College dell'Università di Oxford.
Vedere Premio Turing e Edgar F. Codd
Edsger Dijkstra
Edsger Wybe Dijkstra nacque a Rotterdam l'11 maggio del 1930. Suo padre, Douwe Wybe Dijkstra, fu un professore di chimica alle scuole superiori e servì come presidente della Dutch Chemical Society.
Vedere Premio Turing e Edsger Dijkstra
Edward Feigenbaum
Lavora nel campo dell'intelligenza artificiale ed è vincitore congiunto del Premio Turing 1994. È spesso chiamato il "padre dei sistemi esperti".
Vedere Premio Turing e Edward Feigenbaum
Edwin Catmull
Noto per i suoi importanti contributi nell'ambito della grafica computerizzata, è stato tra i fondatori ed è uno degli uomini chiave della casa di produzione cinematografica Pixar specializzata in animazione computerizzata, società che ha presieduto sin dall'inizio e per la quale è stato tra gli sviluppatori principali di RenderMan, software di rendering utilizzato per la realizzazione dei film in tecnica CGI.
Vedere Premio Turing e Edwin Catmull
Elaborazione dati
Lelaborazione dati è un qualsiasi procedimento informatico che comporta la conversione dei dati in informazioni tramite algoritmi.
Vedere Premio Turing e Elaborazione dati
Ethernet
Ethernet è una famiglia di tecnologie standardizzate per reti locali, sviluppata a livello sperimentale da Robert Metcalfe e David Boggs (suo assistente) allo Xerox PARC, che ne definisce le specifiche tecniche a livello fisico (ad esempio connettori, cavi, tipo di trasmissione) e a livello di collegamento di dati del modello architetturale di rete ISO/OSI.
Vedere Premio Turing e Ethernet
Firma digitale
La firma digitale è un metodo matematico teso a dimostrare l'autenticità di un documento digitale autenticando l'autore di un documento. In Italia, è regolata dall'articolo 24 del Codice dell'amministrazione digitale.
Vedere Premio Turing e Firma digitale
Frances E. Allen
Pioniera nel campo dei compilatori ottimizzanti, i suoi successi includono il lavoro seminale nei compilatori, l'ottimizzazione dei codici e la parallelizzazione.
Vedere Premio Turing e Frances E. Allen
Geoffrey Hinton
Noto per i suoi contributi allo sviluppo dell'apprendimento automatico, è considerato uno tra i ricercatori più influenti nello sviluppo dell'apprendimento profondo.
Vedere Premio Turing e Geoffrey Hinton
Google Search (pronuncia italiana; in inglese) è un motore di ricerca per Internet sviluppato da Google LLC. Oltre a catalogare e indicizzare le risorse del World Wide Web, Google Search si occupa di foto, newsgroup, notizie, mappe (Google Maps), e-mail (Gmail), shopping, traduzioni, video e altri programmi creati da Google.
Vedere Premio Turing e Google
Hardware
Lhardware (abbreviato HW, dall'inglese hard «duro, pesante», e ware «merci, prodotti», su imitazione del termine software) è l'insieme di tutte le parti tangibili elettroniche, elettriche, meccaniche, magnetiche, ottiche che consentono il funzionamento di un computer.
Vedere Premio Turing e Hardware
Herbert Simon
Le sue ricerche spaziano nei campi della psicologia cognitiva, dell'informatica (in particolare nel settore dell'intelligenza artificiale), dell'economia, del management e della filosofia della scienza.
Vedere Premio Turing e Herbert Simon
IBM
LInternational Business Machines Corporation, comunemente nota come IBM e soprannominata "Big Blue", è un'azienda statunitense del settore informatico, tra le più importanti al mondo.
Vedere Premio Turing e IBM
India
LIndia, ufficialmente Repubblica dell'India, è uno Stato federale dell'Asia meridionale, con capitale Nuova Delhi. Esteso su, l'India è il settimo stato al mondo per superficie, mentre con oltre 1 miliardo e 400 milioni di abitanti dal 2023 è lo stato più popoloso del mondo.
Vedere Premio Turing e India
Informatica
Linformatica è la scienza o disciplina che si occupa del trattamento dell'informazione mediante procedure automatizzate, avendo in particolare per oggetto lo studio dei fondamenti teorici dell'informazione, della sua computazione a livello logico e delle tecniche pratiche per la sua implementazione e applicazione in sistemi elettronici automatizzati detti quindi sistemi informatici; come tale è una disciplina fortemente connessa con la logica matematica, l'automatica, l'elettronica e anche l'elettromeccanica.
Vedere Premio Turing e Informatica
Ingegneria del software
L' ingegneria del software (software engineering in inglese) è quella disciplina informatica che si occupa dei processi produttivi e delle metodologie di sviluppo finalizzate alla realizzazione di sistemi software.
Vedere Premio Turing e Ingegneria del software
Institute of Electrical and Electronics Engineers
LInstitute of Electrical and Electronics Engineers (acronimo IEEE) è un'associazione internazionale di scienziati professionisti con l'obiettivo della promozione delle scienze tecnologiche.
Vedere Premio Turing e Institute of Electrical and Electronics Engineers
Intel
Intel Corporation è un'azienda multinazionale statunitense fondata il 18 luglio 1968 con sede a Santa Clara (California). Produce dispositivi a semiconduttore, microprocessori, componenti di rete, chipset per schede madri, chip per schede video e molti altri circuiti integrati.
Vedere Premio Turing e Intel
Intelligenza artificiale
Lintelligenza artificiale (in sigla IA o AI, dall'inglese Artificial Intelligence), nel suo significato più ampio, è la capacità (o il tentativo) di un sistema artificiale (tipicamente un sistema informatico) di simulare l'intelligenza umana attraverso l'ottimizzazione di funzioni matematiche.
Vedere Premio Turing e Intelligenza artificiale
Internet
Internet è l'insieme di tutti i dispositivi collegati in rete mediante i protocolli TCP/IP, con i sistemi fisici di comunicazione che li collegano, gli apparati necessari per la loro interconnessione atti a formare reti di computer e le tecnologie che permettono a tali reti di interconnettersi.
Vedere Premio Turing e Internet
Internet (informatica)
Uninternet o internetwork, è un tipo di rete di computer che si contraddistingue per il fatto di collegare tra loro più reti locali o geografiche autonome, di natura e di estensione diversa.
Vedere Premio Turing e Internet (informatica)
James H. Wilkinson
Un anno dopo la sua morte gli è stato assegnato il Premio Chauvenet.
Vedere Premio Turing e James H. Wilkinson
Jeffrey Ullman
È professore di informatica presso l'Università di Stanford. Autore di testi su compilatori, teoria della calcolabilità e strutture dati, ha scritto alcuni libri insieme a John Hopcroft ed Alfred Aho.
Vedere Premio Turing e Jeffrey Ullman
Jim Gray
Gray trascorse i primi anni della propria vita a Roma, dove il padre lavorava come spia nell'esercito americano. Dopo la separazione dei genitori, tornò a vivere nella sua città natale, dove fu cresciuto dalla madre.
Vedere Premio Turing e Jim Gray
John Backus
Per ovviare alla difficoltà di programmazione del calcolatori dell'epoca, nel 1954 Backus iniziò la direzione di un progetto di ricerca della IBM per il progetto e la realizzazione di un linguaggio di programmazione più vicino alla comune notazione matematica.
Vedere Premio Turing e John Backus
John Hopcroft
Nell'ambito dell'informatica teorica ha scritto, insieme a Jeffrey D. Ullman e Rajeev Motwani, il libro Introduction to Automata Theory, Languages, and Computation (tradotto in italiano da Giovanni Pighizzini con il titolo Automi, linguaggi e calcolabilità).
Vedere Premio Turing e John Hopcroft
John L. Hennessy
Hennessy è diventato un membro dell'università di Stanford nel 1977, dopo aver ricevuto una laurea di primo livello (Bachelor) in Ingegneria Elettrica presso la Villanova University e una di secondo livello in Informatica presso la State University of New York at Stony Brook, dove ha conseguito il dottorato di ricerca nella stessa materia.
Vedere Premio Turing e John L. Hennessy
John McCarthy
McCarthy si distingueva per le sue conoscenze di logica matematica in relazione all'Intelligenza Artificiale. Una scuola di pensiero diversa, nata al MIT, propone l'"inclusione procedurale del sapere" usando piani di alto livello, asserzioni, e ponendo il primo traguardo nel linguaggio Planner ed in seguito nella Scientific Community Metaphor.
Vedere Premio Turing e John McCarthy
Joseph Sifakis
Fu tra i primi a contribuire alla teoria del model checking. Sifakis (insieme con Edmund M. Clarke e E. Allen Emerson) ha ricevuto il Premio Turing nel 2007.
Vedere Premio Turing e Joseph Sifakis
Judea Pearl
È famoso soprattutto per aver difeso l'approccio probabilistico all'intelligenza artificiale e lo sviluppo delle reti bayesiane. È anche accreditato per aver sviluppato una teoria dell'inferenza causale e controfattuale basata su modelli strutturali.
Vedere Premio Turing e Judea Pearl
Ken Thompson
È un pioniere dell'informatica moderna, noto per il suo lavoro sul sistema operativo UNIX.
Vedere Premio Turing e Ken Thompson
Kenneth Iverson
Ha ottenuto il Turing Award nel 1979 per i suoi contributi alla notazione matematica e alla teoria dei linguaggi di programmazione.
Vedere Premio Turing e Kenneth Iverson
Leonard Adleman
Ha contribuito nel 1978 con Ronald Rivest e Adi Shamir allo sviluppo del sistema di crittografia asimmetrica RSA che infatti è un acronimo costituito dalle iniziali dei cognomi dei tre creatori: Ron Rivest, Adi Shamir, e Leonard Adleman.
Vedere Premio Turing e Leonard Adleman
Leslie Lamport
È noto per essere stato pioniere degli studi scientifici nell'ambito del calcolo distribuito, per i quali ha ricevuto il premio Turing 2013, nonché ideatore di LaTeX, un'estensione del software tipografico TeX.
Vedere Premio Turing e Leslie Lamport
Leslie Valiant
Valiant si è laureato in matematica al King's College di Cambridge nel 1970, si è specializzato nel 1971 in informatica presso l'Imperial College of Science di Londra e ha conseguito il dottorato di ricerca nel 1973 all'Università di Warwick.
Vedere Premio Turing e Leslie Valiant
Libreria (software)
In informatica, una libreria, o più raramente biblioteca, è un insieme di funzioni o strutture dati predefinite e predisposte per essere riutilizzate da altri programmi software attraverso un'opportuna procedura di collegamento.
Vedere Premio Turing e Libreria (software)
Manuel Blum
Nel 1995 ha ricevuto il premio Turing per il suo contributo nel campo della teoria della complessità computazionale e della crittografia.
Vedere Premio Turing e Manuel Blum
Martin Hellman
È noto per gli studi sulla crittografia che ha condotto nei primi anni settanta insieme a Whitfield Diffie e Ralph Merkle. Nel 1976 ha pubblicato, insieme a loro, New Directions in Cryptography, un articolo che esponeva un nuovo metodo per la soluzione del principale problema dei sistemi crittografici, lo "scambio della chiave".
Vedere Premio Turing e Martin Hellman
Marvin Minsky
Fu cofondatore dellArtificial Intelligence Project (divenuto, in seguito, Artificial Intelligence Laboratory) presso il Massachusetts Institute of Technology (MIT) di Cambridge (Massachusetts) e autore di numerosi testi riguardanti l'IA e la filosofia.
Vedere Premio Turing e Marvin Minsky
Maurice Wilkes
In particolare, un suo articolo del 1958, dal titolo "Microprogramming" ha contribuito notevolmente alla diffusione della microprogrammazione e ne costituisce un riferimento classico.
Vedere Premio Turing e Maurice Wilkes
Medaglia Fields
La International Medal for Outstanding Discoveries in Mathematics, o più semplicemente medaglia Fields, è un premio riconosciuto a matematici di età inferiore a 40 anni in occasione del Congresso internazionale dei matematici della International Mathematical Union (IMU), che si tiene ogni quattro anni.
Vedere Premio Turing e Medaglia Fields
ML (linguaggio di programmazione)
ML è un linguaggio di programmazione funzionale general purpose sviluppato dall'équipe di Robin Milner presso l'Università di Edimburgo alla fine degli anni 70, con una sintassi ispirata ad ISWIM.
Vedere Premio Turing e ML (linguaggio di programmazione)
Model checking
Il model checking è un metodo per verificare algoritmicamente i sistemi formali. Viene realizzato mediante la verifica del modello, spesso derivato dal modello hardware o software, soddisfacendo una specifica formale.
Vedere Premio Turing e Model checking
Multics
Multics (Multiplexed Information and Computing Service) fu uno dei primi sistemi operativi in condivisione di tempo, sviluppato attivamente a partire dal 1964.
Vedere Premio Turing e Multics
Niklaus Wirth
Pioniere dell'informatica, Niklaus Wirth fu l'inventore dei linguaggi di programmazione Pascal, Modula-2, e Oberon. Per lo sviluppo di questi linguaggi, ricevette il premio Turing.
Vedere Premio Turing e Niklaus Wirth
NP-completo
Nella teoria della complessità computazionale i problemi NP-completi sono i più difficili problemi nella classe NP ("problemi risolvibili non-deterministicamente in tempo polinomiale") nel senso che, se si trovasse un algoritmo in grado di risolvere "velocemente" (nel senso di utilizzare tempo polinomiale) un qualsiasi problema NP-completo, allora si potrebbe usarlo per risolvere "velocemente" ogni problema in NP.
Vedere Premio Turing e NP-completo
Ole-Johan Dahl
Professore di informatica all'Università di Oslo, è considerato uno dei padri di Simula e della programmazione orientata agli oggetti insieme a Kristen Nygaard.
Vedere Premio Turing e Ole-Johan Dahl
Pat Hanrahan
La sua ricerca si concentra su algoritmi di rendering, unità di elaborazione grafica, nonché illustrazione scientifica e visualizzazione scientifica.
Vedere Premio Turing e Pat Hanrahan
Peter Naur
Il suo cognome è "N" nella notazione BNF (modulo Backus-Naur), usato nella descrizione della sintassi per la maggior parte dei linguaggi di programmazione.
Vedere Premio Turing e Peter Naur
Premio Nevanlinna
Il premio Nevanlinna, intitolato al matematico finlandese Rolf Nevanlinna (1895 - 1980), è assegnato ogni quattro anni a chi ha dato rilevanti contributi agli aspetti matematici della scienza dell'informazione.
Vedere Premio Turing e Premio Nevanlinna
Premio Nobel
Il premio Nobel (AFI:; pronuncia svedese) è un'onorificenza di valore mondiale attribuita annualmente a personalità viventi che si sono distinte nei diversi campi dello scibile umano, apportando «i maggiori benefici all'umanità» per le loro ricerche, scoperte e invenzioni, per le opere letterarie, per l'impegno in favore della pace mondiale.
Vedere Premio Turing e Premio Nobel
Premio Schock
I premi Schock furono istituiti per volontà del filosofo e artista Rolf Schock (1933 - 1986). Furono assegnati per la prima volta a Stoccolma in Svezia nel 1993 ogni due anni e dal 2005 sono assegnati ogni tre anni.
Vedere Premio Turing e Premio Schock
Programmazione orientata agli oggetti
In informatica, la programmazione orientata agli oggetti (in acronimo OOP), a volte chiamata semplicemente programmazione ad oggetti, è un paradigma di programmazione che permette di definire oggetti software in grado di interagire gli uni con gli altri attraverso lo scambio di messaggi.
Vedere Premio Turing e Programmazione orientata agli oggetti
Reduced instruction set computer
Reduced Instruction Set Computer (RISC), nell'elettronica digitale, indica un'architettura per microprocessori che predilige lo sviluppo di un'architettura semplice e lineare.
Vedere Premio Turing e Reduced instruction set computer
Richard Hamming
Dopo il dottorato conseguito all'Università dell'Illinois nel 1942, Hamming fu professore all'Università di Louisville fino all'inizio della Seconda guerra mondiale.
Vedere Premio Turing e Richard Hamming
Richard Karp
Nel 1972 ha pubblicato un elenco di 21 problemi NP-completi. Ha vinto il Premio Turing nel 1985 ed il Premio Kyōto per la tecnologia nel 2008.
Vedere Premio Turing e Richard Karp
Richard Stearns
Con Juris Hartmanis, ha ricevuto l'ACM Turing Award nel 1993 "in riconoscimento del loro documento seminale che ha stabilito le basi per il campo della teoria della complessità computazionale".
Vedere Premio Turing e Richard Stearns
Rivista accademica
Nell'editoria accademica, una rivista accademica è un periodico in cui sono pubblicati contributi tecnico-scientifici di scienziati ed esperti di una disciplina accademica previa revisione paritaria (in inglese, peer review).
Vedere Premio Turing e Rivista accademica
Robert Kahn
Insieme a Vinton Cerf, inventò il protocollo TCP/IP, la tecnologia usata per trasmettere informazioni in Internet.
Vedere Premio Turing e Robert Kahn
Robert Metcalfe
Pioniere della tecnologia, Robert Metcalfe è l'inventore di Ethernet e fondatore di 3Com. A lui si deve la formulazione della legge di Metcalfe.
Vedere Premio Turing e Robert Metcalfe
Robert Tarjan
Nel 1969 ha conseguito il Bachelor's degree in matematica dal California Institute of Technology e presso la Stanford University ha ottenuto nel 1971 il Master's degree in computer science e nel 1972 il Ph.D. in computer science e secondariamente in matematica, sotto la supervisione di Robert Floyd e Donald Knuth.
Vedere Premio Turing e Robert Tarjan
Ronald Rivest
Il suo lavoro più noto è il sistema di crittografia asimmetrica che ha sviluppato assieme a Leonard Adleman e Adi Shamir: il crittosistema RSA (1978).
Vedere Premio Turing e Ronald Rivest
Shafi Goldwasser
È inoltre vincitrice di due premi Godel ricevuti nel 1993 e nel 2001.
Vedere Premio Turing e Shafi Goldwasser
Silvio Micali
Sin da piccolo si dimostrò particolarmente dotato per la matematica e la logica. Si spostò con la famiglia a Roma dove il padre, magistrato, era stato trasferito.
Vedere Premio Turing e Silvio Micali
Sistema operativo
Un sistema operativo (abbreviato in SO), in informatica, è un software di base, detto anche piattaforma operativa (composto normalmente da più sottosistemi o componenti software: kernel, scheduler, file system, gestore della memoria, gestore delle periferiche, interfaccia utente e spooler di stampa), che gestisce le risorse hardware e software della macchina, fornendo servizi di base ai software applicativi; tra i sistemi operativi per computer desktop si citano Microsoft Windows, MacOS, le distribuzioni Linux, sistemi Unix-like, BSD e Chrome OS, mentre per i dispositivi mobili, quali smartphone e tablet, vi sono iOS, Android, HarmonyOS, Windows Phone, Sailfish OS, Symbian OS e KaiOS.
Vedere Premio Turing e Sistema operativo
Software
Il software, in informatica ed elettronica, indica (per un sistema informatico) l'insieme delle componenti intangibili di elaborazione. Il significato è contrapposto a quello di hardware, che corrisponde alla parte materiale (strato fisico/tangibile) del detto sistema.
Vedere Premio Turing e Software
Tablet PC
Il tablet PC (letteralmente PC tavoletta) è un computer portatile che grazie alla presenza di uno o più digitalizzatori (in inglese: digitizers) permette all'utente di interfacciarsi con il sistema direttamente sullo schermo mediante una penna e, in particolari modelli, anche le dita.
Vedere Premio Turing e Tablet PC
Teoria della calcolabilità
La teoria della calcolabilità, della computabilità, e della ricorsione cerca di comprendere quali funzioni possono essere calcolate tramite un procedimento automatico.
Vedere Premio Turing e Teoria della calcolabilità
Teoria della complessità computazionale
La teoria della complessità computazionale è una branca della teoria della computabilità che studia le risorse minime necessarie (principalmente tempo di calcolo e memoria) per la risoluzione di un problema.
Vedere Premio Turing e Teoria della complessità computazionale
Tim Berners-Lee
Nel 2016 è stato insignito del premio Turing.
Vedere Premio Turing e Tim Berners-Lee
Tony Hoare
Ha trovato larga fama grazie alla scoperta, nel 1960, del quicksort, l'algoritmo di ordinamento più usato al mondo. Egli ha anche sviluppato le logiche di Hoare, atte a verificare la correttezza dei programmi, e il linguaggio formale Communicating Sequential Processes (CSP) usato per specificare interazioni tra processi concorrenti.
Vedere Premio Turing e Tony Hoare
Università Carnegie Mellon
L'Università Carnegie Mellon (in inglese Carnegie Mellon University) è un'università privata di Pittsburgh, in Pennsylvania (Stati Uniti d'America).
Vedere Premio Turing e Università Carnegie Mellon
Unix
Unix (ufficialmente registrato come UNIX) è un sistema operativo proprietario e portabile per computer. Originariamente sviluppato da un gruppo di ricerca presso i laboratori AT&T e Bell Laboratories, il team includeva luminari come Ken Thompson e Dennis Ritchie.
Vedere Premio Turing e Unix
Vint Cerf
È conosciuto come uno dei "padri di Internet" insieme a Bob Kahn, con cui inventò la suite di protocolli TCP/IP.
Vedere Premio Turing e Vint Cerf
Whitfield Diffie
È uno dei pionieri della crittografia a chiave pubblica e ha pertanto ricevuto il premio Turing 2015.
Vedere Premio Turing e Whitfield Diffie
William Kahan
Ha ricevuto il premio Turing nel 1989 per i suoi contributi in analisi numerica.
Vedere Premio Turing e William Kahan
World Wide Web
Il World Wide Web (termine in lingua inglese traducibile in italiano come "rete di ampiezza mondiale", o "rete mondiale", dove "rete" viene richiamato da ''web'' ("tela"), l'intreccio composto da ordito e trama), abbreviato web, sigla WWW o W3, è uno dei principali servizi di Internet, che permette di navigare e usufruire di un insieme molto vasto di contenuti amatoriali e professionali (multimediali e non) collegati tra loro attraverso collegamenti (link), e di ulteriori servizi accessibili a tutti o ad una parte selezionata degli utenti di Internet; questa facile reperibilità di informazioni è resa possibile, oltre che dai protocolli di rete, anche dalla presenza, diffusione, facilità d'uso ed efficienza dei motori di ricerca e dei web browser in un modello di architettura di rete definito client-server.
Vedere Premio Turing e World Wide Web
Xerox Alto
Lo Xerox Alto è una workstation della Xerox Corporation progettata dalla Xerox PARC e completata nel 1973. È il risultato di vari anni di ricerca e sviluppo in cui i dirigenti della Xerox Corporation affidarono ad un team di esperti dello Xerox PARC libertà massima nel progettare il computer del futuro.
Vedere Premio Turing e Xerox Alto
Yann LeCun
LeCun ha ricevuto il Turing Award 2018 (spesso definito il "Premio Nobel per l'informatica"), insieme a Yoshua Bengio e Geoffrey Hinton, per il loro lavoro sull'apprendimento profondo.
Vedere Premio Turing e Yann LeCun
2000
È stato l'ultimo anno del XX secolo e del II millennio secondo il calendario gregoriano. Nel calendario cinese è l'anno del Dragone e, nel calendario astrologico occidentale, è l'anno del Leone.
Vedere Premio Turing e 2000
2001
È stato il primo anno del XXI secolo e del III millennio dell'Era cristiana.
Vedere Premio Turing e 2001
2004
È stato proclamato anno internazionale del riso.
Vedere Premio Turing e 2004
2010
È stato dichiarato dalle Nazioni Unite Anno Internazionale della biodiversità e proclamato dal Parlamento europeo Anno della lotta alla povertà e all'esclusione sociale.
Vedere Premio Turing e 2010
2015
Il 2015 è stato designato come.
Vedere Premio Turing e 2015
Vedi anche
Alan Turing
- Alan Turing
- Andrew Hodges
- Automatic Computing Engine
- Bomba (calcolatore)
- Irving John Good
- Linguaggio ricorsivamente enumerabile
- Macchina di Turing
- National Physical Laboratory
- Premio Turing
- Tesi di Church-Turing
- Test di Turing
- Turing riduzione
- Turing tarpit
- Turochamp
Premi per l'informatica
- Premio Eckert-Mauchly
- Premio Gödel
- Premio Knuth
- Premio Loebner
- Premio Nevanlinna
- Premio Turing
- Presburger Award
- Roger Needham Award
Conosciuto come Turing Award.