Elenco dei pionieri in informatica
Da Wikipedia, l'enciclopedia libera
Contenuti |
Persona | Realizzazione | Ach. Data |
|---|---|---|
| John Atanasoff | Costruito il primo computer elettronico digitale, il Atanasoff-Berry Computer, Anche se non era né programmabile né Turing-completo. | 1939 |
| Charles Babbage | Progettato il Analytical Engine e costruito un prototipo di meno potente calcolatore meccanico. | 1822 1837 |
| John Backus | Inventato FORTRAN (Permula Trantuite), la prima pratica di programmazione ad alto livello linguistico, e ha formulato le Backus-Naur form che ha descritto il linguaggio formale sintassi. | 1954 1963 |
| George Boole | Formalizzati Algebra booleana, La base per logica digitale e informatica. | 1847 1854 |
| Nikolay Brusentsov | Costruito computer ternario SHENAR. | 1958 |
| Vint Cerf e Bob Kahn | Progettato il Transmission Control Protocol e Internet Protocol (TCP / IP), I dati primari protocolli di comunicazione della Internet e altri reti di computer. | 1978 |
| Alonzo Church | Fondata contributi alla scienza informatica teorica, in particolare per lo sviluppo del lambda calcolo e la scoperta del indecidibilità problema all'interno di esso. | 1936 |
| Wesley Clark A. | Progettato LINC, Il primo computer funzionante in scala verso il basso e un prezzo per il singolo utente. Messo in servizio nel 1963, molte delle sue caratteristiche sono visti come prototipi di quello che dovevano essere gli elementi essenziali dei personal computer. | 1962 |
| Edmund M. Clarke | Sviluppato model checking e la verifica formale di software e hardware con E. Allen Emerson. | 1981 |
| Edgar F. Codd | Proposto e formalizzato la modello relazionale di gestione dei dati, la base teorica di basi di dati relazionali. | 1970 |
| Stephen Cook | Formalizzata la nozione di NP-completezza, ispirando un grande sforzo di ricerca in teoria della complessità computazionale. | 1971 |
| James Cooley | Con John W. Tukey, Ha creato il Fast Fourier Transform. | 1965 |
| Ole-Johan Dahl | Con Kristen Nygaard, Ha inventato il proto-oggetto linguaggio orientato SIMULA. | 1962 |
| Edsger Dijkstra | progressi compiuti in algoritmi, Goto considerato nocivo, Il semaforo (programmazione), rigore, E la pedagogia. | 1968 |
| J. Presper Eckert | Con John Mauchly, Progettato e costruito la ENIAC, Il moderno, di prima (tutte elettronico, Turing-completo) computer, e il UNIVAC I, Il primo computer disponibile in commercio. | 1943 1951 |
| E. Allen Emerson | Sviluppato model checking e la verifica formale di software e hardware con Edmund M. Clarke. | 1981 |
| Douglas Engelbart | Meglio conosciuto per aver inventato il mouse del computer (in uno sforzo congiunto con Bill in inglese), come un pioniere dell'interazione uomo-computer il cui gruppo ha sviluppato Augment ipertesto, computer collegati in rete, E precursori di GUI. | 1963 |
| Tommy Flowers | Progettato e costruito la Mark 1 e le dieci migliori Mark 2 Colosso computer, Il primo al mondo programmabile, digitale, elettronica, informatica dispositivi. | 1943 |
| Gottlob Frege | Sviluppato primo ordine di calcolo dei predicati, Che è stato precursore di un requisito fondamentale per poter sviluppare la teoria di calcolo. | 1879 |
| Seymour Ginsburg | Dimostrato "don't-care"Minimizzazione del circuito non deve necessariamente portare a risultati ottimali, hanno dimostrato che ALGOL linguaggio di programmazione è context-free (così da legare teoria dei linguaggi formali al problema della compilatore scrittura), e inventato AFL Teoria. | 1958 1961 1967 |
| Kurt Gödel | Dimostrato che Peano aritmetica assiomatizzata non poteva essere sia logicamente coerente e completa in primo ordine di calcolo dei predicati. Chiesa, Kleene, Turing e sviluppato le basi della teoria di calcolo basato sulla corollari al lavoro di Gödel. | 1931 |
| Lois Haibt | Era un membro del team persona che ha inventato dieci Fortran e tra le prime donne a svolgere un ruolo cruciale nello sviluppo della scienza informatica. | 1954 |
| C.A.R. Hoare | Ha sviluppato il linguaggio formale Comunicare processi sequenziali (CSP) e Quicksort. | 1960 1978 |
| Grace Hopper | lavori avviati sulla necessità di linguaggi di programmazione ad alto livello, che ha definito programmazione automatica, E ha scritto l'A-O compilatore, Che condiziona fortemente la COBOL lingua. | 1952 |
| Cuthbert Hurd | Ha aiutato la International Business Machines Corporation sviluppare il suo primo computer general-purpose, l' IBM 701. | 1952 |
| Kenneth E. Iverson | Aiutato nella istituisce il primo corso di laurea in informatica (a Harvard) E ha insegnato quel corso; inventato il APL linguaggio di programmazione e contributo al calcolo interattivo. | 1954; 1962 |
| Jacek Karpinski | Sviluppato il primo analizzatore differenziale che usate di transistor, e sviluppato una delle prima macchina algoritmi di apprendimento per il carattere e il riconoscimento delle immagini. È stato anche l'inventore di uno dei primi minicomputer, il K-202. | 1973 |
| Alan Kay | molte delle idee alla base dei linguaggi di programmazione object-oriented Introdotti, ha guidato il team che ha sviluppato Smalltalk, e ha dato contributi fondamentali per il personal computing. | 1970~ |
| Stephen Cole Kleene | Lanciato il lavoro con Alonzo Church sul Lambda Calculus che per primo ha gettato le basi della teoria della computazione. | 1936 |
| Donald Knuth | Ha scritto The Art of Computer Programming e ha creato TeX. | 1968 1989 |
| Leslie Lamport | Formulato algoritmi per risolvere molti problemi fondamentali nei sistemi distribuiti (ad esempio il panificio algoritmo). Sviluppato il concetto di un clock logico, Che permette la sincronizzazione tra entità distribuite in base agli eventi attraverso il quale comunicare. | 1974 1978 |
| Sergei Lebedev Alekseyevich | Indipendentemente progettato il primo computer elettronico in Unione Sovietica, MESM, A Kiev, Ucraina. | 1951 |
| Gottfried Leibniz | progressi della logica simbolica, come la Calcolo ratiocinator, Che sono stati pesantemente influenti sulla Gottlob Frege. sviluppi Made in primo ordine di calcolo dei predicati che sono stati cruciali per i fondamenti teorici dell'informatica. | 1670~ |
| Ramon Llull | Progettato più macchine simboliche rappresentazioni, e pioniere nozioni di rappresentazione simbolica e la manipolazione di produrre conoscenza, sia dei quali sono stati influenze principali su Leibniz. | 1300~ |
| J. C. R. Licklider | Ha iniziato l'indagine dell'interazione uomo-computer, portando a molti progressi nelle interfacce del computer così come in cibernetica e intelligenza artificiale. | 1960 |
| Ada Lovelace | Ha iniziato lo studio del calcolo scientifico, analizzando il lavoro di Babbage nel suo Disegno della macchina analitica, Ed è stata la omonimo per la Ada linguaggio di programmazione. | 1843 |
| John Mauchly | Con J. Presper Eckert, Progettato e costruito la ENIAC, Il moderno, di prima (tutte elettronico, Turing-completo) computer, e il UNIVAC I, Il primo computer disponibile in commercio. | 1943 1951 |
| John McCarthy | Inventato LISP, Un linguaggio di programmazione funzionale. | 1955 |
| Marvin Minsky | Co-fondatore di Artificial Intelligence Lab a Massachusetts Institute of Technology , Autore di numerosi testi su AI e la filosofia. | 1963 |
| Max Newman | Istigato la produzione del Colosso computer a Bletchley Park. Dopo la guerra fondò la Macchina Laboratorio di Informatica presso il Università di Manchester dove il primo al mondo A programma memorizzato computer, Il Manchester Machine Small-Scale Experimental è stato inventato. | 1943 |
| John von Neumann | Ha ideato il architettura di von Neumann su cui i computer più moderni sono basati. | 1945 |
| Kristen Nygaard | Con Ole-Johan Dahl, Ha inventato il proto-oggetto linguaggio orientato SIMULA. | 1962 |
| Emil L. Post | Sviluppato il Post macchina come un modello di calcolo, indipendentemente da Turing. Conosciuto anche per lo sviluppo verità tabelle, Il Post corrispondenza problema utilizzati nella teoria della ricorsione e dimostrare ciò che è noto come teorema di Post. | 1936 |
| Gerard Salton | Un pioniere di automatica Information Retrieval, Che ha proposto la vettore nello spazio modello e il invertita indice. | 1975 |
| Dennis Ritchie e Ken Thompson | Ha aperto la strada C linguaggio di programmazione e il UNIX computer il sistema operativo dei Bell Labs. | 1967 |
| Claude Shannon | Fondata teoria dell'informazione e pratico progettazione di circuiti digitali. | 1937 1948 |
| Herbert Simon | Uno scienziato politico ed economista che per primo intelligenza artificiale. Co-ideatore del Logic Theory Machine e il General Problem Solver programmi. | 1956 1957 |
| Ivan Sutherland | Autore di Album per schizzi, L'antenato del moderno computer-aided redazione (CAD) programmi e uno dei primi esempi di programmazione orientata agli oggetti. | 1963 |
| John W. Tukey | Con James Cooley, Ha creato il Fast Fourier Transform. | 1965 |
| Alan Turing | Dato un contributo alla scienza fondazione diversi computer, compreso il Macchina di Turing computazionale del modello, e ACE design. | 1936 |
| Maurice Wilkes | Costruito il primo pratico programma registrato computer (EDSAC) Da completare e per essere accreditato con le idee di diversi linguaggi di programmazione ad alto livello costrutti. | 1949 |
| Niklaus Wirth | Progettato il Pascal, Modula-2 e Oberon linguaggi di programmazione. | 1970 1978 |
| Konrad Zuse | Costruì il primo computer funzionante nastro a programma memorizzato-controllato, il Z3. La Z3 è stato dimostrato di essere alla completezza di Turing nel 1998. | 1941 |
Nessun commento:
Posta un commento