Seznam průkopníků v počítačové vědě - List of pioneers in computer science
Tento článek představuje seznam jednotlivců, kteří dosáhli transformačních průlomů ve vytváření, vývoji a představování čeho počítače mohl udělat.
Průkopníci
- Chcete-li seznam umístit v chronologickém pořadí, klikněte na malou ikonu „nahoru-dolů“ ve sloupci Datum. Sloupec Osoba lze také řadit abecedně, nahoru-dolů.
Úspěch datum | Osoba | Úspěch |
---|---|---|
830~ | Al-Khwarizmi | Termín "algoritmus "je odvozen z algoritmus, technika provedení aritmetický s Hind – arabské číslice popularizoval al-Khwarizmi ve své knize Na výpočtu s hinduistickými číslicemi.[1][2][3] |
1944 | Aiken, Howarde | Koncipována a kódově podepsána Harvard Mark I.. |
1970, 1989 | Allen, Frances E. | Rozvinutý bitový vektor notace a program kontrolní grafy toku. Stala se první ženou IBM Fellow v roce 1989. V roce 2006 se stala první ženskou příjemkyní ACM Turing Award. |
1939 | Atanasoff, Johne | Postavený první elektronický digitální počítač, Atanasoff – Berry Computer, ačkoli to nebylo ani programovatelné, ani Turing-kompletní. |
1822, 1837 | Babbage, Charlesi | Vznikl koncept programovatelného univerzálního počítače. Navrženo Analytický motor a postavil prototyp pro méně výkonné mechanická kalkulačka. |
1954, 1963 | Backus, Johne | Vedl tým, který vytvořil FORTRAN (Promula Translation), prvního praktického programovacího jazyka na vysoké úrovni, a formuloval Backus – Naurova forma který popisoval formální jazyk syntax. |
1964 | Baran, Paul | Jeden ze dvou nezávislých vynálezců konceptu digitálu přepínání paketů používá se v moderní počítačové sítě včetně Internet.[4][5] Baran publikoval sérii briefingů a prací o rozdělení informací do „bloků zpráv“ a jejich odesílání přes distribuované sítě mezi lety 1960-64.[6] |
1874 | Baudot, Émile | Francouzský telegrafní inženýr patentuje Baudotův kód, první prostředek digitální komunikace.[7] The modem jednotka rychlosti baud je pojmenován po něm. |
1989, 1990 | Berners-Lee, Tim | Vynalezeno Celosvětová Síť. S Robert Cailliau, odeslaná první komunikace HTTP mezi klientem a serverem. |
1966 | Böhm, Corrado | Teorie pojmu strukturované programování. |
1847, 1854 | Boole, Georgi | Formalizováno Booleova algebra, základ pro digitální logika a počítačové vědy. |
1947 | Boothe, Kathleen | Vynalezl první montážní jazyk. |
1969, 1978 | Brinch Hansen, Per | Vyvinul Multiprogramovací systém RC 4000 který zavedl koncept jádro operačního systému a oddělení politiky a mechanismu, vlastně první mikrokernel architektura.[8] Spoluvyvinul monitor s Tony Hoare a vytvořil první implementaci monitoru.[9] Implementována první forma vzdálené volání procedury v RC 4000,[8] a jako první navrhl vzdálená volání procedur jako strukturující koncept pro distribuované výpočty.[10] |
1959, 1995 | Brooks, Fred | Manažer IBM Systém / 360 a OS / 360 projekty; autor Mýtický muž-měsíc. |
1908 | Brouwer, Luitzen Egbertus Jan | Založený intuicionistická logika který se později začal běžně používat v důkazní asistenti. |
1930 | Bush, Vannevar | Průkopník analogové výpočetní techniky. Původce Memex koncepce, která vedla k rozvoji Hyper-textový. |
1951 | Caminer, David | S John Pinkerton, vyvinuli Počítač LEO, první obchodní počítač pro J. Lyons a spol |
1978 | Cerf, Vint | S Bob Kahn, navrhl protokol kontroly přenosu a internetový protokol (TCP / IP ), primární údaje komunikační protokoly z Internet a další počítačové sítě. |
1956 | Chomsky, Noame | Svou prací přispěl do informatiky lingvistika. Vyvinul se Chomského hierarchie, objev, který má přímý dopad teorie programovacího jazyka a další odvětví informatiky. |
1936 | Kostel, Alonzo | Založeny příspěvky do teoretické informatiky, konkrétně pro rozvoj lambda kalkul a objev problém nerozhodnutelnosti v něm. |
1962 | Clark, Wesley A. | Navrženo LINC, první funkční počítač zmenšený a ceněný pro jednotlivého uživatele. Mnoho z jeho funkcí, které byly uvedeny do provozu v roce 1963, je považováno za prototypy toho, co mělo být podstatnou součástí osobních počítačů. |
1981 | Clarke, Edmund M. | Rozvinutý kontrola modelu a formální ověření softwaru a hardwaru společně s E. Allen Emerson. |
1970 | Codd, Edgar F. | Navrhl a formalizoval relační model správy dat, teoretické základy relační databáze. |
1971 | Conway, Lynn | Superskalární architektura s vícenásobným vydáním dynamického plánování instrukcí mimo pořadí. |
1967 | Cook, Stephen | Formalizoval pojem NP-úplnost a inspiroval k velkému výzkumu v teorie výpočetní složitosti. |
1965 | Cooley, Jamesi | S John W. Tukey, vytvořil rychlá Fourierova transformace. |
1965 | Davies, Donald | Jeden ze dvou nezávislých vynálezců konceptu digitálu přepínání paketů používá se v moderní počítačové sítě včetně Internet.[4][11] Davies vytvořil a pojmenoval koncept přepojování paketů v sítích datové komunikace v roce 1965.[12][13] |
1962 | Dahl, Ole-Johan | S Kristen Nygaard, vynalezl protoobjektově orientovaný jazyk SIMULA. |
1968 | Dijkstra, Edsger | Udělal pokrok v algoritmech, propagoval a vytvořil tento termín strukturované programování, vynalezl semafor, a skvěle navrhl, že Prohlášení GOTO mělo by považováno za škodlivé. |
1918 | Eccles, William a Jordan, Frank Wilfred | Britští fyzici patentují spouštěcí obvod Eccles – Jordan.[14] Takzvaný bistabilní žabky, tento obvod je stavebním kamenem všech digitálních paměťové buňky. Postaveno z Vakuové trubky, jejich koncept byl zásadní pro úspěch Počítač na rozbíjení kódů Colossus. |
1943, 1951 | Eckert, J. Presper | S John Mauchly, navrhl a postavil ENIAC, první moderní (celý elektronický, Turingův) počítač, a UNIVAC I, první komerčně dostupný počítač. |
1981 | Emerson, E. Allen | Rozvinutý kontrola modelu a formální ověření softwaru a hardwaru společně s Edmund M. Clarke. |
1963 | Engelbart, Douglas | Nejlépe známý pro vynález počítačové myši (ve společném úsilí s Bill English ); jako průkopník interakce člověka s počítačem, jehož tým Augment vyvinul Hyper-textový, počítače v síti a předchůdci GUI. |
1973 | Thacker, Charles P. | Průkopnický design a realizace Xerox Alto, první moderní osobní počítač, a navíc za jeho příspěvky do Ethernetu a Tablet PC. |
1971 | Faggin, Federico | Navržen první komerční mikroprocesor (Intel 4004 ). |
1974 | Feinler, Elizabeth | Její tým definoval jednoduchý formát textového souboru pro názvy internetových hostitelů. Seznam se vyvinul do Domain Name System a její skupina se stala jmenovacím orgánem pro domény nejvyšší úrovně .mil, .gov, .edu, .org a .com. |
1943 | Květiny, Tommy | Navrhl a postavil Mark 1 a deset vylepšených Mark 2 Kolosové počítače, první programovatelná, digitální, elektronická, výpočetní zařízení na světě. |
1994 | Floyd, Sally | Založil pole aktivní správy front a spoluvynalezl Náhodná včasná detekce který se používá téměř ve všech internetových směrovačích. |
1879 | Frege, Gottlob | Rozšířená aristotelská logika s predikátový počet prvního řádu, nezávisle na Charles Sanders Peirce, rozhodující předchůdce v teorie vypočítatelnosti. Týká se také rané práce na umělá inteligence, logické programování. |
1880, 1898 | Sanders Peirce, Charles | Prokázal funkční úplnost z NOR brána. Před desítkami let navrhoval implementaci logiky prostřednictvím elektrických obvodů Claude Shannon. Rozšířená aristotelská logika s predikátový počet prvního řádu, nezávisle na Gottlob Frege, rozhodující předchůdce v teorie vypočítatelnosti. Týká se také rané práce na umělá inteligence, logické programování. |
1985 | Furber, Stephen Sophie Wilsonová | Jsou známí svou prací na vytváření mikroprocesoru ARM 32bit RISC.[15] |
1958, 1961, 1967 | Ginsburg, Seymour | Dokázal "je mi to jedno "minimalizace obvodu nemusí nutně přinést optimální výsledky, prokázalo se, že ALGOL programovací jazyk je bezkontextový (tedy propojovací formální jazyk teorie k problému překladač psaní), a vynalezl Teorie AFL. |
1931 | Gödel, Kurt | Dokázalo to Peano aritmetika nemohly být obojí logicky konzistentní a dokončit predikátový počet prvního řádu. Church, Kleene a Turing vyvinuli základy výpočetní teorie založené na důsledky na Gödelovo dílo. |
1989 | Goldwasser, Shafi | Důkazy nulových znalostí vynalezl Goldwasser, Micali a Rackoff. Goldwasser a Micali udělili Turing Award v roce 2012 pro tuto a další práci. |
2011 | Graham, Susan L. | Oceněn v roce 2009 Medaile IEEE Johna von Neumanna za „příspěvky k návrhu a implementaci programovacího jazyka a za příkladnou službu v oboru informatiky“. |
1953 | Gray, Franku | Fyzik a výzkumný pracovník ve společnosti Bell Labs, vyvinuli odražený binární kód (RBC) nebo Šedý kód.[16] Grayovy metodiky se používají pro detekci a opravu chyb v digitálních komunikačních systémech, jako jsou QAM v digitální účastnická linka sítí. |
1974, 2005 | Grayi, Jime | Inovátor v databázové systémy a zpracování transakcí implementace. |
1986, 1990 | Grosz, Barbara[nepřiměřená váha? ] | Vytvořil první výpočetní model diskurz, který založil oblast výzkumu a ovlivnil technologie zpracování jazyků. Také vyvinut SharedPlans model pro spolupráci v multiagentní systémy. |
1988, 2015 | Gustafson, John | Experimentálně a teoreticky prokázal životaschopnost paralelních výpočtů Gustafsonův zákon. Vyvinuté vysoce účinné formáty pro reprezentaci reálných čísel Unum a Pozitivní. |
1971 | Hamilton, Margaret | Vyvinuli koncepty asynchronního softwaru, prioritního plánování, end-to-end testování a schopnosti rozhodování mezi lidmi, jako jsou prioritní displeje, které se poté staly základem pro ultra spolehlivý design softwaru. |
1950 | Hamming, Richarde | Vytvořil matematické pole kód pro opravu chyb, Hammingův kód, Hammingova matice, Hammingovo okno, Hammingova čísla, balení koule (nebo Hamming vázán ) a Hammingova vzdálenost.[17][18] Zavedl koncept dokonalého kódu.[19][20] |
1972, 1973 | Thi, André Truong Trong a François Gernelle[nepřiměřená váha? ] | Vynález Micral N, nejstarší komerční osobní počítač bez soupravy založený na a mikroprocesor. |
1981, 1995, 1999 | Hejlsberg, Anders | Autor Turbo Pascal zatímco v Borland, hlavní architekt Delphi, a designér a hlavní architekt C# ve společnosti Microsoft. |
2008, 2012, 2018 | Hinton, Geoffrey | Popularizoval a povolil použití umělé neuronové sítě a hluboké učení, které se řadí mezi nejúspěšnější moderní nástroje umělá inteligence úsilí. V roce 2018 obdržel cenu Turing Award za koncepční a technické průlomy, které přinesly hluboké neuronové sítě kritická součást práce na počítači.[21] |
1961, 1969, 1978 | Hoare, C.A.R. | Rozvinul formální jazyk Komunikace postupných procesů (CSP), Logika hoare - za ověření správnosti programu a - Quicksort. |
1968 | Holberton, Betty | Napsal první sloučení sálového počítače na Univac |
1889 | Hollerith, Herman | Široce považován za otce moderny zpracování dat stroje. Jeho vynález tabelačního stroje s děrnou kartou označuje začátek éry poloautomatu zpracování dat systémy. |
1952 | Hopper, Grace | Propagovala práci na nezbytnosti programovacích jazyků na vysoké úrovni, kterou nazvala automatické programovánía napsal A-O překladač, který silně ovlivnil COBOL Jazyk. |
1997 | Hsu Feng-hsiung | Práce vedly k vytvoření Hluboká myšlenka šachový počítač a architekt a hlavní designér IBM Deep Blue šachový počítač, který porazil panující Mistr světa v šachu, Garry Kasparov, v roce 1997. |
1952 | Hurd, Cuthbert | Pomohl International Business Machines Corporation vyvinout svůj první univerzální počítač, IBM 701. |
1945, 1953 | Huskey, Harry | Raný design počítače včetně příspěvků do ENIAC, EDVAC, Pilot ACE, EDVAC, SEAC, SWAC, a Bendix G-15 počítače. G-15 byl popsán jako první osobní počítač obsluhovatelná jednou osobou. |
1954, 1962 | Iverson, Kenneth | Asistoval při zavádění prvního postgraduálního kurzu informatiky (at Harvard ) a učil tento kurz; vynalezl Programovací jazyk APL a přispěl k interaktivním výpočtům. |
1801 | Jacquard, Joseph Marie | Postaveno a předvedeno Žakárský tkalcovský stav, programovatelný mechanizovaný tkalcovský stav ovládaný páskou vyrobenou z děrných štítků. |
1206 | Al-Jazari | Vynalezeno programovatelný stroje, včetně programovatelných humanoidní roboti,[22] a hradní hodiny, an orloj považován za první programovatelný analogový počítač.[23] |
1953 | Spärck Jones, Karen[nepřiměřená váha? ] | Jeden z průkopníků vyhledávání informací a zpracování přirozeného jazyka. |
1970, 1990 | Karnaugh, Maurice | Vynálezce Karnaugh mapa, který se používá pro minimalizaci logických funkcí. |
1973 | Karpinski, Jacek | Vyvinul první diferenciální analyzátor, který používal tranzistory, a vyvinul jeden z prvních algoritmů strojového učení pro rozpoznávání znaků a obrázků. Také byl vynálezcem jednoho z prvních minipočítačů, K-202. |
1970~ | Kay, Alan | Tým, který vyvinul, byl průkopníkem mnoha myšlenek u kořene objektově orientovaných programovacích jazyků Pokec a zásadním způsobem přispěl k osobní práci na počítači. |
1957 | Kirsch, Russell Gray | Během práce pro Národní úřad pro standardy (NBS), Kirsch použil nedávno vyvinutý skener obrázků naskenovat a uložit první digitální fotografie.[24] Jeho naskenovaná fotografie jeho tříměsíčního syna byla považována za Život časopis jako jeden ze „100 fotografií, které změnily svět“. |
1936 | Kleene, Stephen Cole | Průkopnická práce s Alonzo Church na Lambda kalkul to nejprve položilo základy výpočetní teorie. |
1968, 1989 | Knuth, Donald | Napsal Umění počítačového programování a vytvořil TeX. Razil termín „analýza algoritmů“ a významně přispěl k této oblasti, včetně popularizace Velká O notace. |
1974, 1978 | Lamport, Leslie | Formulované algoritmy k řešení mnoha základních problémů v distribuovaných systémech (např algoritmus pekárny ). Vypracoval koncept a logické hodiny, umožňující synchronizaci mezi distribuovanými entitami na základě událostí, kterými komunikují. Vytvořeno Latex. |
1951 | Lebeděv, Sergej Alekseyevič | Nezávisle navrhl první elektronický počítač v Sovětském svazu, MESM v Kyjevě na Ukrajině. |
1670~ | Leibniz, Gottfried | Dosáhli jsme pokroku v symbolické logice, například Calculus ratiocinator, na které měl velký vliv Gottlob Frege. Vyvinutý vývoj v predikátový počet prvního řádu které byly rozhodující pro teoretické základy počítačové vědy. |
1960 | Licklider, J. C. R. | Začalo vyšetřování interakce člověka s počítačem, což vedlo k mnoha pokrokům v počítačových rozhraních i v nich kybernetika a umělá inteligence. |
1987 | Liskov, Barbara | Vyvinul Princip substituce Liskov, který zaručuje sémantický interoperabilita typy dat v hierarchii. |
1300~ | Llull, Ramone | Navrhl více strojů pro symbolickou reprezentaci a vytvořil průkopnické pojmy symbolické reprezentace a manipulace za účelem získání znalostí - což byly hlavní vlivy na Leibniz. |
1852 | Lovelace, Ado | Anglická matematička a spisovatelka, známá především pro svou práci na mechanickém počítači pro všeobecné použití Charlese Babbageho, Analytický motor. Byla první, kdo si uvědomil, že stroj má aplikace nad rámec čistého výpočtu, a vytvořil první algoritmus, který má takový stroj provádět. Výsledkem je, že je často považována za první, která rozpoznala plný potenciál „výpočetního stroje“ a prvního počítačového programátora. |
1909 | Ludgate, Percy | Charles Babbage v roce 1843 a Percy Ludgate v roce 1909 navrhl první dva Analytické motory v historii. Ludgateův motor používal jako základ násobení (používal své vlastní diskrétní „irské logaritmy“), měl první multiplikátor-akumulátor (MAC), jako první použil MAC k provedení dělení, uložil čísla jako posunutí tyčí v raketoplánu další nové funkce, včetně ovládání programu. |
1971 | Martin-Löf, Per | Publikoval první koncept teorie typů, který mnoho důkazní asistenti stavět na. |
1943, 1951 | Mauchly, Johne | S J. Presper Eckert, navrhl a postavil ENIAC, první moderní (celý elektronický, Turingův) počítač, a UNIVAC I, první komerčně dostupný počítač. Také pracoval na BINAC (1949), EDVAC (1949), UNIVAC (1951) s Grace Hopperovou a Jeanem Bartikem, aby se vyvinuli brzy uložený program počítače. |
1958 | McCarthy, Johne | Vynalezeno LISP, a funkční programovací jazyk. |
1956, 2012 | McCluskey, Edward J. | Zásadní příspěvky, které formovaly design a testování digitálních systémů, včetně prvního algoritmu pro syntézu digitální logiky, metody minimalizace logiky Quine-McCluskey. |
1986 | Meyer, Bertrand | Rozvinutý design podle smlouvy v masce Eiffelovský programovací jazyk. |
1963 | Minsky, Marvin | Spoluzakladatel společnosti Laboratoř umělé inteligence na Massachusetts Institute of Technology, autor několika textů o AI a filozofii. Kritik z perceptron. |
850~ | Banū Mūsā | Bratři Banū Mūsā napsali Kniha důmyslných zařízení kde popsali to, co se jeví jako první programovatelný stroj, an automatický flétna hráč.[25] |
1950, 1960 | Nakamatsu Yoshirō | Vynalezl první disketa na Tokijská císařská univerzita v roce 1950,[26][27] obdržení japonského patentu z roku 1952[28][29] a 1958 americký patent na jeho disketu magnetický disk listový vynález,[30] a licencován Nippon Columbia v roce 1960[31] a IBM v 70. letech.[28][26] |
2008 | Nakamoto, satoshi | The anonymní tvůrce nebo tvůrci Bitcoin, první peer-to-peer digitální měna. Dokument Nakamoto z roku 2008 představil koncept blockchain, struktura databáze, která umožňuje plnou důvěru v decentralizovaný a distribuovaná veřejná kniha transakcí kryptoměny.[32] |
1934, 1938 | Nakashima Akira | NEC představil inženýr teorie spínacích obvodů v novinách z let 1934 až 1936, které položily základy pro digitální obvod design, v digitální počítače a další oblasti moderní technologie. |
1960 | Naur, Petere | Upravil ALGOL 60 Revidovaná zpráva, úvod Backus-Naurova forma |
1945 | Neumann, John von | Formuloval von Neumannova architektura na kterém je založena většina moderních počítačů. |
1956 | Newell, Allen | Dohromady s J. C. Shaw[33] a Herbert Simon, tři, spoluautorem Logického teoretika, prvního skutečného programu AI, v prvním jazyce zpracování seznamu, který ovlivnil LISP. |
1943 | Newman, Max | Zahájil výrobu Kolosové počítače na Bletchley Park. Po válce založil Laboratoř výpočetních strojů na University of Manchester kde vytvořil projekt, který vytvořil první na světě počítač s uloženým programem, Manchester Baby. |
1962 | Nygaard, Kristen | S Ole-Johan Dahl, vynalezl protoobjektově orientovaný jazyk SIMULA. |
500 př | Pāṇini | Ashtadhyayi Sanskrtská gramatika byl systematizovaný a technický pomocí metarulů, transformace, a rekurze, předchůdce teorie formálního jazyka a základ pro Formulář Panini-Backus používá se k popisu programovací jazyky. |
1642 | Pascal, Blaise | Vynalezl mechanická kalkulačka. |
1952 | Perlis, Alan | Na Projekt Whirlwind, člen týmu, který vyvinul Programovací jazyk ALGOL a první příjemce Turingovy ceny |
1985 | Perlman, Radia | Vynalezl Protokol Spanning Tree (STP), který je základem fungování síťové mosty, zatímco pracujete pro Digital Equipment Corporation. Provedl rozsáhlý a inovativní výzkum, zejména v oblasti šifrování a sítí. V roce 2007 získala mimo jiné cenu USENIX za celoživotní dílo. |
1964 | Perotto, Pier Giorgio[nepřiměřená váha? ] | Počítačový designér pro Olivetti, navržený jako jeden z prvních elektronických programovatelné kalkulačky, Program 101[34][35][36] |
1932 | Péter, Rózsa | Publikoval sérii papírů uzemnění teorie rekurze jako samostatná oblast matematického výzkumu, položení základů pro teoretickou informatiku. |
1995 | Picarde, Rosalind[nepřiměřená váha? ] | Založený Afektivní výpočetní technika, a položil základy pro poskytování dovedností emoční inteligence počítačům. |
1936 | Post, Emil L. | Vyvinul Post stroj jako model výpočtu, nezávisle na Turingovi. Známý také pro vývoj pravdivostní tabulky, Problém s korespondencí používá se v teorii rekurze i při dokazování toho, co je známé jako Postova věta. |
1967–2011 | Ritchie, Dennis | S Ken Thompson, propagoval Programovací jazyk C. a Unix computer operating system ve společnosti Bell Labs. |
1958–1960 | Rosen, Saule | Navrhl software prvního počítače založeného na tranzistorech. Ovlivnil také programovací jazyk ALGOL. |
1910 | Russell, Bertrand | Svou prací přispěl k informatice matematická logika (příklad: funkce pravdy ). Představil pojem teorie typů. Také představil typový systém (spolu s Alfred North Whitehead ) ve své práci, Principia Mathematica. |
1975 | Salton, Gerard[nepřiměřená váha? ] | Průkopník automatů vyhledávání informací, který navrhl vektorový vesmírný model a obrácený index. |
1962 | Sammet, Jean E. | Vyvinul Programovací jazyk FORMAC. Ona byla také první, kdo rozsáhle psal o historii a kategorizaci programovacích jazyků v roce 1969, a stala se první prezidentkou ženy Sdružení pro výpočetní techniku v roce 1974. |
1963, 1973 | Sasaki Tadashi | Ostrý inženýr, který vytvořil jeden čip mikroprocesor procesor, představující myšlenku Busicom a Intel v roce 1968. To ovlivnilo první komerční mikroprocesor, Intel 4004; před Busicomem byl Intel výrobcem pamětí. Tadashi Sasaki také vyvinul LCD kalkulačky ve společnosti Sharp.[37] |
1937, 1948 | Shannon, Claude | Založený teorie informace a položil základy praktického návrhu digitálních obvodů. |
1968, 1980 | Shima Masatoshi | Navrženo Intel 4004, první reklama mikroprocesor,[38][39] stejně jako Intel 8080, Zilog Z80 a Zilog Z8000 mikroprocesory a Intel 8259, 8255, 8253, 8257 a 8251 bramborové hranolky.[40] |
1956, 1957 | Simon, Herbert A. | Průkopník politolog a ekonom umělá inteligence. Spolutvůrce Stroj logické teorie a Obecné řešení problémů programy. |
1972 | Stallman, Richard | Stallman zahájil Projekt GNU v září 1983 vytvořit unixový počítačový operační systém složený výhradně ze svobodného softwaru. Tím zahájil hnutí svobodného softwaru. |
1982 | Stonebraker, Michael | Výzkumník v laboratoři výpočetní techniky a umělé inteligence MIT (CSAIL), který způsobil revoluci v oblasti systémů správy databází (DBMS) a založil několik úspěšných databázových společností |
1979 | Stroustrup, Bjarne | Vynalezeno C ++ v Bell Labs |
1963 | Sutherland, Ivan | Autor Skicák, předchůdce moderních programů pro počítačové kreslení (CAD) a jeden z prvních příkladů objektově orientované programování. |
1967 | Thompson, Ken | Vytvořil Unix operační systém, B programovací jazyk, Plán 9 operační systém, první stroj, který dosáhl hlavního hodnocení v šachu, a UTF-8 kódování v Bell Labs a Jděte do programovacího jazyka ve společnosti Google. |
1993 | To Chai Keong | Vytvořené mobilní ad hoc sítě; První fungující bezdrátová ad hoc síť přenosných počítačů byla implementována v roce 1998 s operačním systémem Linux, rádii Lucent WaveLan 802.11 a novým distribuovaným směrovacím protokolem transparentním pro TCP / UDP / IP. |
1991 | Torvalds, Linus | Vytvořil první verzi Linuxové jádro. |
1912, 1914, 1920 | Torres Quevedo, Leonardo | V roce 1912 postavil Leonardo Torres Quevedo El Ajedrecista (šachista), jeden z prvních autonomních strojů schopných hrát šachy. Na rozdíl od člověka ovládaného Turek a Ajeeb El Ajedrecista byl opravdový automat postavený na hraní šachů bez lidského vedení. Hrálo koncovku se třemi šachovými figurkami, automaticky hýbalo bílého krále a věž, aby matovalo černého krále pohnutého lidským protivníkem. Ve své práci Eseje o automatice, publikovaný v roce 1914, Torres Quevedo formuluje, jaké bude nové odvětví strojírenství: automatizace. Tato práce také zahrnovala aritmetika s plovoucí desetinnou čárkou. V roce 1920 Torres Quevedo jako první v historii vytvořil ranou elektromechanickou verzi Analytický motor. |
1965 | Tukey, John W. | S James Cooley, vytvořil rychlá Fourierova transformace. Vynalezl výraz „bit“.[41] |
1936 | Turing, Alan | Udělal několik zakládajících příspěvků do počítačové vědy, včetně Turingův stroj výpočetní model, pojetí konceptu uloženého programu a návrh vysokorychlostního ESO design. Široce považován za otce počítačová věda a umělá inteligence. |
1950~ | Wang An | Klíčovým způsobem přispěl k rozvoji EU magnetické jádro Paměť. |
1955, 1960, 1974 | Ware, Willisi | Co-návrhář JOHNNIAC. Předsedající výbor, který vyvinul Kodex poctivé informační praxe a vedl k Zákon o ochraně osobních údajů z roku 1974. Místopředseda studijní komise pro ochranu soukromí. |
1968 | Wijngaarden, Adriaan van | Vývojář W-gramatika poprvé použito v definici ALGOL 68 |
1949 | Wilkes, Maurice | Postaveno první praktické uložený program počítač (EDSAC ) k dokončení a za to, že mu byly připsány myšlenky několika konstruktů programovacího jazyka na vysoké úrovni. |
1970, 1978 | Wirth, Niklausi | Navrženo Pascal, Modula-2 a Oberon programovací jazyky. |
1875, 1875 | Verea, Ramón | Navrženo a patentováno Přímý multiplikátor Verea, první mechanický přímý multiplikátor. |
1938, 1945 | Zuse, Konrad | Postaven první digitální volně programovatelný počítač, Z1. Postavený první funkční programově řízený počítač, Z3.[42] Z3 se ukázal jako Turing-Complete v roce 1998. Vyrobil první komerční počítač na světě, The Z4. Navržen první programovací jazyk na vysoké úrovni, Plankalkül. |
1970 | Wilkinson, James H. | Výzkum v numerická analýza usnadnit používání vysokorychlostního digitálního počítače, který získal zvláštní uznání za svou práci ve výpočtech v lineární algebra a „zpětná“ analýza chyb.[43] |
1973 | Bachman, Charles | Vynikající příspěvky pro databáze technologie.[44] |
1976 | Rabin, Michael O. | Společný dokument „Konečné automaty a jejich rozhodovací problémy“[45] který představil myšlenku nedeterministické stroje, který se ukázal jako nesmírně cenný koncept. Jejich (Scott & Rabin) klasický papír byl nepřetržitým zdrojem inspirace pro další práci v této oblasti.[46][47] |
1976 | Scott, Dana | Společný dokument „Konečné automaty a jejich rozhodovací problémy“[48] který představil myšlenku nedeterministické stroje, který se ukázal jako nesmírně cenný koncept. Jejich (Scott & Rabin) klasický papír byl nepřetržitým zdrojem inspirace pro další práci v této oblasti.[49][50] |
1978 | Floyd, Robert W. | Jasný vliv na metodiky pro vytváření efektivního a spolehlivého softwaru a pomoc při zakládání následujících důležitých podpolí počítačová věda: teorie analýza, sémantika programovacích jazyků, automatické ověření programu, automatická syntéza programu, a analýza algoritmů.[51] |
1985 | Karp, Richard M. | Příspěvky k teorii algoritmů, včetně vývoje efektivních algoritmů pro tok sítě a dalších kombinačních optimalizačních problémů, identifikace polynomiálně-časové vyčíslitelnosti s intuitivním pojmem algoritmické účinnosti a zejména příspěvků k teorii NP-úplnost. |
1986 | Hopcroft, Johne | Základní úspěchy při navrhování a analýze algoritmů a datových struktur. |
1986 | Tarjan, Robert | Základní úspěchy při navrhování a analýze algoritmů a datových struktur. |
1987 | Cocke, Johne | Významné příspěvky v návrhu a teorii překladačů, architektuře velkých systémů a vývoji systému počítače se sníženým počtem instrukcí (RISC). |
1989 | Kahan, William | Základní příspěvky do numerická analýza. Jeden z nejvýznamnějších odborníků na plovoucí bod výpočty. Kahan se věnoval „zajištění bezpečnosti světa pro numerické výpočty. |
1989 | Corbató, Fernando J. | Průkopnická práce při organizování konceptů a vedení vývoje univerzálních, rozsáhlých, sdílení času a počítačové systémy pro sdílení zdrojů, CTSS a Multics. |
1991 | Milner, Robin | 1) LCF, mechanizace Scottovy logiky vypočítatelných funkcí, pravděpodobně první teoreticky založený, ale praktický nástroj pro konstrukce podporovaná strojem; 2) ML, první jazyk zahrnující polymorfní odvození typu společně s a typově bezpečné zpracování výjimek mechanismus; 3) CCS, obecná teorie konkurence. Kromě toho formuloval a silně pokročil plná abstrakce, studium vztahu mezi provozní a denotační sémantika.[52] |
1992 | Lampson, Butler W. | Vývoj distribuovaných osobních výpočetních prostředí a technologie pro jejich implementaci: pracovní stanice, sítí, operační systémy, programovací systémy, displeje, bezpečnostní a publikování dokumentů. |
1993 | Hartmanis, Juris | Základy pro obor teorie výpočetní složitosti.[53] |
1993 | Stearns, Richard E. | Základy pro obor teorie výpočetní složitosti.[54] |
1994 | Feigenbaum, Edwarde | Průkopnický design a konstrukce rozsáhlých systémů umělé inteligence, což ukazuje praktický význam a potenciální komerční dopad technologie umělé inteligence.[55] |
1994 | Reddy, Raj | Průkopník v designu a konstrukci rozsáhlých systémů umělé inteligence, což ukazuje praktický význam a potenciální komerční dopad technologie umělé inteligence.[56] |
1995 | Blum, Manuel | Příspěvky do základů teorie výpočetní složitosti a jeho aplikace na kryptografie a kontrola programu.[57] |
1996 | Pnueli, Amir | Představujeme časová logika do počítačové vědy a za vynikající příspěvky do programu a systémů ověření.[58] |
2000 | Yao, Andrew | Základní příspěvky do EU teorie výpočtu, včetně teorie složitosti založené na generování pseudonáhodných čísel, kryptografie, a složitost komunikace. |
1977 | Rivest, Rone | Geniální příspěvek a dělat kryptografie veřejného klíče užitečné v praxi. |
1977 | Shamir, Adi | Geniální příspěvek a dělat kryptografie veřejného klíče užitečné v praxi. |
1977 | Adleman, Leonard | Geniální příspěvek a dělat kryptografie veřejného klíče užitečné v praxi. |
1978 | Kahn, Bob | Navrženo protokol kontroly přenosu a internetový protokol (TCP / IP ), primární údaje komunikační protokoly z Internet a další počítačové sítě. |
2007 | Sifakis, Joseph | Rozvíjející se kontrola modelu do vysoce účinné ověřovací technologie, široce přijímané v hardwarovém a softwarovém průmyslu.[59] |
2010 | Statečný, Leslie | Transformační příspěvky k teorie výpočtu, včetně teorie pravděpodobně přibližně správné (PAC ) učení, složitost výčtu a algebraických výpočtů a teorie paralelních a distribuovaných výpočtů. |
2011 | Pearl, Judea | Základní příspěvky do umělé inteligence prostřednictvím vývoje počtu pro pravděpodobnostní a kauzální uvažování.[60] |
1976 | Hellman, Martin | Zásadní příspěvky do moderní kryptografie. Průkopnický článek Diffieho a Hellmana z roku 1976 „Nové směry v kryptografii“[61] představil myšlenky kryptografie veřejného klíče a digitálních podpisů, které jsou základem pro většinu dnes běžně používaných bezpečnostních protokolů na internetu.[62] |
1976 | Diffie, Whitfield | Zásadní příspěvky do moderní kryptografie. Průkopnický článek Diffieho a Hellmana z roku 1976 „Nové směry v kryptografii“[61] představil myšlenky kryptografie veřejného klíče a digitálních podpisů, které jsou základem pro většinu dnes běžně používaných bezpečnostních protokolů na internetu.[63] |
2018 | Bengio, Yoshua | Koncepční a technické průlomy, které přinesly hluboké neuronové sítě kritická součást práce na počítači.[64] |
2018 | LeCun, Yann | Koncepční a technické průlomy, které přinesly hluboké neuronové sítě kritická součást práce na počítači.[65] |
~ Položky označené vlnovkou jsou circa data.
Viz také
- Cena Computer Pioneer
- Medaile IEEE Johna von Neumanna
- Cena Grace Murray Hopperové
- Seznam ocenění za informatiku
- Seznam počítačových vědců
- Seznam osob považovaných za otce nebo matku oboru § Computing
- Seznam ruských IT vývojářů
- Seznam indukovaných účastnic Mezinárodní síně slávy Ženy v technologii
- Muž, který vynalezl počítač (Kniha 2010)
- Časová osa výpočtu
- Turing Award
- Ženy ve výpočetní technice
Reference
- ^ Mario Tokoro, vyd. (2010). „9“. e: Od porozumění principům k řešení problémů. str. 223–224. ISBN 978-1-60750-468-9.
- ^ Cristopher Moore; Stephan Mertens (2011). Povaha výpočtu. Oxford University Press. str. 36. ISBN 978-0-19-162080-5.
- ^ A. P. Ershov, Donald Ervin Knuth, ed. (1981). Algoritmy v moderní matematice a informatice: sborník, Urgench, Uzbecká SSR, 16. – 22. Září 1979. Springer. ISBN 978-3-540-11157-3.
- ^ A b „Skutečný příběh o tom, jak se internet stal tak zranitelným“. Washington Post. 30. května 2015. Archivovány od originál dne 2015-05-30. Citováno 2020-02-18.
Historici připisují klíčové poznatky velšskému vědci Donaldu W. Daviesovi a americkému inženýrovi Paulu Baranovi
- ^ „Detaily induktora - Paul Baran“. Síň slávy národních vynálezců. Archivovány od originál dne 6. září 2017. Citováno 6. září 2017.
- ^ Monica, 1776 Main Street Santa; Kalifornie 90401-3208. „Paul Baran a počátky internetu“. www.rand.org. Citováno 2020-02-15.
- ^ „Jean-Maurice- Emile Baudot. Système de télégraphie rapide, červen 1874. Brevet 103 898; Zdroj: Archives Institut National de la Propriété Industrielle (INPI)“.
- ^ A b „Per Brinch Hansen • IEEE Computer Society“. Computer.org. Citováno 2015-12-15.
- ^ Brinch Hansen, Per (duben 1993). „Monitory a souběžný Pascal: osobní historie“ (PDF). 2. konference ACM o historii programovacích jazyků.
- ^ Brinch Hansen, Per (listopad 1978). „Distribuované procesy: koncept souběžného programování“ (PDF). Komunikace ACM. 21 (11): 934–941. CiteSeerX 10.1.1.107.3108. doi:10.1145/359642.359651. S2CID 11610744.
- ^ „Detaily induktora - Donald Watts Davies“. Síň slávy národních vynálezců. Archivovány od originál dne 6. září 2017. Citováno 6. září 2017.
- ^ Roberts, Dr. Lawrence G. (listopad 1978). „Evoluce přepínání paketů“. Archivovány od originál 24. března 2016. Citováno 5. září 2017.
Téměř okamžitě po schůzce v roce 1965 vymyslel Donald Davies podrobnosti systému pro přepojování paketů typu store-and-forward
- ^ Roberts, Dr. Lawrence G. (květen 1995). „ARPANET a počítačové sítě“. Archivovány od originál 24. března 2016. Citováno 13. dubna 2016.
V červnu 1966 pak Davies napsal druhý interní dokument „Návrh digitální komunikační sítě“, ve kterém vytvořil slovo paket - malá dílčí část zprávy, kterou chce uživatel odeslat, a také představil koncept „ Počítač s rozhraním „k sezení mezi uživatelským vybavením a paketovou sítí.
- ^ William Henry Eccles a Frank Wilfred Jordan, „Zlepšení iontových relé“ Číslo britského patentu: GB 148582 (podáno: 21. června 1918; zveřejněno: 5. srpna 1920). Dostupné online na: http://v3.espacenet.com/origdoc?DB=EPODOC&IDX=GB148582&F=0&QPN=GB148582 .
- ^ "Muzeum počítačové historie | Fellow Awards - Steve Furber". Archivovány od originál dne 02.04.2013.
- ^ Gray, Franku (1953-03-17). „Pulzní kódová komunikace“ (PDF). US patent č. 2,632,058
- ^ Morgan 1998, str. 973–975.
- ^ Hamming 1950, str. 147–160.
- ^ Ling & Xing 2004, s. 82–88.
- ^ Pless 1982, s. 21–24.
- ^ Otcové revoluce Deep Learning dostávají ACM A.M. Turing Award
- ^ "articles58". Shef.ac.uk. 29. června 2007. Archivovány od originál dne 29. června 2007. Citováno 25. října 2017.
- ^ „Ancient Discoveries, Episode 11: Ancient Robots“. Kanál historie. Citováno 2008-09-06.
- ^ Kirsch, Russell A., „Nejčasnější zpracování obrazu“, Muzeum NISTS; SEAC a zahájení zpracování obrazu v Národním úřadu pro standardy, Národní institut pro standardy a technologie, archivovány z originál dne 19. 7. 2014
- ^ Koetsier, Teun (2001). "Na pravěku programovatelných strojů: hudební automaty, stavy, kalkulačky". Mechanismus a teorie strojů. 36 (5): 589–603. doi:10.1016 / S0094-114X (01) 00005-2.
- ^ A b G. W. A. Dummer (1997), Elektronické vynálezy a objevy, strana 164, Fyzikální ústav
- ^ Valerie-Anne Giscard d'Estaing (1990), Kniha vynálezů a objevů, strana 124, Queen Anne Press
- ^ A b Lazarus, David (10. dubna 1995). "'Japonský Edison je králem gadgetů země: Japonský vynálezce drží rekord v patentu ". The New York Times. Citováno 2010-12-21.
- ^ YOSHIRO NAKAMATSU - THOMAS EDISON JAPONSKA, Stellarix Consultancy Services, 2015
- ^ Magnetický záznamový list, Patent US3131937
- ^ Grafické umění v Japonsku, Díl 2 (1960), strany 20–22
- ^ Nakamoto, Satoshi (24. května 2009). ""Bitcoin: Elektronický hotovostní systém typu peer-to-peer „(PDF)“ (PDF). bitcoin.org.
- ^ Fred Joseph Gruenberger, Historie JOHNNIACMemorandum RAND 5654
- ^ „Elektronická kalkulačka Olivetti Programma 101“. Staré webové muzeum kalkulačky.
technicky byl stroj programovatelnou kalkulačkou, ne počítačem.
- ^ „2008/107/1 Computer, Programma 101, and documents (3), plastic / metal / paper / electronic components, hardware architect Pier Giorgio Perotto, design by Mario Bellini, made by Olivetti, Italy, 1965–1971“. www.powerhousemuseum.com. Citováno 2016-03-20.
- ^ „Elektronická kalkulačka Olivetti Programma 101“. Staré webové muzeum kalkulačky.
Zdá se, že kalkulačka Mathatronics Mathatron předcházela uvedení Programmu 101 na trh.
- ^ Aspray, William (1994-05-25). "Oral-History: Tadashi Sasaki". Rozhovor č. 211 pro Centrum dějin elektrotechniky. The Institute of Electrical and Electronics Engineers, Inc.. Citováno 2013-01-02.
- ^ Nigel Tout. „Kalkulačka Busicom 141-PF a mikroprocesor Intel 4004“. Citováno 15. listopadu 2009.
- ^ Federico Faggin, Výroba prvního mikroprocesoru, Časopis polovodičových obvodů IEEE, Zima 2009, IEEE Xplore
- ^ Japonsko, společnost pro zpracování informací z. "Shima Masatoshi-Computer Museum". museum.ipsj.or.jp. Citováno 25. října 2017.
- ^ Claude Shannon (1948). "Bell System Technical Journal". Technický deník Bell System.
- ^ Copeland, B. Jack (25. října 2017). Zalta, Edward N. (ed.). Stanfordská encyklopedie filozofie. Výzkumná laboratoř metafyziky, Stanford University. Citováno 25. října 2017 - prostřednictvím Stanfordské encyklopedie filozofie.
- ^ Wilkinson, J. H. (1971). "Několik komentářů od numerického analytika". Deník ACM. 18 (2): 137–147. doi:10.1145/321637.321638. S2CID 37748083.
- ^ Bachman, C. W. (1973). „Programátor jako navigátor“. Komunikace ACM. 16 (11): 653–658. doi:10.1145/355611.362534.
- ^ Rabin, M. O .; Scott, D. (1959). „Konečné automaty a jejich problémy s rozhodováním“. IBM Journal of Research and Development. 3 (2): 114. doi:10.1147 / kolo 32.0114. S2CID 3160330.
- ^ Rabin, M. O. (1977). "Složitost výpočtů". Komunikace ACM. 20 (9): 625–633. doi:10.1145/359810.359816.
- ^ Scott, D. S. (1977). „Logické a programovací jazyky“. Komunikace ACM. 20 (9): 634–641. doi:10.1145/359810.359826.
- ^ Rabin, M. O .; Scott, D. (1959). „Konečné automaty a jejich problémy s rozhodováním“. IBM Journal of Research and Development. 3 (2): 114. doi:10.1147 / kolo 32.0114. S2CID 3160330.
- ^ Rabin, M. O. (1977). "Složitost výpočtů". Komunikace ACM. 20 (9): 625–633. doi:10.1145/359810.359816.
- ^ Scott, D. S. (1977). „Logické a programovací jazyky“. Komunikace ACM. 20 (9): 634–641. doi:10.1145/359810.359826.
- ^ Floyd, R. W. (1979). „Paradigmata programování“. Komunikace ACM. 22 (8): 455–460. doi:10.1145/359138.359140.
- ^ Milner, R. (1993). „Elements of interaction: Turing award lecture“. Komunikace ACM. 36: 78–89. doi:10.1145/151233.151240.
- ^ Stearns, R. E. (1994). „Přednáška o Turingově ceně: Je čas přehodnotit čas“. Komunikace ACM. 37 (11): 95–99. doi:10.1145/188280.188379.
- ^ Stearns, R. E. (1994). „Přednáška o Turingově ceně: Je čas přehodnotit čas“. Komunikace ACM. 37 (11): 95–99. doi:10.1145/188280.188379.
- ^ Reddy, R. (1996). „Snít o možném snu“. Komunikace ACM. 39 (5): 105–112. doi:10.1145/229459.233436.
- ^ Reddy, R. (1996). „Snít o možném snu“. Komunikace ACM. 39 (5): 105–112. doi:10.1145/229459.233436.
- ^ „Laureát ceny A.M. Turinga - Manuel Blum“. amturing.acm.org. Citováno 4. listopadu 2018.
- ^ „Laureát ceny A.M. Turinga - Amir Pnueli“. amturing.acm.org. Citováno 4. listopadu 2018.
- ^ Vyhlášeni vítězové Turing Award 2007
- ^ „Judea Pearl“. ACM.
- ^ A b Diffie, W .; Hellman, M. (1976). „Nové směry v kryptografii“ (PDF). Transakce IEEE na teorii informací. 22 (6): 644–654. CiteSeerX 10.1.1.37.9720. doi:10.1109 / TIT.1976.1055638.
- ^ „Průkopníci kryptografie získali 2015 ACM A.M. Turing Award“. ACM.
- ^ „Průkopníci kryptografie získali 2015 ACM A.M. Turing Award“. ACM.
- ^ Otcové revoluce Deep Learning dostávají ACM A.M. Turing Award
- ^ Otcové revoluce Deep Learning dostávají ACM A.M. Turing Award
Zdroje
- Hamming, Richard W. (1950). „Detekce chyb a opravy chyb kódy“ (PDF). Technický deník Bell System. 29 (2): 147–160. doi:10.1002 / j.1538-7305.1950.tb00463.x. PAN 0035935. Archivovány od originál (PDF) dne 25. května 2006.
- Ling, San; Xing, Chaoping (2004). Teorie kódování: první kurz. Cambridge: Cambridge University Press. ISBN 978-0-521-82191-9.
- Pless, Vero (1982). Úvod do teorie chybových kódů. New York: Wiley. ISBN 978-0-471-08684-0.
- Morgan, Samuel P. (září 1998). „Richard Wesley Hamming (1915–1998)“ (PDF). Oznámení AMS. 45 (8): 972–977. ISSN 0002-9920. Citováno 30. srpna 2014.