Dies ist eine Liste von Personen, die bahnbrechende Innovationen in der Entwicklung, Gestaltung und Vision dessen, was Computer leisten können, hervorgebracht haben.

Pioniere

Datum der LeistungserbringungPersonLeistung
1977 Adleman, LeonardDer RSA-Algorithmus und die praktische Anwendbarkeit der Public-Key-Kryptographie .
1944 Aiken, HowardKonzipierte und gestaltete den Harvard Mark I mit .
830~ Al-ChwarizmiDer Begriff Algorithmus leitet sich vom Algorismus ab, der von al-Chwarizmi in seinem Buch „ Über die Berechnung mit hindu-arabischen Ziffern“ popularisierten Technik der Arithmetik mit hindu-arabischen Ziffern . [ 1 ] [ 2 ] [ 3 ]
1970, 1989 Allen, Frances E.Entwickelte die Bitvektornotation und Programmablaufdiagramme ; erste weibliche IBM Fellow (1989); erste weibliche Empfängerin des Turing-Preises der ACM (2006).
1954, 1964, 1967 Amdahl, GenePionier der Großrechnertechnik ; entwarf den IBM 704 ; Chefarchitekt des IBM System/360 . [ 4 ] [ 5 ] Formulierte das Amdahlsche Gesetz ; arbeitete auch am IBM 709 und IBM 7030 Stretch . [ 6 ]
1939 Atanasoff, JohnEr baute den ersten elektronischen Digitalrechner, den Atanasoff-Berry-Computer , der allerdings weder programmierbar noch Turing-vollständig war .
1822, 1837 Babbage, CharlesEr entwickelte das Konzept eines programmierbaren Universalrechners, entwarf die Analytical Engine und baute einen Prototyp für einen weniger leistungsstarken mechanischen Rechner ; er wird oft als „Vater des Computers“ bezeichnet.
1973 Bachman, CharlesHerausragende Beiträge zur Datenbanktechnologie . [ 7 ]
1954, 1963 Backus, JohnLeitete das Team, das FORTRAN ( Formula Translation ), die erste praktische höhere Programmiersprache, entwickelte und die Backus-Naur-Formel formulierte , die die formale Syntax der Sprache beschrieb .
850~ Banū MūsāDrei Brüder, die das Buch der genialen Erfindungen verfassten und darin die erste programmierbare Maschine beschrieben, einen automatischen Flötenspieler . [ 8 ]
1960–1964 Baran, PaulEiner von zwei unabhängigen Erfindern des Konzepts der digitalen Paketvermittlung, das in modernen Computernetzwerken, einschließlich des Internets , verwendet wird . [ 9 ] [ 10 ] Veröffentlichte eine Reihe von Kurzdarstellungen und Abhandlungen über die Aufteilung von Informationen in „Nachrichtenblöcke“ und deren Versand über verteilte Netzwerke (1960–1964). [ 11 ] [ 12 ]
1874 Baudot, ÉmileDer französische Telegrafieingenieur patentierte den Baudot - Code , das erste Mittel zur digitalen Kommunikation. [ 13 ] Die Modemgeschwindigkeitseinheit Baud ist nach ihm benannt.
1960er Jahre Bauer, Friedrich L.Er entwickelte zusammen mit Edsger W. Dijkstra den Stack zur Auswertung von Ausdrücken . Er trug maßgeblich dazu bei, die Informatik als eigenständige Wissenschaftsdisziplin zu etablieren und prägte den Begriff Software-Engineering . Seine Beiträge umfassten die numerische Analysis , die Grundlagen der Interpretation und Übersetzung von Programmiersprachen, die Systematik der Programmentwicklung, die Programmtransformation und die Kryptologie .
1953 Bellman, Richard E.Amerikanischer angewandter Mathematiker , der die dynamische Programmierung einführte (1953)
2018 Bengio, Yoshua ; Hinton, Geoffrey ; Lecun, YannKonzeptionelle und technische Durchbrüche, die tiefe neuronale Netze zu einer entscheidenden Komponente des Rechnens gemacht haben [ 14 ].
1989, 1990 Berners-Lee, TimEr erfand das World Wide Web und sendete die erste HTTP-Kommunikation zwischen Client und Server. [ 15 ]
1995 Blum, ManuelBeiträge zu den Grundlagen der Komplexitätstheorie und ihrer Anwendung auf Kryptographie und Programmprüfung [ 16 ]
1981 & 1986 Boehm, BarryEr erfand die parametrische Kostenmodellierung (die er „Konstruktives Kostenmodell“ nannte) für Software und softwareintensive Systeme ( COCOMO ). Er erfand die Spiralmethode der Softwareentwicklung ( Spiralmodell ).
1847, 1854 Boole, GeorgeFormalisierte Boolesche Algebra , die Grundlage für digitale Logik und Informatik.
1966 Böhm, CorradoTheoretisch entwickelte er das Konzept der strukturierten Programmierung .
1947 Booth, KathleenErfand die erste Assemblersprache .
1969, 1978 Brinch Hansen, PerEntwickelte das Multiprogrammiersystem RC 4000 , das das Konzept eines Betriebssystemkerns und die Trennung von Richtlinien und Mechanismen einführte ; im Grunde die erste Mikrokernel- Architektur. [ 17 ] Entwickelte gemeinsam mit Tony Hoare den Monitor und erstellte die erste Monitor-Implementierung. [ 18 ] Implementierte die erste Form von Remote Procedure Calls (RPCs) im RC 4000 [ 17 ] und schlug als Erster RPCs als Strukturierungskonzept für verteiltes Rechnen vor . [ 19 ]
1959, 1995 Brooks, FredManager von IBM System/360- und OS/360 -Projekten; Autor von „Der Mythos des Mannmonats“ .
1908 Brouwer, Luitzen Egbertus JanBegründer der intuitionistischen Logik , die später in Beweisassistenten weit verbreitet war .
1954 Burks, ArthurDie umgekehrte polnische Notation wurde 1954 zusammen mit Don Warren und Jesse Wright vorgeschlagen , ohne dass Konrad Zuse 1941 in seinem Z3 eine frühere Postfixnotation verwendet hatte. Später wurde sie unabhängig davon von Friedrich L. Bauer und Edsger W. Dijkstra für die Verwendung mit Stacks neu erfunden .
1930 Bush, VannevarPionier der analogen Datenverarbeitung; Urheber des Memex -Konzepts, das zur Entwicklung von Hypertext führte.
1951 Caminer, DavidZusammen mit John Pinkerton entwickelte er den LEO-Computer , den ersten Business-Computer, für J. Lyons and Co.
1974 Catmull, EdwinPionier der computergenerierten Bilder (CGI) und 3D-Grafik, der das Texture Mapping , den Catmull-Clark-Subdivision-Surface- Algorithmus (mit Jim Clark ) und den Catmull-Rom-Spline (mit Raphael Rom) entwickelte . Ehemaliger Vizepräsident von Industrial Light & Magic und Mitbegründer sowie ehemaliger Präsident von Pixar.
1978 Cerf, VintZusammen mit Bob Kahn entwarf er das Transmission Control Protocol und das Internet Protocol ( TCP/IP ), die primären Kommunikationsprotokolle des Internets und anderer Computernetzwerke .
1956 Chomsky, NoamMit seinen Arbeiten im Bereich der Linguistik leistete er Beiträge zur Informatik . Er entwickelte die Chomsky-Hierarchie , die die Theorie der Programmiersprachen und andere Bereiche der Informatik direkt beeinflusste .
1936 Church, AlonzoEr leistete grundlegende Beiträge zur theoretischen Informatik, insbesondere zur Entwicklung der Berechenbarkeitstheorie in Form des Lambda-Kalküls . Unabhängig von Alan Turing formulierte er die heute als Church-Turing-These bekannte These und bewies, dass die Prädikatenlogik erster Stufe unentscheidbar ist .
1962 Clark, Wesley A.Er entwarf den LINC , den ersten funktionsfähigen Computer, der verkleinert und für Einzelanwender preisgünstig war (1963). Viele seiner Funktionen gelten als Prototypen wesentlicher Elemente von Personalcomputern.
1981 Clarke, Edmund M.Entwickelte zusammen mit E. Allen Emerson Modellprüfung und formale Verifikation von Software und Hardware .
1987 Cocke, JohnBedeutende Beiträge zum Compilerbau und zur Compilertheorie, zur Architektur großer Systeme und zur Entwicklung von RISC-Computern ( Reduced Instruction Set Computer ).
1970 Codd, Edgar F.Das relationale Modell des Datenmanagements, die theoretische Grundlage relationaler Datenbanken, wurde vorgeschlagen und formalisiert.
1971 Conway, LynnSuperskalare Architektur mit dynamischer Befehlsplanung in beliebiger Reihenfolge und Mehrfachausgabe.
1967 Cook, StephenEr formalisierte den Begriff der NP-Vollständigkeit und inspirierte damit zahlreiche Forschungen in der Komplexitätstheorie.
1965 Cooley, JamesZusammen mit John W. Tukey entwickelte er die schnelle Fourier-Transformation.
1944 Coombs, AllenEntwarf und baute die Mark II Colossus-Computer ; sie lösten die Mark I-Version ab (die das weltweit erste digitale, elektronische Rechengerät war).
1989 Corbató, Fernando J.Pionierarbeit bei der Konzeptionierung und der Entwicklung der universellen, großflächigen, zeit- und ressourcenverteilenden Computersysteme CTSS und Multics
1964–1996 Cray, SeymourEr entwarf eine Reihe von Computern, die jahrzehntelang die schnellsten der Welt waren; und gründete Cray Research, das viele dieser Computer baute; ihm wird die Schaffung der Supercomputer-Industrie zugeschrieben.
1978, 1993 Cutler, David N.Er gilt als bedeutender Pionier im Bereich des Betriebssystemdesigns durch seine Arbeit bei Digital Equipment Corporation und Microsoft , wo er leitender Ingenieur der VMS- bzw. Windows NT- Kernel war.
1962 Dahl, Ole-JohanZusammen mit Kristen Nygaard erfand er die proto-objektorientierte Sprache SIMULA.
1965 Davies, DonaldEiner von zwei unabhängigen Erfindern des Konzepts der digitalen Paketvermittlung, das in modernen Computernetzwerken, einschließlich des Internets , verwendet wird . [ 9 ] [ 20 ] Er entwickelte und benannte das Konzept für Datenkommunikationsnetze (1965–66). [ 21 ] [ 22 ] Viele der Weitverkehrsnetze mit Paketvermittlung der 1970er Jahre, darunter ARPANET , ähnelten seinem ursprünglichen Entwurf von 1965 „in nahezu allen Aspekten“. [ 23 ] [ 24 ]
1976 Diffie, WhitfieldGrundlegende Beiträge zur modernen Kryptographie. Diffie und Hellmans bahnbrechende Arbeit „New Directions in Cryptography“ aus dem Jahr 1976 [ 25 ] führte die Ideen der Public-Key-Kryptographie und der digitalen Signaturen ein, die Grundlage der heute im Internet verwendeten Sicherheitsprotokolle. [ 26 ]
1968 Dijkstra, Edsger W.Er leistete Pionierarbeit bei der Entwicklung des Algorithmus für den kürzesten Pfad ; prägte den Begriff der strukturierten Programmierung ; erfand das Semaphor ; und äußerte den berühmten Vorschlag, die GOTO-Anweisung als schädlich zu betrachten.
1918 Eccles, William und Jordan, Frank WilfredSie patentierten die Eccles-Jordan-Triggerschaltung [ 27 ] , das sogenannte „bistabile Flip-Flop “, einen Baustein aller digitalen Speicherzellen . Diese Schaltung, die aus Elektronenröhren aufgebaut war , war wesentlich für den Erfolg des Colossus-Codeknackercomputers .
1943, 1951 Eckert, J. PresperMit John Mauchly entwarf und baute er ENIAC , den ersten modernen (vollständig elektronischen, Turing-vollständigen) Computer; und UNIVAC I , den ersten kommerziell erhältlichen Computer
1981 Emerson, E. AllenEntwickelte zusammen mit Edmund M. Clarke Modellprüfung und formale Verifikation von Software und Hardware.
1963 Engelbart, DouglasAm bekanntesten ist er für die Erfindung der Computermaus zusammen mit Bill English ; Pionier der Mensch-Computer-Interaktion, dessen Augment-Team Hypertext , vernetzte Computer und Vorläufer von GUIs entwickelte.
1971 Faggin, FedericoEntwickelte den ersten kommerziellen Mikroprozessor, den Intel 4004.
1994 Feigenbaum, EdwardPionierarbeit bei der Entwicklung und dem Bau von groß angelegten Systemen der künstlichen Intelligenz, wodurch die praktische Bedeutung und das kommerzielle Potenzial der Technologie der künstlichen Intelligenz aufgezeigt werden [ 28 ].
1974 Feinler, ElizabethSie leitete das Team, das ein einfaches Textdateiformat für Internet-Hostnamen definierte, aus dem das Domain Name System (DNS) hervorging ; ihre Gruppe wurde zur Namensautorität für die Top-Level-Domains .mil, .gov, .edu, .org und .com.
1943 Blumen, TommyEntwarf und baute den Mark I Colossus Computer , das weltweit erste programmierbare, digitale, elektronische Rechengerät.
1978 Floyd, Robert W.Hatte einen deutlichen Einfluss auf die Methodik der Erstellung effizienter und zuverlässiger Software; hat zur Begründung dieser wichtigen Teilgebiete der Informatik beigetragen : Theorie des Parsing , Semantik von Programmiersprachen, automatische Programmverifikation , automatische Programmsynthese und Analyse von Algorithmen [ 29 ].
1994 Floyd, SallyBegründer des Gebiets des aktiven Warteschlangenmanagements; Miterfinder der Random Early Detection , die in fast allen Internet-Routern verwendet wird.
1879 Frege, GottlobErweiterte aristotelische Logik mit Prädikatenlogik erster Stufe, unabhängig von Charles Sanders Peirce , einem entscheidenden Vorläufer der Berechenbarkeitstheorie ; auch relevant für frühe Arbeiten zur künstlichen Intelligenz und zur logischen Programmierung.
1985 Furber, Stephen Wilson, SophieLeitete die Entwicklung des ARM 32-Bit RISC-Mikroprozessors [ 30 ]
1958, 1961, 1967 Ginsburg, SeymourEr bewies, dass die Minimierung von „ Don't-Care “-Schaltungen nicht zwangsläufig optimale Ergebnisse liefert; er bewies, dass die Programmiersprache ALGOL kontextfrei ist (und verknüpfte damit die Theorie formaler Sprachen mit dem Problem des Compilerbaus ); er entwickelte die AFL-Theorie.
1931 Gödel, KurtEr bewies, dass die Peano-Arithmetik im Prädikatenkalkül erster Stufe nicht gleichzeitig logisch widerspruchsfrei und vollständig sein kann. Church, Kleene und Turing entwickelten auf der Grundlage von Folgerungen aus Gödels Arbeit die Grundlagen der Berechenbarkeitstheorie .
1989 Goldwasser, ShafiSie erfand gemeinsam mit Micali und Rackoff Zero-Knowledge-Beweise ; für diese und andere Arbeiten erhielt sie zusammen mit Micali den Turing Award (2012).
2011 Graham, Susan L.Ausgezeichnet mit der IEEE John von Neumann-Medaille 2009 für „Beiträge zum Entwurf und zur Implementierung von Programmiersprachen und für beispielhafte Verdienste um die Disziplin der Informatik“.
1953 Gray, FrankDer Physiker und Forscher bei den Bell Labs entwickelte den reflektierten Binärcode (RBC) oder Gray-Code . [ 31 ] Grays Methoden werden zur Fehlererkennung und -korrektur in digitalen Kommunikationssystemen eingesetzt, beispielsweise bei QAM in digitalen Teilnehmeranschlussnetzen .
1974, 2005 Gray, JimInnovator bei der Implementierung von Datenbanksystemen und Transaktionsverarbeitung
1986, 1990 Grosz, BarbaraEr schuf das erste computergestützte Diskursmodell , begründete damit das Forschungsfeld und beeinflusste Sprachverarbeitungstechnologien; er entwickelte das SharedPlans -Modell für die Zusammenarbeit in Multiagentensystemen.
1988, 2015 Gustafson, JohnDie Machbarkeit des Parallelrechnens wurde experimentell und theoretisch bewiesen; das Gustafsonsche Gesetz wurde formuliert ; hocheffiziente Formate zur Darstellung reeller Zahlen wurden entwickelt: Unum und Posit.
1971 Hamilton, MargaretEr entwickelte die Konzepte der asynchronen Software, der Prioritätsplanung, des End-to-End-Testings und der Mensch-in-the-Loop-Entscheidungsfähigkeit, wie z. B. Prioritätsanzeigen, die dann die Grundlage für ein extrem zuverlässiges Softwaredesign bildeten.
1950 Hamming, RichardEr schuf die Gebiete des Fehlerkorrekturcodes , des Hamming-Codes , der Hamming-Matrix , des Hamming-Fensters , der Hamming-Zahlen , der Kugelpackung (oder Hamming-Schranke ) und der Hamming-Distanz ; [ 32 ] [ 33 ] etablierte das Konzept des perfekten Codes [ 34 ] [ 35 ].
1956, 1958, 1974 Händler, WolfgangPionierarbeit auf dem Gebiet der Automatentheorie , des Parallelrechnens , der künstlichen Intelligenz , der Mensch-Maschine-Schnittstellen und der Computergrafik ; einer der Hauptarchitekten des Supercomputers TR 4 ; Erfinder der Händler-Diagramme zur Minimierung logischer Funktionen ; Entwickler des Erlanger Klassifikationssystems (ECS) für Parallelrechner
2019 Hanrahan, PatGrundlegende Beiträge zur 3D-Computergrafik mit revolutionärer Auswirkung auf computergenerierte Bilder (CGI) in der Filmproduktion und anderen Anwendungen
1993 Hartmanis, JurisGrundlagen für das Gebiet der Komplexitätstheorie [ 36 ]
1981, 1995, 1999 Hejlsberg, AndersAutor von Turbo Pascal bei Borland ; Chefarchitekt von Delphi ; Designer und leitender Architekt von C# bei Microsoft
1976 Hellman, MartinGrundlegende Beiträge zur modernen Kryptographie. Diffie und Hellmans bahnbrechende Arbeit von 1976, „New Directions in Cryptography“ [ 25 ], führte die Ideen der Public-Key-Kryptographie und der digitalen Signaturen ein, die Grundlage für die heutigen Sicherheitsprotokolle im Internet [ 26 ].
2017 Hennessy, John L.Er leistete Pionierarbeit bei einem systematischen, quantitativen Ansatz für den Entwurf und die Bewertung von Computerarchitekturen mit nachhaltigem Einfluss auf die Mikroprozessorindustrie.
2008, 2012, 2018 Hinton, GeoffreyPopularisierte und ermöglichte den Einsatz künstlicher neuronaler Netze und Deep Learning , die zu den erfolgreichsten Werkzeugen der modernen künstlichen Intelligenz zählen; erhielt den Turing Award (2018) für konzeptionelle und technische Durchbrüche, die tiefe neuronale Netze zu einer kritischen Komponente des Rechnens gemacht haben [ 14 ].
1961, 1969, 1978, 1980 Hoare, CAREntwickelte die formale Sprache Communicating Sequential Processes (CSP), die Hoare-Logik zur Überprüfung der Programmkorrektheit und Quicksort ; grundlegende Beiträge zur Definition und zum Entwurf von Programmiersprachen
1968 Holberton, BettyIch habe den ersten Mainframe-Sortier-Merge-Befehl auf dem Univac geschrieben.
1889 Hollerith, HermanEr gilt weithin als Vater der modernen maschinellen Datenverarbeitung ; seine Erfindung der Lochkarten-Tabelliermaschine markierte den Beginn der Ära der halbautomatischen Datenverarbeitungssysteme .
1986 Hopcroft, JohnGrundlegende Errungenschaften im Entwurf und der Analyse von Algorithmen und Datenstrukturen
1952 Hopper, GraceSie leistete Pionierarbeit auf dem Gebiet der Notwendigkeit höherer Programmiersprachen, die sie als automatische Programmierung bezeichnete ; sie schrieb den AO- Compiler , der die COBOL -Sprache stark beeinflusste.
1997 Hsu Feng-hsiungArbeiten, die zur Entwicklung des Schachcomputers Deep Thought führten; Architekt und Hauptentwickler des IBM Deep Blue Schachcomputers, der 1997 den amtierenden Schachweltmeister Garry Kasparov besiegte.
1952 Huffman, DavidHuffman-Codierung erstellt
1952 Hurd, CuthbertHalf IBM bei der Entwicklung ihres ersten Universalrechners, des IBM 701
1945, 1953 Huskey, HarryBeiträge zur Entwicklung früher Computer, darunter ENIAC, EDVAC, Pilot ACE, SEAC, SWAC und Bendix G - 15 ( letzterer wurde als erster Personalcomputer bezeichnet , da er von einer Person bedient werden konnte) .
1954, 1962 Iverson, KennethEr half bei der Einrichtung und Durchführung des ersten Graduiertenkurses in Informatik (an der Harvard-Universität ); erfand die Programmiersprache APL ; Beiträge zum interaktiven Rechnen
1801 Jacquard, Joseph MarieIch habe den Jacquard-Webstuhl gebaut und vorgeführt , einen programmierbaren, mechanisierten Webstuhl, der über ein aus Lochkarten bestehendes Band gesteuert wird.
1206 Al-JazariEr erfand programmierbare Maschinen, darunter programmierbare humanoide Roboter [ 37 ] und die Schlossuhr , eine astronomische Uhr , die als erster programmierbarer Analogrechner gilt [ 38 ].
1976–1999 Joy, BillEr entwickelte die Texteditoren ex und vi , die erste Version der Berkeley Software Distribution , die C-Shell und einen leistungsstarken TCP/IP-Stack. Später gründete er Sun Microsystems und war an der Entwicklung der SPARC -Architektur und des Betriebssystems Solaris beteiligt. Außerdem verfasste er die ursprüngliche Java Language Specification für die Programmiersprache Java und leitete die Entwicklung von Jini, einem Framework, das es Geräten ermöglicht, sich in ein Netzwerk einzubinden und ihre Dienste spontan anzubieten. Er ist auch Namensgeber des Joyschen Gesetzes .
1989 Kahan, WilliamGrundlegende Beiträge zur numerischen Analysis ; führender Experte für Gleitkommaarithmetik ; engagiert für die „Sicherheit numerischer Berechnungen weltweit“
1978 Kahn, BobEntwickelte das Transmission Control Protocol und das Internet Protocol ( TCP/IP ), die primären Kommunikationsprotokolle des Internets und anderer Computernetzwerke .
1952, 1953 Karnaugh, MauriceSchöpfer des Karnaugh-Diagramms , einer Variation des Veitch-Diagramms von Edward Veitch ; Wiederentdeckung des viel früheren logischen Diagramms von Allan Marquand zur Minimierung logischer Funktionen
1985 Karp, Richard M.Beiträge zur Algorithmentheorie, einschließlich der Entwicklung effizienter Algorithmen für Netzwerkflüsse und andere kombinatorische Optimierungsprobleme; Identifizierung der Polynomzeit-Berechenbarkeit mit dem intuitiven Begriff der algorithmischen Effizienz; Beitrag zur Theorie der NP-Vollständigkeit
1973 Karpinski, JacekEntwickelte den ersten Differenzialanalysator mit Transistoren; entwickelte einen der ersten Algorithmen für maschinelles Lernen zur Zeichen- und Bilderkennung; erfand einen der ersten Minicomputer, den K-202.
1970~ Kay, AlanEr leistete Pionierarbeit bei vielen Ideen, die den Grundstein für objektorientierte Programmiersprachen legten; leitete das Team, das Smalltalk entwickelte ; leistete grundlegende Beiträge zum Personal Computing.
1948–1990er Jahre Kilburn, TomGemeinsam mit Freddie Williams arbeitete er an der Williams-Kilburn-Röhre und entwickelte an der Universität Manchester den weltweit ersten elektronischen Speicherprogrammrechner, den Manchester Baby. Seine Arbeit trug maßgeblich dazu bei, Manchester und Großbritannien an die Spitze der aufstrebenden Informatik zu katapultieren. Er wirkte außerdem an der Entwicklung von Atlas mit, einem der leistungsstärksten Supercomputer der 1960er Jahre.
1972–1994 Kildall, GaryEr führte die Theorie der Datenflussanalyse zur Optimierung von Compilern ein (globale Ausdrucksoptimierung, Kildall-Methode ). Er arbeitete an Befehlssatzemulatoren ( INTERP ), entwickelte eine innovative Software-Relokationsmethode ( Seitengrenzenrelokation ) und legte den Grundstein für die Konzepte der Binärrekompilation ( XLT86 ). Er entwickelte die erste höhere Programmiersprache und den ersten Compiler für Mikrocomputer ( PL/M ) sowie das erste weit verbreitete Betriebssystem für Mikrocomputer ( CP/M ). Er erfand das Konzept einer Hardware-Abstraktionsschicht namens BIOS , wodurch er konzeptionell die Grundlage für alle Festplattenbetriebssysteme auf PCs legte . Er arbeitete an Pufferungsverfahren für Diskettenspuren , Read -Ahead- Algorithmen, virtuellen Festplattenlaufwerken und Dateisystem- Caching . Er entwickelte die erste Computerschnittstelle für Videodiscs und leistete Pionierarbeit im Bereich der CD-ROM- Dateisysteme. Zudem veröffentlichte er die erste Enzyklopädie für Computer ( The Electronic Encyclopedia ). Pionierarbeit bei einem modularen PBX- Kommunikationssystem, das Festnetzanschlüsse mit Mobiltelefonen ( Intelliphone ) integriert und die Fernverbindung mit Haushaltsgeräten ermöglicht .
1957 Kirsch, Russell GrayWährend seiner Tätigkeit für das Nationale Normungsinstitut (NBS) nutzte Kirsch einen neu entwickelten Bildscanner , um das erste digitale Foto zu scannen und zu speichern . [ 39 ] Sein gescanntes Foto seines drei Monate alten Sohnes wurde vom Magazin Life zu einem der „100 Fotos, die die Welt veränderten“ gekürt.
1961–1970er Jahre Kleinrock, LeonardIn seiner Dissertation von 1961–1962, die 1964 als Buch veröffentlicht wurde, leistete er Pionierarbeit bei der Anwendung der Warteschlangentheorie zur Modellierung von Verzögerungen in Nachrichtenvermittlungsnetzen. [ 40 ] In den 1970er Jahren wandte er die Warteschlangentheorie zur Modellierung der Leistungsfähigkeit von Paketvermittlungsnetzen an. Seine mathematischen Erkenntnisse befassten sich mit der Berechnung von Wartezeiten, Warteschlangenlängen und Durchsatz in Paketnetzen und ermöglichten so die Modellierung von Datenfluss, Verzögerungen und Überlastung in Computernetzwerken. [ 41 ] [ 42 ] Seine theoretischen Arbeiten zum hierarchischen Routing Ende der 1970er Jahre, die er gemeinsam mit seinem Studenten Farouk Kamoun durchführte, sind bis heute von grundlegender Bedeutung für den Betrieb des Internets. [ 43 ] [ 44 ]
1936, 1951 Kleene, Stephen ColeEr entwickelte den Herbrand-Gödel-Begriff allgemeiner rekursiver Funktionen und bewies deren Äquivalenz zum Lambda-Kalkül von Church , den er mit erweiterte und damit wichtige Grundlagen der Berechenbarkeitstheorie schuf . [ 45 ] [ 46 ] Er leistete Pionierarbeit auf dem Gebiet der Automatentheorie und führte reguläre Ausdrücke zur Beschreibung regulärer Sprachen ein . [ 47 ] [ 48 ]
1968, 1989 Knuth, DonaldEr schrieb „The Art of Computer Programming“ und entwickelte TeX . Er prägte den Begriff „Algorithmenanalyse“ und leistete wichtige Beiträge zu diesem Gebiet, unter anderem durch die Popularisierung der Big-O-Notation .
1990–1993 Lam, Simon S.Lam wurde 2023 von der Internet Society in die Internet Hall of Fame aufgenommen , weil er 1991 Secure Sockets (SSL) erfunden und 1993 die erste Secure-Sockets-Schicht namens SNP implementiert hatte. [ 49 ] Bereits 1990 entwickelte er die Idee einer neuen Sicherheitsschicht im Internetprotokollstapel. Dadurch mussten Anwendungsprogrammierer nicht mehr so ​​viel über die Implementierungsdetails der Sicherheit wissen. Die Schnittstelle dieser Schicht ermöglichte zudem zukünftige Implementierungsänderungen. Lams Idee einer Schicht mit einer Secure-Sockets-Schnittstelle für Anwendungen war neuartig und ein radikaler Bruch mit der damaligen Sicherheitsforschung für Internetanwendungen (z. B. MIT Kerberos, 1988–1992). SNP wurde für Internetanwendungen im Allgemeinen entwickelt. Die nachfolgenden Secure-Sockets-Schichten SSL und TLS , die Jahre später für kommerzielle Browser entwickelt wurden, basierten auf derselben Architektur und den Kernideen von SNP. Heute wird TLS 1.3 nicht nur für alle E-Commerce- Anwendungen (Banking, Shopping usw.) im WWW verwendet , sondern auch für E-Mails und viele andere Internetanwendungen.
1974, 1978 Lamport, LeslieEntwickelte Algorithmen zur Lösung vieler grundlegender Probleme in verteilten Systemen (z. B. den Bäckereialgorithmus ). Erstellte das Konzept einer logischen Uhr , die die Synchronisierung zwischen verteilten Entitäten auf Basis der Ereignisse ermöglicht, über die sie kommunizieren. Erschuf LaTeX .
1972 Lampson, Butler W.Entwicklung verteilter, persönlicher Computerumgebungen und der Technologie zu deren Implementierung: Workstations , Netzwerke , Betriebssysteme , Programmiersysteme, Displays , Sicherheit und Dokumentenveröffentlichung .
1964–1966 Landin, PeterEr nutzte den Lambda-Kalkül , um die Semantik von Programmiersprachen formal zu spezifizieren, und entwickelte eine frühe funktionale Programmiersprache namens ISWIM .
1951 Lebedew, Sergei AlexejewitschEntwarf unabhängig den ersten elektronischen Computer der Sowjetunion, MESM , in Kiew, Ukraine.
1670~ Leibniz, GottfriedEr leistete Fortschritte in der symbolischen Logik, wie beispielsweise mit dem Calculus ratiocinator , die Gottlob Frege stark beeinflussten . Er nahm spätere Entwicklungen im Prädikatenkalkül erster Stufe vorweg , die für die theoretischen Grundlagen der Informatik von entscheidender Bedeutung waren.
1960 Licklider, JCREr begann die Erforschung der Mensch-Computer-Interaktion, was zu zahlreichen Fortschritten bei Computerschnittstellen sowie in der Kybernetik und künstlichen Intelligenz führte . Er zählt zu den Pionieren des Internets und gilt als Initiator und Schlüsselfigur bei der Entstehung der Idee des ARPANET und damit des Internets .
1987 Liskov, BarbaraEntwickelte das Liskovsche Substitutionsprinzip , das die semantische Interoperabilität von Datentypen in einer Hierarchie gewährleistet.
1300~ Llull, RamonEr entwarf mehrere Maschinen zur symbolischen Repräsentation und leistete Pionierarbeit bei der Entwicklung von Konzepten der symbolischen Repräsentation und Manipulation zur Wissensgenerierung – beides hatte einen großen Einfluss auf Leibniz .
1852 Lovelace, AdaDie englische Mathematikerin und Schriftstellerin ist vor allem für ihre Arbeit an Charles Babbages geplanter mechanischer Universalmaschine, der Analytical Engine , bekannt . Sie erkannte als Erste das Anwendungsspektrum der Maschine jenseits reiner Berechnungen und entwickelte den ersten Algorithmus, der für eine solche Maschine konzipiert war. Daher gilt sie oft als diejenige, die das volle Potenzial einer „Rechenmaschine“ erkannte und als erste Computerprogrammiererin.
1909 Ludgate, PercyCharles Babbage (1843) und Percy Ludgate (1909) entwarfen die ersten beiden analytischen Maschinen der Geschichte. Ludgates Maschine nutzte die Multiplikation als Grundlage (unter Verwendung seiner eigenen diskreten irischen Logarithmen ), verfügte über den ersten Multiplikator-Akkumulator (MAC), nutzte als erste einen MAC zur Durchführung von Divisionen, speicherte Zahlen als Verschiebungen von Stäben in Shuttles und wies mehrere weitere neuartige Merkmale auf, unter anderem zur Programmsteuerung.
1971 Martin-Löf, PerEr veröffentlichte einen frühen Entwurf der Typentheorie, auf der viele Beweisassistenten aufbauen.
1943, 1951 Mauchly, JohnGemeinsam mit J. Presper Eckert entwarf und baute er den ENIAC , den ersten modernen (vollelektronischen, Turing-vollständigen) Computer, und den UNIVAC I , den ersten kommerziell erhältlichen Computer. Außerdem arbeitete er mit Grace Hopper und Jean Bartik an den Computern BINAC (1949), EDVAC (1949) und UNIVAC (1951) , um frühe Computer mit speicherprogrammierbaren Systemen zu entwickeln .
1958 McCarthy, JohnEr erfand LISP , eine funktionale Programmiersprache .
1956, 2012 McCluskey, Edward J.Grundlegende Beiträge, die die Entwicklung und das Testen digitaler Systeme geprägt haben, darunter der erste Algorithmus zur digitalen Logiksynthese, die Quine-McCluskey-Logikminimierungsmethode.
1986 Meyer, BertrandEntwicklung des Designs im Rahmen eines Auftrags in Form der Programmiersprache Eiffel .
2012 Micali, SilvioFür bahnbrechende Arbeiten, die die komplexitätstheoretischen Grundlagen für die Wissenschaft der Kryptographie legten und dabei neue Methoden zur effizienten Verifikation mathematischer Beweise in der Komplexitätstheorie entwickelten.
1991 Milner, Robin1) LCF , die Mechanisierung von Scotts Logik berechenbarer Funktionen, wahrscheinlich das erste theoretisch fundierte und dennoch praktische Werkzeug für die maschinelle Beweiskonstruktion ; 2) ML , die erste Sprache mit polymorpher Typinferenz und einem typsicheren Ausnahmebehandlungsmechanismus ; 3) CCS , eine allgemeine Theorie der Nebenläufigkeit . Darüber hinaus formulierte und entwickelte er die vollständige Abstraktion , die Untersuchung des Verhältnisses zwischen operationeller und denotationaler Semantik , maßgeblich weiter . [ 50 ]
1963 Minsky, MarvinMitbegründer des Labors für Künstliche Intelligenz am Massachusetts Institute of Technology , Autor mehrerer Texte über KI und Philosophie. Kritiker des Perzeptrons .
1968 Moore, Charles H.Erfinder der Programmiersprache Forth .
2008 Nakamoto, SatoshiDer oder die anonymen Schöpfer von Bitcoin , der ersten Peer-to-Peer -Digitalwährung . Nakamotos Whitepaper aus dem Jahr 2008 führte das Konzept der Blockchain ein , einer Datenbankstruktur, die volles Vertrauen in das dezentrale und verteilte öffentliche Transaktionsbuch der Kryptowährung ermöglicht. [ 51 ]
1934, 1938 Nakashima AkiraEin Ingenieur des NEC führte in Veröffentlichungen von 1934 bis 1936 die Theorie der Schaltkreise ein und legte damit den Grundstein für den Entwurf digitaler Schaltungen , für Digitalrechner und andere Bereiche der modernen Technologie.
1960 Naur, PeterIch habe den überarbeiteten ALGOL 60- Bericht bearbeitet und die Backus-Naur-Form eingeführt.
1945 Neumann, John vonEr entwickelte die Von-Neumann-Architektur, auf der die meisten modernen Computer basieren.
1956 Newell, AllenZusammen mit JC Shaw [ 52 ] und Herbert Simon schrieben die drei den Logic Theorist, das erste echte KI-Programm, in der ersten Listenverarbeitungssprache, das LISP beeinflusste.
1943 Newman, MaxEr initiierte die Produktion der Colossus-Computer in Bletchley Park . Nach dem Zweiten Weltkrieg gründete er das Computing Machine Laboratory an der Universität Manchester , wo er das Projekt ins Leben rief, das den weltweit ersten speicherprogrammierbaren Computer , den Manchester Baby , baute .
1962 Nygaard, KristenZusammen mit Ole-Johan Dahl erfand er die proto-objektorientierte Sprache SIMULA .
1642 Pascal, BlaiseErfand den mechanischen Rechner .
5. Jahrhundert v. Chr. PāṇiniErfand die erste formale Grammatik . Gab auch frühe Formen der Backus-Naur-Form [ 53 ].
2017 Patterson, DavidFür seine Pionierarbeit bei der Entwicklung eines systematischen, quantitativen Ansatzes zur Konstruktion und Bewertung von Computerarchitekturen mit nachhaltigem Einfluss auf die Mikroprozessorindustrie.
2011 Pearl, JudäaGrundlegende Beiträge zur künstlichen Intelligenz durch die Entwicklung eines Kalküls für probabilistisches und kausales Schließen. [ 54 ]
1952 Perlis, AlanIm Projekt Whirlwind war er Mitglied des Teams, das die Programmiersprache ALGOL entwickelte , und erster Empfänger des Turing-Preises.
1985 Perlman, RadiaWährend ihrer Tätigkeit für die Digital Equipment Corporation erfand sie das Spanning Tree Protocol (STP), das für den Betrieb von Netzwerkbrücken unerlässlich ist . Sie leistete umfangreiche und innovative Forschungsarbeit, insbesondere im Bereich Verschlüsselung und Netzwerktechnik. 2007 erhielt sie unter anderem den USENIX Lifetime Achievement Award.
1964 Perotto, Pier GiorgioDer Computerdesigner von Olivetti entwarf einen der ersten elektronischen programmierbaren Taschenrechner , den Programma 101 [ 55 ] [ 56 ] [ 57 ].
1932 Péter, RózsaEr veröffentlichte eine Reihe von Aufsätzen, die die Rekursionstheorie als eigenständiges Gebiet der mathematischen Forschung begründeten und damit den Grundstein für die theoretische Informatik legten.
1995 Picard, RosalindEr gründete das affektive Computing und legte damit den Grundstein dafür, Computern emotionale Intelligenz zu verleihen.
1996 Pnueli, AmirEinführung der temporalen Logik in die Informatik und herausragende Beiträge zur Programm- und Systemverifikation . [ 58 ]
1936 Post, Emil L.Er entwickelte die Post-Maschine als Berechnungsmodell unabhängig von Turing. Bekannt ist er auch für die Entwicklung von Wahrheitstabellen , das Post-Korrespondenzproblem, das in der Rekursionstheorie verwendet wird, sowie für den Beweis des sogenannten Satzes von Post .
1976 Rabin, Michael O.Die gemeinsame Arbeit „Finite Automata and Their Decision Problems“ [ 59 ] führte die Idee nichtdeterministischer Maschinen ein , die sich als äußerst wertvolles Konzept erwiesen hat. Ihre (Scott & Rabin) klassische Arbeit war eine ständige Inspirationsquelle für nachfolgende Arbeiten auf diesem Gebiet. [ 60 ] [ 61 ]
1994 Reddy, RajPionierarbeit bei der Entwicklung und dem Bau von groß angelegten Systemen der künstlichen Intelligenz, wodurch die praktische Bedeutung und das potenzielle kommerzielle Potenzial der Technologie der künstlichen Intelligenz aufgezeigt werden. [ 28 ]
1967–2011 Ritchie, DennisZusammen mit Ken Thompson entwickelte er bei den Bell Labs die Programmiersprache C und das Computerbetriebssystem Unix .
1977 Rivest, RonEin genialer Beitrag , der die Public-Key-Kryptographie in der Praxis nutzbar macht .
1958–1960 Rosen, SaulEr entwarf die Software des ersten transistorbasierten Computers. Außerdem beeinflusste er die Programmiersprache ALGOL.
1975, 1985 Rubin, PhilipEntwickelte wegweisende computergestützte Sprachsynthesesysteme für die experimentelle Erforschung der Sprachwahrnehmung und -produktion, einschließlich Artikulationssynthese und Sinuswellensynthese . Entwickelte außerdem das Signalverarbeitungssystem HADES , einen Vorgänger von MATLAB .
1910 Russell, BertrandMit seinen Arbeiten zur mathematischen Logik (z. B. Wahrheitsfunktion ) leistete er Beiträge zur Informatik . Er führte den Begriff der Typentheorie ein . Außerdem führte er (gemeinsam mit Alfred North Whitehead ) in seinem Werk „ Principia Mathematica“ das Typensystem ein .
1975 Salton, GerardEin Pionier der automatischen Informationswiedergewinnung , der das Vektorraummodell und den invertierten Index vorschlug .
1962 Sammet, Jean E.Sie entwickelte die Programmiersprache FORMAC . Außerdem schrieb sie 1969 als Erste ausführlich über die Geschichte und Kategorisierung von Programmiersprachen und wurde 1974 die erste weibliche Präsidentin der Association for Computing Machinery .
1880, 1898 Sanders Peirce, CharlesEr bewies die funktionale Vollständigkeit des NOR-Gatters . Jahrzehnte vor Claude Shannon schlug er die Implementierung von Logik mittels elektrischer Schaltungen vor . Unabhängig von Gottlob Frege , einem entscheidenden Vorläufer der Berechenbarkeitstheorie , erweiterte er die aristotelische Logik um den Prädikatenkalkül erster Stufe . Seine Arbeit war auch für frühe Forschungen zur künstlichen Intelligenz und zur logischen Programmierung relevant .
1976 Scott, DanaDie gemeinsame Arbeit „Finite Automata and Their Decision Problems“ [ 59 ] führte die Idee nichtdeterministischer Maschinen ein , die sich als äußerst wertvolles Konzept erwiesen hat. Ihre (Scott & Rabin) klassische Arbeit war eine ständige Inspirationsquelle für nachfolgende Arbeiten auf diesem Gebiet. [ 60 ] [ 61 ]
1977 Shamir, AdiEin genialer Beitrag , der die Public-Key-Kryptographie in der Praxis nutzbar macht .
1937, 1948 Shannon, ClaudeEr begründete die Informationstheorie und legte den Grundstein für die praktische Entwicklung digitaler Schaltungen.
1971 Shima MasatoshiEr entwarf den Intel 4004 , den ersten kommerziellen Mikroprozessor , [ 62 ] [ 63 ] sowie die Mikroprozessoren Intel 8080 , Zilog Z80 und Zilog Z8000 und die Chips Intel 8259 , 8255 , 8253 , 8257 und 8251. [ 64 ]
1997 bis 1999 Siegel, NeilEr gilt als der erste dokumentierte Entwickler einer vollständig funktionsfähigen Anpassung des Internets an einen vollständig gerouteten drahtlosen Betrieb sowie vieler wichtiger/verwandter Technologien, die heute in solchen drahtlosen Geräten weit verbreitet sind .
2007 Sifakis, JosephDie Entwicklung des Modellprüfens zu einer hocheffektiven Verifikationstechnologie, die in der Hardware- und Softwareindustrie weite Verbreitung findet. [ 65 ]
1956, 1957 Simon, Herbert A.Ein Politikwissenschaftler und Ökonom, der Pionierarbeit auf dem Gebiet der künstlichen Intelligenz leistete . Mitentwickler der Programme Logic Theory Machine und General Problem Solver .
1953 Spärck Jones, KarenEiner der Pioniere der Informationswiedergewinnung und der Verarbeitung natürlicher Sprache .
1972 Stallman, RichardStallman rief im September 1983 das GNU-Projekt ins Leben , um ein Unix-ähnliches Computerbetriebssystem zu entwickeln, das vollständig aus freier Software besteht. Damit begründete er auch die Freie-Software-Bewegung .
1993 Stearns, Richard E.Grundlagen für das Gebiet der Komplexitätstheorie . [ 36 ]
1981 Stepanov, AlexanderStepanov zählt zu den Pionieren der generischen Programmierung und ist außerdem der Hauptentwickler und -implementierer der C++ Standard Template Library .
1937, 1941 Stibitz, George R.Er gilt als Vater des modernen digitalen Rechnens und der Fernarbeit . Er prägte den Begriff „digital“. Er entdeckte den reflektierten Binärcode, bekannt als Gray-Code . Auch der Excess-3-Code ( Stibitz-Code ) ist nach ihm benannt.
1982 Stonebraker, MichaelEr revolutionierte den Bereich der Datenbankmanagementsysteme (DBMS) und gründete mehrere erfolgreiche Datenbankunternehmen.
1979 Stroustrup, BjarneErfand C++ bei den Bell Labs.
1963 Sutherland, IvanAutor von Sketchpad , dem Vorläufer moderner computergestützter Zeichenprogramme (CAD) und einem der frühen Beispiele objektorientierter Programmierung .
1986 Tarjan, RobertGrundlegende Errungenschaften im Bereich des Entwurfs und der Analyse von Algorithmen und Datenstrukturen.
1973 Thacker, Charles P.Pionierarbeit bei der Entwicklung und Realisierung des Xerox Alto , des ersten modernen Personalcomputers, sowie darüber hinaus Beiträge zum Ethernet und zum Tablet-PC.
1972, 1973 Thi, André Truong Trong und François GernelleErfindung des Micral N , des ersten kommerziellen, nicht als Bausatz erhältlichen Personalcomputers auf Mikroprozessorbasis .
1967 Thompson, KenEr entwickelte das Unix -Betriebssystem, die Programmiersprache B , das Plan-9- Betriebssystem, die erste Maschine, die im Schach eine Meisterwertung erreichte, und die UTF-8- Kodierung bei den Bell Labs sowie die Programmiersprache Go bei Google.
1993 Toh, Chai KeongErschuf mobile Ad-hoc-Netzwerke; Implementierte 1998 das erste funktionierende drahtlose Ad-hoc-Netzwerk von Laptops unter Verwendung des Betriebssystems Linux, Lucent WaveLan 802.11-Funkgeräten und eines neuen verteilten Routing-Protokolls, das für TCP/UDP/IP transparent ist.
1912, 1914 Torres Quevedo, Leonardo1912 baute Leonardo Torres Quevedo El Ajedrecista ( den Schachspieler ), eine der ersten autonomen Schachmaschinen. Im Gegensatz zu den von Menschen bedienten Maschinen „ Der Türke“ und „Ajeeb“ war El Ajedrecista ein echter Automat, der Schach ohne menschliche Steuerung spielen konnte. Er spielte ein Endspiel mit drei Figuren und zog automatisch einen weißen König und einen Turm, um den vom menschlichen Gegner gezogenen schwarzen König schachmatt zu setzen. In seinem 1914 erschienenen Werk „Essays on Automatics“ formulierte Torres Quevedo die Grundlagen eines neuen Zweigs der Ingenieurwissenschaften: die Automatisierung . Er entwarf außerdem eine elektromechanische Version von Babbages Analytical Engine, die die Gleitkommaarithmetik einführte .
1991 Torvalds, LinusEr entwickelte die erste Version des Linux - Kernels und das verteilte Versionskontrollsystem Git .
1965 Tukey, John W.Zusammen mit James Cooley entwickelte er die schnelle Fourier-Transformation . Er prägte den Begriff „Bit“. [ 66 ]
1936 Turing, AlanEr leistete mehrere grundlegende Beiträge zur theoretischen Informatik, darunter das Turingmaschinen -Rechenmodell, die Konzeption des gespeicherten Programms und den Entwurf des Hochgeschwindigkeits -ACE- Designs. Unabhängig von Alonzo Church formulierte er die Church-Turing-These und bewies, dass die Prädikatenlogik erster Stufe unentscheidbar ist . Er untersuchte auch die philosophischen Fragen der künstlichen Intelligenz und schlug den heute als Turing-Test bekannten Test vor .
2010 Tapfer, LeslieBahnbrechende Beiträge zur Theorie der Berechenbarkeit , einschließlich der Theorie des wahrscheinlich annähernd korrekten ( PAC ) Lernens, der Komplexität der Aufzählung und der algebraischen Berechnung sowie der Theorie des parallelen und verteilten Rechnens.
1875, 1875 Verea, RamónEntwarf und patentierte den Verea Direct Multiplier , den ersten mechanischen Direktmultiplikator.
1950~ Wang AnLeistete entscheidende Beiträge zur Entwicklung von Magnetkernspeichern .
1955, 1960er Jahre, 1974 Ware, WillisMitentwickler von JOHNNIAC . Vorsitzender des Komitees, das den Verhaltenskodex für faire Informationspraktiken entwickelte und zum Datenschutzgesetz von 1974 führte . Stellvertretender Vorsitzender der Kommission zur Untersuchung des Datenschutzes.
1964, 1966 Weizenbaum, JosephEiner der Väter der modernen künstlichen Intelligenz . Schöpfer des ELIZA -Programms, das mithilfe von natürlicher Sprachverarbeitung Gespräche mit einem Psychologen simuliert .
1968 Wijngaarden, Adriaan vanEntwickler der W-Grammatik, die erstmals in der Definition von ALGOL 68 verwendet wurde
1949 Wilkes, MauriceEr baute den ersten praktischen speicherprogrammierbaren Computer ( EDSAC ), der fertiggestellt wurde, und ihm werden die Ideen für mehrere Konstrukte höherer Programmiersprachen zugeschrieben.
1970 Wilkinson, James H.Seine Forschungen im Bereich der numerischen Analysis dienten der Erleichterung des Einsatzes von Hochgeschwindigkeits-Digitalrechnern; besondere Anerkennung erhielt er für seine Arbeiten zu Berechnungen in der linearen Algebra und zur „rückwärtsgerichteten“ Fehleranalyse. [ 67 ]
1970, 1978 Wirth, NiklausEntwarf die Programmiersprachen Pascal , Modula-2 und Oberon .
2000 Yao, AndrewGrundlegende Beiträge zur Theorie der Berechenbarkeit , einschließlich der auf Komplexität basierenden Theorie der Pseudozufallszahlengenerierung , Kryptographie und Kommunikationskomplexität .
1955–1958 Zemanek, HeinzEntwickelte einen frühen, vollständig transistorisierten Computer, den Mailüfterl . Spielte eine entscheidende Rolle bei der Erstellung der formalen Definition der Programmiersprache PL/I .
1938, 1945 Zuse, KonradEr baute den ersten frei programmierbaren Digitalrechner, den Z1 . 1941 konstruierte er den ersten funktionsfähigen programmgesteuerten Rechner, den Z3. [ 68 ] Der Z3 verwendete bereits die später als umgekehrte polnische Notation bekannte Methode und wurde 1998 als Turing-vollständig bewiesen. Er produzierte den weltweit ersten kommerziellen Rechner, den Z4 . Außerdem entwarf er die erste höhere Programmiersprache, Plankalkül .

