| Osoba(e) |
Dostignuće |
Datum |
| John Vincent Atanasoff |
Izgradio elektronički digitalni računar: ABC Računar. Za razilku od ENIAC-a, ABC računar nije bio programibilian |
1939 |
| Charles Babbage |
Osmislio analatički stroj i napravi prototip mehaničkog digitrona |
1822, 1837 |
| John Backus |
Izumio FORTRAN (Formula Translation), prvi programski jezik višeg nivoa. |
1954, 1963 |
| George Boole |
Propisao Booleova algebru, osnovu za računarsku nauku |
| Alonzo Church |
Dao doprinos razvoju teoretske informatike, posebno za razvoj lambda računa i otkrića neodređenog problema unutar njega. |
| James Cooley i John W. Tukey |
Cooley-Tukey FFT algoritam i uticaj na naučni razvoj. |
| Ole-Johan Dahl i Kristen Nygaard |
Izumio proto-objektno orijentisani jezik SIMULA. |
| Edsger Dijkstra |
For algoritmi, Goto se smatra štetnim, semafor (programiranje), strogoća, i pedagogija. |
| Gottlob Frege |
Razvijanje predikatnog računa, presudno za razvoj računarske teorije. |
| C.A.R. Hoare |
Razvoj formalnog jezika CSP-a i Quicksort-a |
| Kurt Gödel |
Za svoj dokaz iz 1931. kojim je pokazao da Peanova aksiomatizirana aritmetika ne bi mogla biti i logički dosljedna i potpuna u predikatnome računu. Church, Kleene, i Turing udarili su temelje računarske teorije temeljene na teoremima Gödelova rada iz 1931. |
| Grace Murray Hopper |
Pionirski rad na potrebi programskih jezika višeg nivoa, koje je nazvala automatskim programiranjem, te napisala A-O kompajler, koji je utjecao na COBOL jezik. |
| Kenneth Iverson |
Izumio APL programski jezik i dao doprinos interaktivnom računarstvu. |
| Jacek Karpinski |
Razvio prvi diferencijalni analizator koji je koristio tranzistore, kao i jedan od prvih strojeva koji su učili algoritme radi prepoznavanja oznaka i slika. Također izumitelj jednog od prvih računara, K-202. |
| Stephen Cole Kleene |
Radio zajedno sa Alonzom Churchom na lambda računu te položio temelje raćunarskoj teoriji |
| Donald Knuth |
Za The Art of Computer Programming i TeX. |
| Gottfried Leibniz |
Napravio ogroman napredak u simboličkoj logici, poput računskog logičkog zaključka, izvršio ogroman uticaj na Gottloba Fregea, čiji je razvoj predikatnoga računa bio presudan za teoretske osnove računarstva. |
| Ramon Llull |
Za svoje strojeve mnogostrukih simboličkih prikaza, "Ars Combinatoria" te pionirske ideje simboličkog prikaza i rukovanja. Izvršio je ogroman utjecaj na Leibniza. |
| Ada King Lovelace |
Započela proučavanje naučnog izračunavanja, posebno njen "Prikaz analitičkog stroja", analiza Babbageovog rada i stvaranje istoimenog modernog programskog jezika nazvanog u njenu čast, Ada. |
| John Mauchly and J. Presper Eckert |
Osmislili i napravili ENIAC, prvi elektronički računar temeljen na Turingovoj potpunosti, te UNIVAC I, prvi računar dostupan u prodaji u SAD. John von Neumann s Instituta za napredna proučavanja priznao je da je bio pod velikim uticajem njihovog rada kada je napravio pionirski rad na računarskoj arhitekturi. |
| John McCarthy |
Izumio LISP programski jezik, funkcionalni programski jezik. |
1955 |
| John von Neumann |
Izumio von Neuman arhitekturu na kojoj je temeljena i većina današnjih računara. |
1945 |
| Claude E. Shannon |
Pronašao infromacijsku teoriju i osmislio dizajn praktičkog digitalnog kola |
| Emil L. Post |
Razvio Postov stroj kao računarski model, neovisan o Turingu. Poznat također po razvoju istinitosnih tabela, te Postovog problema podudarnosti korištenog u teoriji preusmjerivanja jednako kao i u dokazivanju onoga što se naziva Postovom teoremom. |
| Herbert Simon |
Pionir na polju vještačke intelegencije. Bio je politički naučnik i ekonomičar |
1956, 1957 |
| Alan Turing |
Veliki doprinos računarstvu, osmislio Turing mašinu, te za dizajn Pilot ACE-a |
| Maurice Wilkes |
Napravio prvi praktički računar EDSAC koji je mogao pohranjivati program. |
| Niklaus Wirth |
Izumitelj nekoliko programskih jezika, uključujući Pascal, Modula-2 i Oberon |
| Dennis Ritchie |
Računarski naučnik u Bell laboratoriji koji je pomogao u razovoju C programskog jezika te UNIX operativnog sistema. |
| Konrad Zuse |
Napravio prvi funkcionalni binarni računar, Z3. |
1941 |