~ Mit einer Tilde gekennzeichnete Einträge sind ungefähre Datumsangaben.

Siehe auch

Referenzen

  1. ^ Mario Tokoro (Hrsg.) (2010). „9“. e: Vom Verständnis der Prinzipien zur Problemlösung . IOS Press. S.  223–224 . ISBN 978-1-60750-468-9Die
  2. ^ Christopher Moore; Stephan Mertens (2011). The Nature of Computation . Oxford University Press. S. 36. ISBN 978-0-19-162080-5Die
  3. ^ AP Ershov, Donald Ervin Knuth (Hrsg.). (1981). Algorithmen in der modernen Mathematik und Informatik: Tagungsband, Urgench, Usbekische SSR, 16.–22. September 1979. Springer. ISBN 978-3-540-11157-3Die
  4. ^ „UW-Absolvent Dr. Gene Amdahl, Pionier des Großrechner-Computing, stirbt mit 92 Jahren“ . Physikalisches Institut . 12.11.2015 . Abgerufen am 20.09.2024 .
  5. ^ „Das IBM System/360 | IBM“ . www.ibm.com . Abgerufen am 20.09.2024 .
  6. ^ „GENE M. AMDAHL 1922–2015“ . Website der National Academy of Engineering . Abgerufen am 20.09.2024 .
  7. ^ Bachman, CW (1973). „Der Programmierer als Navigator“ . Communications of the ACM . 16 (11): 653–658 . doi : 10.1145/355611.362534 .
  8. ^ Koetsier, Teun (2001). „Zur Vorgeschichte programmierbarer Maschinen: Musikalische Automaten, Webstühle, Rechner“. Mechanism and Machine Theory . 36 (5): 589–603 . doi : 10.1016/S0094-114X(01)00005-2 .
  9. ^ a b „Die wahre Geschichte, wie das Internet so verwundbar wurde“ . Washington Post . 30.05.2015. Archiviert vom Original am 30.05.2015 . Abgerufen am 18.02.2020 . Historiker schreiben bahnbrechende Erkenntnisse dem walisischen Wissenschaftler Donald W. Davies und dem amerikanischen Ingenieur Paul Baran zu.
  10. ^ „Details zum Mitglied – Paul Baran“ . National Inventors Hall of Fame. Archiviert vom Original am 06.09.2017 . Abgerufen am 06.09.2017 .
  11. ^ Baran, Paul (2002). „Die Anfänge der Paketvermittlung: einige grundlegende Konzepte“ (PDF) . IEEE Communications Magazine . 40 (7): 42–48 . Bibcode : 2002IComM..40g..42B . doi : 10.1109/MCOM.2002.1018006 . ISSN 0163-6804 . Die Grundlagen dieser Arbeit wurden im Wesentlichen bis 1961 gelegt und 1962 detailliert ausgearbeitet und schriftlich festgehalten. Die Idee des Hot-Potato-Routings stammt aus dem späten Jahr 1960. 
  12. ^ Monica, 1776 Main Street, Santa, Kalifornien 90401-3208. „Paul Baran and the Origins of the Internet“ . www.rand.org . Abgerufen am 15. Februar 2020 .{{cite web}}: CS1 Wartung: numerische Namen: Autorenliste ( Link )
  13. ^ „Jean-Maurice-Emile Baudot. Système de télégraphie rapide, Juni 1874. Brevet 103.898; Quelle: Archiv Institut National de la Propriété Industrielle (INPI)“ . Archiviert vom Original am 16.12.2017 . Abgerufen am 21.07.2019 .
  14. ^ a b Väter der Deep-Learning-Revolution erhalten den ACM AM Turing Award
  15. ^ McPherson, Stephanie Sammartino (01.09.2009). Tim Berners-Lee: Erfinder des World Wide Web . Twenty-First Century Books. ISBN 978-0-8225-7273-2Die
  16. ^ „AM Turing Award Laureate – Manuel Blum“ . amturing.acm.org . Abgerufen am 4. November 2018 .
  17. ^ a b „Per Brinch Hansen • IEEE Computer Society“ . Computer.org . 12.11.2008 . Abgerufen am 15.12.2015 .
  18. ^ Brinch Hansen, Per (April 1993). „Monitors and Concurrent Pascal: a personal history“ (PDF) . 2. ACM-Konferenz zur Geschichte der Programmiersprachen .
  19. ^ Brinch Hansen, Per (November 1978). „Verteilte Prozesse: Ein Konzept der nebenläufigen Programmierung“ (PDF) . Communications of the ACM . 21 (11): 934–941 . CiteSeerX 10.1.1.107.3108 . doi : 10.1145/359642.359651 . S2CID 11610744 .  
  20. ^ „Details zum Mitglied – Donald Watts Davies“ . National Inventors Hall of Fame. Archiviert vom Original am 06.09.2017 . Abgerufen am 06.09.2017 .
  21. ^ Roberts, Dr. Lawrence G. (November 1978). „Die Entwicklung der Paketvermittlung“ . Archiviert vom Original am 24.03.2016 . Abgerufen am 05.09.2017 . Fast unmittelbar nach dem Treffen von 1965 entwarf Donald Davies die Details eines Store-and-Forward-Paketvermittlungssystems.Roberts , Dr. Lawrence G. (Mai 1995). „Das ARPANET und Computernetzwerke“ . Archiviert vom Original am 24.03.2016 . Abgerufen am 13.04.2016 . Im Juni 1966 verfasste Davies ein zweites internes Papier mit dem Titel „Vorschlag für ein digitales Kommunikationsnetzwerk“. Darin prägte er den Begriff „Paket“ – einen kleinen Teil der Nachricht, die der Benutzer senden möchte – und führte das Konzept eines „Schnittstellencomputers“ ein, der zwischen dem Benutzergerät und dem Paketnetzwerk positioniert sein sollte.
  22. ^ Hempstead, C.; Worthington, W. (Hrsg.) (2005). Encyclopedia of 20th-Century Technology . Band 1, A– L. Routledge. S. 574. ISBN 9781135455514Es handelte sich um ein wegweisendes Treffen, da der NPL-Vorschlag veranschaulichte, wie die Kommunikation für ein solches ressourcenverteilendes Computernetzwerk realisiert werden könnte.
  23. ^ Roberts, Dr. Lawrence G. (November 1978). „The Evolution of Packet Switching“ (PDF) . IEEE Invited Paper . 66 (11): 1307. Bibcode : 1978IEEEP..66.1307R . doi : 10.1109/PROC.1978.11141 . Archiviert vom Original (PDF) am 31.12.2018 . Abgerufen am 17.09.2017 . In nahezu allen Aspekten ähnelte Davies’ ursprünglicher Vorschlag, der Ende 1965 entwickelt wurde, den heute tatsächlich aufgebauten Netzwerken.
  24. ^ Abbate, Jane (2000). Die Erfindung des Internets . MIT Press. S.  37–38 , 58–59 . ISBN 978-0262261333Die NPL-Gruppe beeinflusste zahlreiche amerikanische Informatiker, die sich für die neue Technik aussprachen, und sie übernahmen Davies' Begriff „Paketvermittlung“ für diese Art von Netzwerk. Auch Roberts übernahm einige spezifische Aspekte des NPL-Designs .
  25. ^ a b Diffie, W.; Hellman, M. (1976). „New directions in cryptography“ (PDF) . IEEE Transactions on Information Theory . 22 (6): 644–654 . Bibcode : 1976ITIT...22..644D . CiteSeerX 10.1.1.37.9720 . doi : 10.1109/TIT.1976.1055638 . 
  26. ^ a b „Pioniere der Kryptographie erhalten den ACM AM Turing Award 2015“ . ACM.
  27. ^ William Henry Eccles und Frank Wilfred Jordan, „Verbesserungen an Ionenrelais“, britische Patentnummer: GB 148582 (angemeldet: 21.06.1918; veröffentlicht: 05.08.1920). Online verfügbar unter: http://v3.espacenet.com/origdoc?DB=EPODOC&IDX=GB148582&F=0&QPN=GB148582 .
  28. ^ a b Reddy, R. (1996). „Den möglichen Traum träumen“ . Communications of the ACM . 39 (5): 105–112 . doi : 10.1145/229459.233436 .
  29. ^ Floyd, RW (1979). „Die Paradigmen der Programmierung“ . Communications of the ACM . 22 (8): 455–460 . doi : 10.1145/359138.359140 .
  30. ^ „Computer History Museum | Fellow Awards – Steve Furber“ . Archiviert vom Original am 2. April 2013.
  31. ^ Gray, Frank (1953-03-17). "Pulscode-Kommunikation" (PDF) .US-Patent Nr. 2,632,058
  32. ^ Morgan 1998 , S. 973–975.
  33. ^ Hamming 1950 , S. 147–160.
  34. ^ Ling & Xing 2004 , S. 82–88.
  35. ^ Pless 1982 , S. 21–24.
  36. ^ a b Stearns, RE (1994). „Turing Award lecture: It's time to reconside time“ . Communications of the ACM . 37 (11): 95–99 . doi : 10.1145/188280.188379 .
  37. ^ "articles58" . Shef.ac.uk. 29.06.2007. Archiviert vom Original am 29.06.2007 . Abgerufen am 25.10.2017 .
  38. ^ „Antike Entdeckungen, Folge 11: Antike Roboter“ . History Channel . Abgerufen am 6. September 2008 .
  39. ^Kirsch, Russell A., "Earliest Image Processing", NISTS Museum; SEAC and the Start of Image Processing at the National Bureau of Standards, National Institute of Standards and Technology, archived from the original on 2014-07-19
  40. ^Kleinrock, Leonard (December 1962). Message Delay in Communication Nets with Storage(PDF) (Thesis). Cambridge: Massachusetts Institute of Technology.
  41. ^Davies, Donald Watts (1979). Computer networks and their protocols. Internet Archive. Wiley. pp. See page refs highlighted at url. ISBN 978-0-471-99750-4. In mathematical modelling use is made of the theories of queueing processes and of flows in networks, describing the performance of the network in a set of equations. ... The analytic method has been used with success by Kleinrock and others, but only if important simplifying assumptions are made. ... It is heartening in Kleinrock's work to see the good correspondence achieved between the results of analytic methods and those of simulation.
  42. ^Clarke, Peter (1982). Packet and circuit-switched data networks(PDF) (PhD thesis). Department of Electrical Engineering, Imperial College of Science and Technology, University of London. Archived from the original(PDF) on 2022-08-03. Retrieved 2024-01-21. "Many of the theoretical studies of the performance and design of the ARPA Network were developments of earlier work by Kleinrock ... Although these works concerned message switching networks, they were the basis for a lot of the ARPA network investigations ... The intention of the work of Kleinrock [in 1961] was to analyse the performance of store and forward networks, using as the primary performance measure the average message delay. ... Kleinrock [in 1970] extended the theoretical approaches of [his 1961 work] to the early ARPA network."
  43. ^Davies, Donald Watts (1979). Computer networks and their protocols. Internet Archive. Wiley. pp. 110–111. ISBN 978-0-471-99750-4. Hierarchical addressing systems for network routing have been proposed by Fultz and, in greater detail, by McQuillan. A recent very full analysis may be found in Kleinrock and Kamoun.
  44. Feldmann , Anja; Cittadini, Luca; Mühlbauer, Wolfgang; Bush, Randy; Maennel, Olaf (2009). „HAIR: Hierarchische Architektur für Internet-Routing“ (PDF) . Proceedings des Workshops „Re-architecting the internet“ 2009. ReArch '09. New York, NY, USA: Association for Computing Machinery. S.  43–48 . doi : 10.1145/1658978.1658990 . ISBN 978-1-60558-749-3S2CID 2930578. Der hierarchische  Ansatz wird zudem durch theoretische Ergebnisse (z. B. [16]) motiviert , die zeigen, dass durch die optimale Platzierung von Separatoren, d. h. Elementen, die Ebenen in der Hierarchie verbinden, erhebliche Vorteile hinsichtlich der Größe der Routingtabelle und der Anzahl der Aktualisierungsnachrichten erzielt werden können. ... [16] KLEINROCK, L., UND KAMOUN, F. Hierarchisches Routing für große Netzwerke: Leistungsbewertung und Optimierung. Computer Networks (1977).
  45. ^ Church, Alonzo (1936). „Ein unlösbares Problem der elementaren Zahlentheorie“ . American Journal of Mathematics . 58 (2): 345–363 . doi : 10.2307/2371045 . ISSN 0002-9327 . JSTOR 2371045. Der Begriff der λ-Definierbarkeit geht gemeinsam auf den Autor und S. C. Kleene zurück … der Beweis der Äquivalenz der beiden Begriffe ist hauptsächlich Kleene zu verdanken .  
  46. ^ Turing, A. M. (1937). „Berechenbarkeit und λ-Definierbarkeit“ . The Journal of Symbolic Logic . 2 (4): 153–163 . doi : 10.2307/2268280 . ISSN 0022-4812 . JSTOR 2268280. Ziel dieser Arbeit ist es zu zeigen, dass die vom Autor eingeführten berechenbaren Funktionen mit den λ-definierbaren Funktionen von Church und den allgemeinen rekursiven Funktionen von Herbrand und Gödel sowie den von Kleene weiterentwickelten Funktionen identisch sind.  
  47. ^ Pin, Jean-Eric (24.03.2025). „Mathematische Grundlagen der Automatentheorie“ (PDF) . Institut de recherche en informatique fondamentale . Abgerufen am 07.10.2025 . Der Satz von Kleene gilt gemeinhin als Ausgangspunkt der Automatentheorie.
  48. ^ Kahrs, Stefan; Runciman, Colin (2022-03-01). „Simplifying regular expressions further“ . Journal of Symbolic Computation . 109 : 124–143 . doi : 10.1016/j.jsc.2021.08.003 . ISSN 0747-7171 . Reguläre Ausdrücke (im Folgenden „Ausdrücke“) wurden vor etwa siebzig Jahren von Kleene (Kleene, 1951) als prägnante Spezifikationen regulärer Sprachen eingeführt. 
  49. ^ Simon S. Lam, Mitglied der Internet Hall of Fame 2023
  50. ^ Milner, R. (1993). „Elemente der Interaktion: Turing-Preisvortrag“ . Communications of the ACM . 36 : 78–89 . doi : 10.1145/151233.151240 .
  51. ^ Nakamoto, Satoshi (24.05.2009). ""Bitcoin: Ein Peer-to-Peer-System für elektronisches Bargeld" (PDF)" (PDF) . bitcoin.org .
  52. ^ Fred Joseph Gruenberger, Die Geschichte der JOHNNIAC , RAND-Memorandum 5654
  53. ^ Kak, Subhash C. (Januar 1987). „Der Paninsche Ansatz zur Verarbeitung natürlicher Sprache“ . International Journal of Approximate Reasoning . 1 (1): 117–130 . doi : 10.1016/0888-613X(87)90007-7 .
  54. ^ "Judea Pearl" . ACM.
  55. ^ „Olivetti Programma 101 Elektronischer Taschenrechner“ . Das Old Calculator Web Museum . Genau genommen handelte es sich bei dem Gerät um einen programmierbaren Taschenrechner, nicht um einen Computer.
  56. ^ „2008/107/1 Computer, Programma 101 und Dokumente (3), Kunststoff-/Metall-/Papier-/Elektronikkomponenten, Hardware-Architekt Pier Giorgio Perotto, entworfen von Mario Bellini, hergestellt von Olivetti, Italien, 1965–1971“ . www.powerhousemuseum.com . Abgerufen am 20.03.2016 .
  57. ^ „Olivetti Programma 101 Elektronischer Taschenrechner“ . Das Old Calculator Web Museum . Es scheint, dass der Mathatronics Mathatron-Taschenrechner vor dem Programma 101 auf den Markt kam.
  58. ^ „AM Turing Award Laureate – Amir Pnueli“ . amturing.acm.org . Abgerufen am 4. November 2018 .
  59. ^ a b Rabin, MO; Scott, D. (1959). „Finite Automata and Their Decision Problems“. IBM Journal of Research and Development . 3 (2): 114. doi : 10.1147/rd.32.0114 . S2CID 3160330 . 
  60. ^ a b Rabin, MO (1977). "Complexity of computations" . Communications of the ACM . 20 (9): 625–633 . doi : 10.1145/359810.359816 .
  61. ^ a b Scott, DS (1977). "Logik und Programmiersprachen" . Communications of the ACM . 20 (9): 634–641 . doi : 10.1145/359810.359826 .
  62. ^ Nigel Tout. „Der Busicom 141-PF Taschenrechner und der Intel 4004 Mikroprozessor“ . Abgerufen am 15.11.2009 .
  63. ^ Federico Faggin , Die Entstehung des ersten Mikroprozessors , IEEE Solid-State Circuits Magazine , Winter 2009, IEEE Xplore
  64. ^ Japan, Information Processing Society of. "Shima Masatoshi-Computer Museum" . museum.ipsj.or.jp . Abgerufen am 25.10.2017 .
  65. ^ Bekanntgabe der Turing-Preisträger 2007
  66. ^ Claude Shannon (1948). „Bell System Technical Journal“. Bell System Technical Journal .
  67. ^ Wilkinson, JH (1971). „Einige Anmerkungen eines Numerikers“ . Journal of the ACM . 18 (2): 137–147 . doi : 10.1145/321637.321638 . S2CID 37748083 . 
  68. ^ Copeland, B. Jack (25.10.2017). Zalta, Edward N. (Hrsg.). The Stanford Encyclopedia of Philosophy . Metaphysics Research Lab, Stanford University . Abgerufen am 25.10.2017 – via Stanford Encyclopedia of Philosophy.

Quellen