Liste der Informatiker

Artikel bearbeiten

Dies ist eine dynamische Liste und kann möglicherweise nie bestimmten Anforderungen an die Vollständigkeit genügen. Sie können helfen, indem Sie fehlende Elemente mit zuverlässigen Quellen hinzufügen.

Dies ist eine Liste von Informatikern, Personen, die in der Informatik arbeiten, insbesondere Forschern und Autoren.

Einige als Programmierer bemerkenswerte Personen sind hier aufgeführt, da sie sowohl in der Forschung als auch in der Programmierung tätig sind. Einige dieser Leute datieren vor der Erfindung des digitalen Computers; sie gelten heute als Informatiker, weil ihre Arbeit als Wegbereiter der Erfindung des Computers angesehen werden kann. Andere sind Mathematiker, deren Arbeit in das fällt, was man heute theoretische Informatik nennen würde, wie Komplexitätstheorie und algorithmische Informationstheorie.

Inhalt

1 EIN
2 B
3 C
4 D
5 E
6 F
7 g
8 h
9 ich
10 J
11 K
12 L
13 m
14 n
fünfzehn Ö
16 P
17 R
18 S
19 T
20 U
21 V
22 W
23 Ja
24 Z
25 Siehe auch
26 Verweise
27 Externe Links

EIN

Wil van der Aalst – Geschäftsprozessmanagement, Process Mining, Petrinetze
Scott Aaronson – Quantencomputer und Komplexitätstheorie
Rediet Abebe – Algorithmen, künstliche Intelligenz
Hal Abelson – Schnittmenge von Informatik und Lehre
Serge Abiteboul – Datenbanktheorie
Samson Abramsky – Spielsemantik
Leonard Adleman – RSA, DNA-Computing
Manindra Agrawal – Primalitätsprüfung in Polynomialzeit
Luis von Ahn – Human Based Computing
Alfred Aho – Compilerbuch, das 'a' in AWK
Frances E. Allen – Compileroptimierung
Gene Amdahl – Supercomputer- Entwickler, Gründer der Amdahl Corporation
David P. Anderson – Freiwilliger Computer
Lisa Anthony – natürliche Benutzeroberflächen
Andrew Appel – Verfasser von Lehrbüchern
Cecilia R. Aragon – erfundene Treap, menschzentrierte Datenwissenschaft
Bruce Arden – Programmiersprachen-Compiler (GAT, Michigan Algorithm Decoder (MAD)), virtuelle Speicherarchitektur, Michigan Terminal System (MTS)
Sanjeev Arora – PCP-Theorem
Winifred "Tim" Alice Asprey – etablierte den Informatiklehrplan am Vassar College
John Vincent Atanasoff – Computerpionier, Schöpfer von ABC oder Atanasoff Berry Computer

B

Charles Babbage (1791–1871) – erfand den ersten mechanischen Computer, genannt der höchste Mathematiker
Charles Bachman – US-amerikanischer Informatiker, bekannt für Integrated Data Store
Roland Carl Backhouse – Mathematik der Computerprogrammkonstruktion, algorithmisches Problemlösen, ALGOL
John Backus – FORTRAN, Backus–Naur-Form, erster vollständiger Compiler
David F. Bacon – Programmiersprachen, Garbage Collection
David A. Bader
Victor Bahl
Anthony James Barr – SAS-System
Jean Bartik (1924-2011) - einer der ersten Computer - Programmierer auf ENIAC (1946), einer der ersten Vakuumröhre Computern, zurück, als „Programmierung“ beteiligt Verwendung von Kabeln, wählt und schaltet, um physikalisch die Maschine neu verkabeln; arbeitete mit John Mauchly in Richtung BINAC (1949), EDVAC (1949), UNIVAC (1951), um frühe „ gespeicherte Programme “-Computer zu entwickeln
Andrew Barto
Friedrich L. Bauer – Stack (Datenstruktur), Sequential Formula Translation, ALGOL, Software Engineering, Bauer-Fike-Theorem
Rudolf Bayer – B-Baum
Gordon Bell (geboren 1934) – Computerdesigner DEC VAX, Autor: Computer Structures
Steven M. Bellovin – Netzwerksicherheit
Cecilia Berdichevsky (1925–2010), Pionierin der argentinischen Informatikerin
Tim Berners-Lee – World Wide Web
Daniel J. Bernstein – qmail, Software als geschützte Sprache
Peter Bernus
Abhay Bhushan
Dines Bjørner – Wiener Entwicklungsmethode (VDM), RAISE
Gerrit Blaauw – einer der Hauptdesigner der IBM System 360- Computerlinie
Sue Schwarz
David Blei
Dorothy Blum – Nationale Sicherheitsbehörde
Lenore Blum – Komplexität
Manuel Blum – Kryptographie
Barry Boehm – Software Engineering Economics, Spiralentwicklung
Corrado Böhm – Autor des strukturierten Programmsatzes
Kurt Bollacker
Jeff Bonwick – erfundene Plattenzuordnung und ZFS
Grady Booch – Unified Modeling Language, Object Management Group
George Boole – Boolesche Logik
Andrew Booth – entwickelt den ersten rotierenden Trommelspeicher
Kathleen Booth – entwickelte die erste Assemblersprache
Anita Borg (1949–2003) – US-amerikanische Informatikerin, Gründerin des Anita Borg Institute for Women and Technology
Bert Bos – Cascading Stylesheets
Mikhail Botvinnik – Schachweltmeister, Informatiker und Elektroingenieur, Pionier des frühen Expertensystems KI und Computerschach
Jonathan Bowen – Z-Notation, formale Methoden
Stephen R. Bourne – Bourne-Shell, tragbarer ALGOL 68C- Compiler
Harry Bouwman (geboren 1953) – niederländischer Wirtschaftsinformatiker und Professor an der Åbo Akademi University
Robert S. Boyer – String-Suche, ACL2-Theorembeweiser
Karlheinz Brandenburg – Haupt- MP3- Mitwirkender
Lawrence M. Breed – Implementierung der Iverson Notation (APL), mitentwickelte APL \360, Mitbegründer der Scientific Time Sharing Corporation
Jack E. Bresenham – frühe Beiträge zur Computergrafik, einschließlich Bresenhams Algorithmus
Sergey Brin – Mitbegründer von Google
David J. Brown – Unified Memory Architecture, Binärkompatibilität
Per Brinch Hansen (Nachname "Brinch Hansen") - RC 4000 Multi -Programmier System, Betriebssystem - Kernel, Mikrokerne, Monitore, parallele Programmierung, Concurrent Pascal, Distributed Computing amp; Prozesse, Parallel Computing
Sjaak Brinkkemper – Methodik der Produktsoftwareentwicklung
Fred Brooks – System 360, OS/360, The Mythical Man-Month, No Silver Bullet
Rod Brooks
Margaret Burnett – visuelle Programmiersprachen, Endbenutzer-Softwareentwicklung und geschlechtergerechte Software
Michael Butler – Event-B

C

Tracy Camp – Wireless Computing
Martin Campbell-Kelly – Geschichte der Informatik
Rosmarin Candlin
Bryan Cantrill – erfunden DTrace
Luca Cardelli –
John Carmack – mitentwickelt Doom
Edwin Catmull – Computergrafik
Vinton Cerf – Internet, TCP/IP
Gregory Chaitin
Robert Cailliau – belgischer Informatiker
Zhou Chaochen – Dauerrechnung
Peter Chen – Entity-Relationship-Modell, Datenmodellierung, konzeptionelles Modell
Leonardo Chiariglione – Gründer von MPEG
Tracy Chou – Informatikerin und Aktivistin
Alonzo Church – Mathematik der Kombinatoren, Lambda-Kalkül
Alberto Ciaramella – Spracherkennung, Patentinformatik
Edmund M. Clarke – Modellcheck
John Cocke – RISC
Edgar F. Codd (1923–2003) – formulierte das relationale Datenbankmodell
Jacques Cohen – Informatikprofessor
Simon Colton – rechnerische Kreativität
Alain Colmerauer – Prolog
Douglas Comer – Xinu
Paul Justin Compton – Ripple-Down-Regeln
Gordon Cormack – Miterfundene dynamische Markov-Kompression
Stephen Cook – NP-Vollständigkeit
James Cooley – Schnelle Fourier-Transformation (FFT)
Danese Cooper – Open-Source-Software
Fernando J. Corbató – Kompatibles Time-Sharing-System (CTSS), Multics
Kit Cosper – Open-Source-Software
Patrick Cousot – abstrakte Interpretation
Ingemar Cox – digitales Wasserzeichen
Seymour Cray – Cray Research, Supercomputer
Nello Cristianini – Maschinelles Lernen, Musteranalyse, Künstliche Intelligenz
Jon Crowcroft – Netzwerken
W. Bruce Croft
Glen Culler – Interactive Computing, Computergrafik, High Performance Computing
Haskell-Curry

D

Luigi Dadda – Designer des Dadda-Multiplikators
Ole-Johan Dahl – Simula, objektorientierte Programmierung
Ryan Dahl – Gründer des node.js- Projekts
Andries van Dam – Computergrafik, Hypertext
Samir Das – Drahtlose Netzwerke, Mobile Computing, Fahrzeug-Ad-hoc-Netzwerk, Sensor-Netzwerke, Mesh-Netzwerke, Drahtloses Ad-hoc-Netzwerk
Neil Daswani – Computersicherheit, Mitbegründer und Co-Direktor des Stanford Advanced Computer Security Program, Mitbegründer von Dasient (übernommen von Twitter), ehemaliger Chief Information Security von LifeLock und der Consumer Business Unit von Symantec
Christopher J. Date – Befürworter des relationalen Datenbankmodells
Jeff Dean – Bigtable, MapReduce, Spanner of Google
Erik Demaine – Computer-Origami
Tom DeMarco
Richard DeMillo – Computersicherheit, Softwaretechnik, Bildungstechnologie
Dorothy E. Denning – Computersicherheit
Peter J. Denning - identifiziert die Verwendung eines Betriebssystems ‚s Arbeitssatz und Balance - Set, Präsident von ACM
Michael Dertouzos – Direktor des Massachusetts Institute of Technology (MIT) Laboratory for Computer Science (LCS) von 1974 bis 2001
Alexander Dewdney
Robert Dewar – IFIP WG 2.1 Mitglied, ALGOL 68, Vorsitzender; AdaCore Mitbegründer, Präsident, CEO
Vinod Dham – P5 Pentium- Prozessor
Jan Dietz (geb. 1945) ( Zerfallskonstante ) – Informationssystemtheorie und Design- und Ingenieursmethodik für Organisationen
Whitfield Diffie (geboren 1944) ( lineare Antwortfunktion ) – Kryptographie mit öffentlichen Schlüsseln, Diffie-Hellman-Schlüsselaustausch
Edsger Dijkstra – algorithms, Dijkstra's algorithm, Go To Statement Considered Harmful, Semaphore (Programmierung), IFIP WG 2.1 Mitglied
Matthew Dillon – DragonFly BSD mit LWKT, Vkernel -Virtualisierung auf Betriebssystemebene, Dateisysteme : HAMMER 1, HAMMER2
Alan Dix – hat ein wichtiges Lehrbuch auf Universitätsniveau über die Mensch-Computer-Interaktion geschrieben
Jack Dongarra – Lineare Algebra High Performance Computing (HCI)
Marco Dorigo – Optimierung der Ameisenkolonie
Paul Dourish – Mensch-Computer-Interaktion
Charles Stark Draper (1901–1987) – Designer des Apollo Guidance Computer, „Vater der Trägheitsnavigation “, MIT-Professor
Susan Dumais – Informationsbeschaffung
Jon Michael Dunn – Gründungsdekan der Indiana University School of Informatics, informationsbasierte Logik, insbesondere Relevanzlogik
Schahram Dustdar – Verteilte Systeme, TU Wien, Österreich

E

Peter Eades – Diagrammzeichnung
Annie J. Easley
Wim Ebbinkhuijsen – COBOL
John Presper Eckert – ENIAC
Alan Edelman - Julia (Programmiersprache) Mitschöpfer; Hochleistungsrechnen und numerische Berechnungen
Brendan Eich – JavaScript, Mozilla
Philip Emeagwali – Supercomputing
E. Allen Emerson – Modellprüfung
Douglas Engelbart – gekachelte Fenster, Hypertext, Computermaus
David Eppstein
Andrey Ershov – Sprachen ALPHA, Rapira ; erster sowjetische Time-Sharing - System AIST-0, elektronischer Publishing - System RUBIN, Multiprocessing - Workstation MRAMOR, IFIP WG 2.1 Mitglied, Ästhetik und der menschliche Faktor in Programmierung
Don Estridge (1937–1985) – leitete die Entwicklung des ursprünglichen IBM Personal Computers (PC); bekannt als "Vater des IBM-PCs"
Oren Etzioni – MetaCrawler, Netbot
Christopher Riche Evans
David C. Evans – Computergrafik
Shimon Even

F

Scott Fahlmann
Edward Feigenbaum – Intelligenz
Edward Felten – Computersicherheit
Tim Finin
Raphael Finkel
Donald Firesmith
Gary William Flake
Tommy Flowers – Koloss-Computer
Robert Floyd – NP-Vollständigkeit
Sally Floyd – Internet-Überlastungskontrolle
Lawrence J. Fogel – Evolutionäre Programmierung
James D. Foley
Ken Forbus
LR Ford, jr.
Lanze Fortnow
Martin Fowler
Robert Frankreich
Herbert W. Franke
Edward Fredkin
Yoav Freund
Daniel P. Friedman
Charlotte Froese Fischer – Computertheoretische Physik
Ping Fu
Xiaoming Fu
Kunihiko Fukushima - Neocognitron, künstliche neuronale Netze, Faltungs neuronale Netzwerk - Architektur, nicht überwachtes Lernen, tief Lernen
DR Fulkerson

g

Richard P. Gabriel – Maclisp, Common Lisp, Worse is Better, League for Programming Freedom, Lucid Inc., XEmacs
Zvi Galil
Bernard Galler – MAD (Programmiersprache)
Hector Garcia-Molina
Michael Garey – NP-Vollständigkeit
Hugo de Garis
Bill Gates – Mitbegründer von Microsoft
David Gelernter
Lisa Gelobter – war Chief Digital Service Officer des US-Bildungsministeriums, Gründerin von teQuitable
Charles Geschke
Zoubin Ghahramani
Sanjay Ghemawat
Jeremy Gibbons – generische Programmierung, funktionale Programmierung, formale Methoden, Computerbiologie, Bioinformatik
Juan E. Gilbert – Human-Centered Computing
Lee Giles – CiteSeer
Seymour Ginsburg – formale Sprachen, Automatentheorie, AFL-Theorie, Datenbanktheorie
Robert L. Glass
Kurt Gödel – Berechenbarkeit ; kein Informatiker per se, aber seine Arbeit war auf diesem Gebiet von unschätzbarem Wert
Ashok Goel
Joseph Goguen
Hardik Gohel
E. Mark Gold – Spracherkennung im Limit
Adele Goldberg – Smalltalk
Andrew V. Goldberg – Algorithmen, Algorithm Engineering
Ian Goldberg – Kryptograf, Off-the-Record-Messaging
Oded Goldreich – Kryptographie, Computational Complexity Theory
Shafi Goldwasser – Kryptographie, Computational Complexity Theory
Gene Golub - Matrix - Berechnung
Martin Charles Golumbic – algorithmische Graphentheorie
Gastón Gonnet – Mitbegründer von Waterloo Maple Inc.
Ian Goodfellow – Maschinelles Lernen
James Gosling – Netzwerk erweiterbares Fenstersystem ( NeWS ), Java
Paul Graham – Viaweb, On Lisp, Arc
Robert M. Graham – Programmiersprachen-Compiler (GAT, Michigan Algorithm Decoder (MAD)), virtuelle Speicherarchitektur, Multics
Susan L. Graham – Compiler, Programmierumgebungen
Jim Gray – Datenbank
Sheila Greibach – Greibach Normalform, Theorie der Abstrakten Sprachfamilie (AFL)
Ralph Griswold – SNOBOL
Bill Gropp – Message Passing Interface, tragbares, erweiterbares Toolkit für wissenschaftliche Berechnungen (PETSc)
Tom Gruber – Ontologie-Engineering
Shelia Guberman – Handschrifterkennung
Ramanathan V. Guha – Resource Description Framework (RDF), Netscape, RSS, Epinions
Neil J. Gunther – Computerleistungsanalyse, Kapazitätsplanung
Jürg Gutknecht – mit Niklaus Wirth : Lilith- Computer; Programmiersprachen Modula-2, Oberon, Zonnon ; Oberon- Betriebssystem
Michael Guy – Phoenix, Arbeiten über Zahlentheorie, Computeralgebra, Theorie der höherdimensionalen Polyeder ; mit John Horton Conway

h

Philipp Matthäus Hahn – mechanischer Rechner
Eldon C. Hall – Apollo-Führungscomputer
Wendy Hall
Joseph Halpern
Margaret Hamilton – extrem zuverlässiges Softwaredesign
Richard Hamming – Hamming-Code, Gründer der Association for Computing Machinery
Jiawei Han – Data-Mining
Frank Harary – Graphentheorie
Juris Hartmanis – Computational Complexity Theory
Johan Håstad – Computational Complexity Theory
Les Hatton – Softwarefehler und Schwachstellen
Igor Hawryszkiewycz, (* 1948) – US-amerikanischer Informatiker und Organisationstheoretiker
He Jifeng – nachweislich korrekte Systeme
Eric Hehner – Prädikative Programmierung, Formale Methoden, Zitatnotation, ALGOL
Martin Hellman – Verschlüsselung
Gernot Heiser – Entwicklung von L4 und Gründer von OK Labs
James Hendler – Semantisches Web
John L. Hennessy – Computerarchitektur
Andrew Herbert
Carl Hewitt
Danny Hillis – Verbindungsmaschine
Geoffrey Hinton
Julia Hirschberg
Tin Kam Ho – künstliche Intelligenz, maschinelles Lernen
CAR Hoare – Logik, Strenge, kommunizierende sequentielle Prozesse (CSP)
Louis Hodes (1934–2008) – Lisp, Mustererkennung, Logikprogrammierung, Krebsforschung
Betty Holberton – ENIAC- Programmiererin, entwickelte den ersten Sort Merge Generator
John Henry Holland – genetische Algorithmen
Herman Hollerith (1860–1929) – erfand das Aufzeichnen von Daten auf einem maschinenlesbaren Medium mit Lochkarten
Gerard Holzmann – Softwareverifikation, Logikmodellprüfung ( SPIN )
John Hopcroft – Compiler
Admiral Grace Hopper (1906-1992) – entwickelte frühe Compiler: FLOW-Matic, COBOL ; arbeitete an UNIVAC ; hielt Reden zur Computergeschichte, in denen sie Nanosekunden ausgab
Eric Horvitz – Künstliche Intelligenz
Alston Hausbesitzer
Paul Hudak (1952–2015) – Haskell- Sprachdesign
David A. Huffman (1925–1999) – Huffman-Codierung, die bei der Datenkompression verwendet wird
John Hughes – Berechnungen mit Pfeilen strukturieren ; Quick Check randomisierten Programm Test - Framework; Haskell- Sprachdesign
Roger Hui – Mitentwickelte J- Sprache
Watts Humphrey (1927–2010) – Personal Software Process (PSP), Softwarequalität, Team Software Process (TSP)

ich

Jean Ichbiah – Ada
Roberto Ierusalimschy – Lua (Programmiersprache)
Dan Ingalls – Smalltalk, BitBlt, Lively Kernel
Mary Jane Irwin
Kenneth E. Iverson – APL, J

J

Ivar Jacobson – Unified Modeling Language, Object Management Group
Anil K. Jain (geboren 1948)
Ramesh Jaina
Jonathan James
David S. Johnson
Stephen C. Johnson
Cliff Jones – Wiener Entwicklungsmethode (VDM)
Michael I. Jordan
Mathai Joseph
Aravind K. Joshi
Bill Joy (geboren 1954) – Sun Microsystems, BSD UNIX, vi, csh
Dan Jurafsky – Verarbeitung natürlicher Sprache

K

William Kahan – Numerische Analyse
Robert E. Kahn – TCP/IP
Avinash Kak – digitale Bildbearbeitung
Poul-Henning Kamp – erfunden GBDE, FreeBSD Jails, Varnish Cache
David Karger
Richard Karp – NP-Vollständigkeit
Narendra Karmarkar – der Algorithmus von Karmarkar
Marek Karpinski – NP-Optimierungsprobleme
Ted Kaehler – Smalltalk, Squeak, HyperCard
Alan Kay – Dynabook, Smalltalk, überlappende Fenster
Neeraj Kayal – AKS-Primäritätstest
John George Kemeny – BASIC
Ken Kennedy – Kompilieren für Parallel- und Vektormaschinen
Brian Kernighan (geboren 1942) – Unix, das „k“ in AWK
Carl Kesselman – Grid-Computing
Gregor Kiczales – CLOS, Reflexion, Aspektorientierte Programmierung
Peter T. Kirstein – Internet
Stephen Cole Kleene – Kleene-Schließung, Rekursionstheorie
Dan Klein – Natürliche Sprachverarbeitung, Maschinelle Übersetzung
Leonard Kleinrock – ARPANET, Warteschlangentheorie, Paketvermittlung, hierarchisches Routing
Donald Knuth – The Art of Computer Programming, MIX / MMIX, TeX, Literate Programming
Andrew Koenig – C++
Daphne Koller – Künstliche Intelligenz, bayesianisches Netzwerk
Michael Kölling – BlueJ
Andrey Nikolaevich Kolmogorov – algorithmische Komplexitätstheorie
Janet L. Kolodner – Fallbasierte Argumentation
David Korn – KornShell
Kees Koster – ALGOL 68
Robert Kowalski – logische Programmierung
John Koza – genetische Programmierung
John Krogstie – SEQUAL-Framework
Joseph Kruskal – Kruskals Algorithmus
Thomas E. Kurtz (geb. 1928) – BASIC- Programmiersprache; Computerprofessor am Dartmouth College

L

Richard E. Ladner
Monica S. Lam
Leslie Lamport – Algorithmen für verteiltes Rechnen, LaTeX
Butler Lampson – SDS 940, Gründungsmitglied Xerox PARC, Xerox Alto, Turing Award
Peter Landin - ISWIM, J Operator, Secd-Maschine, aus seitige Regel, syntaktischem Zucker, Algol, IFIP WG 2.1 Mitglied, fortschrittliches Lambda - Kalkül zu Modell Programmiersprachen (gestützte funktionale Programmierung ), denotational Semantik
Tom Lane – Unabhängige JPEG-Gruppe, PostgreSQL, Portable Network Graphics (PNG)
Börje Langefors
Chris Lattner – Schöpfer von Swift (Programmiersprache) und LLVM- Compiler-Infrastruktur
Steve Lawrence
Edward D. Lazowska
Joshua Lederberg
Manny M Lehman
Charles E. Leiserson – Cache-Oblivious Algorithmen, nachweislich gutes Work-Stealing, Co - Autor von Introduction to Algorithms
Douglas Lenat – Künstliche Intelligenz, Cyc
Yann LeCun
Rasmus Lerdorf – PHP
Max Levchin – Gausebeck–Levchin-Test und PayPal
Leonid Levin – Computational Complexity Theory
Kevin Leyton-Brown – Künstliche Intelligenz
JCR Lecklider
David Liddle
John Lions – Lions-Kommentar zu UNIX 6. Ausgabe, mit Quellcode (Lions-Buch)
Charles H. Lindsey – IFIP WG 2.1 Mitglied, Überarbeiteter Bericht zu ALGOL 68
Richard J. Lipton – Computational Complexity Theory
Barbara Liskov – Programmiersprachen
Yanhong Annie Liu – Programmiersprachen, Algorithmen, Programmdesign, Programmoptimierung, Softwaresysteme, Optimierung, Analyse und Transformationen, intelligente Systeme, verteiltes Rechnen, Computersicherheit, IFIP WG 2.1 Mitglied
Darrell Long – Computerdatenspeicherung, Computersicherheit
Patricia D. Lopez – Ausweitung der Beteiligung am Computer
Gillian Lovegrove
Ada Lovelace – erste Programmiererin
David Luckham – Lisp, Automated Theorem Proving, Stanford Pascal Verifier, Complex Event Processing, Rational Software Mitbegründer ( Ada Compiler )
Eugene Luks
Nancy Lynch

m

Nadia Magnenat Thalmann – Computergrafik, virtuelle Schauspielerin
Tom Maibaum
Zohar Manna – Fuzzy-Logik
James Martin – Informationstechnik
Robert C. Martin (Onkel Bob) – Software-Handwerk
John Mashey
Yuri Matiyasevich – Lösung des zehnten Problems von Hilbert
Yukihiro Matsumoto – Ruby (Programmiersprache)
John Mauchly (1907–1980) – entwarf ENIAC, den ersten universellen elektronischen Digitalcomputer, sowie EDVAC, BINAC und UNIVAC I, den ersten kommerziellen Computer; arbeitete mit Jean Bartik an ENIAC und Grace Murray Hopper an UNIVAC
Derek McAuley – Ubiquitous Computing, Computerarchitektur, Networking
John McCarthy – Lisp (Programmiersprache), ALGOL, IFIP WG 2.1 Mitglied, Künstliche Intelligenz
Andrew McCallum
Douglas McIlroy – Makros, Pipes, Unix-Philosophie
Chris McKinstry – Künstliche Intelligenz, Mindpixel
Marshall Kirk McKusick – BSD, Berkeley Fast File System
Lambert Meertens – ALGOL 68, IFIP WG 2.1 Mitglied, ABC (Programmiersprache)
Kurt Mehlhorn – Algorithmen, Datenstrukturen, LEDA
Bertrand Meyer – Eiffel (Programmiersprache)
Silvio Micali – Kryptographie
Robin Milner – ML (Programmiersprache)
Jack Minker – Datenbanklogik
Marvin Minsky – Künstliche Intelligenz, Perzeptronen, Society of Mind
Tom M. Mitchell
Arvind Mithal – formale Verifikation großer digitaler Systeme, Entwicklung dynamischer Datenflussarchitekturen, Programmiersprachen für paralleles Rechnen (Id, pH), Kompilieren auf parallelen Maschinen
Paul Mockapetris – Domain Name System (DNS)
Cleve Moler – Numerische Analyse, MATLAB
Faron Möller – Nebenläufigkeitstheorie
John P. Moon – Erfinder, Apple Inc.
Charles H. Moore – Vierte Sprache
Edward F. Moore – Moore-Maschine
Gordon Moore – Moores Gesetz
J Strother Moore – String-Suche, ACL2-Theorembeweiser
Roger Moore – hat APL \360 mitentwickelt, IPSANET erstellt, IP Sharp Associates mitbegründet
Hans Moravec – Robotik
Carroll Morgan – formale Methoden
Robert Tappan Morris – Morris-Wurm
Joel Moses – Macsyma
Rajeev Motwani – randomisierter Algorithmus
Oleg A. Mukhanov – Quantencomputer- Entwickler, Mitbegründer und CTO von SeeQC
Stephen Muggleton – Induktive Logikprogrammierung
Alan Mycroft – Programmiersprachen
Musharaf MMHussain – Parallel Computing und Multicore Supper Scaler Prozessor

n

Mihai Nadin – Antizipationsforschung
Makoto Nagao – maschinelle Übersetzung, Verarbeitung natürlicher Sprache, digitale Bibliothek
Frieder Nake – Pionier der Computerkunst
Bonnie Nardi – Mensch-Computer-Interaktion
Peter Naur (1928–2016) – Backus–Naur Form (BNF), ALGOL 60, IFIP WG 2.1 Mitglied
Roger Needham – Computersicherheit
James G. Nell – Generalized Enterprise Reference Architecture and Methodology (GERAM)
Greg Nelson (1953–2015) – Erfüllbarkeits-Modulo-Theorien, erweiterte statische Prüfung, Programmverifikation, Modula-3- Komitee, Simplify Theorem Prover in ESC/Java
Bernard de Neumann – massiv paralleler autonomer zellularer Prozessor, Softwareentwicklungsforschung
Klara Dan von Neumann (1911–1963) – frühe Computer, ENIAC- Programmierer und Steuerungsdesigner
John von Neumann (1903–1957) – frühe Computer, von Neumann-Maschine, Mengenlehre, Funktionsanalyse, Mathematikpionier, Lineare Programmierung, Quantenmechanik
Allen Newell – Künstliche Intelligenz, Computerstrukturen
Max Newman – Koloss-Computer, MADM
Andrew Ng – Künstliche Intelligenz, Maschinelles Lernen, Robotik
Nils John Nilsson (1933–2019) – Künstliche Intelligenz
GM Nijssen - Nijssen der Information Analysis Methodology (NIAM) Objekt-Rollenmodellierung
Tobias Nipkow – Nachweishilfe
Maurice Nivat – Theoretische Informatik, Theoretical Computer Science Journal, ALGOL, IFIP WG 2.1 Mitglied
Phiwa Nkambule – Fintech, künstliche Intelligenz, maschinelles Lernen, Robotik
Jerre Noe – EDV-Banking
Peter Nordin – Künstliche Intelligenz, Genetische Programmierung, Evolutionäre Robotik
Donald Norman – Benutzeroberflächen, Benutzerfreundlichkeit
Peter Norvig – Künstliche Intelligenz, Forschungsdirektor bei Google
George Novacky – University of Pittsburgh: stellvertretender Lehrstuhlinhaber, Senior Lecturer für Informatik, stellvertretender Dekan des CAS für Bachelor-Studiengänge
Kristen Nygaard – Simula, objektorientierte Programmierung

Ö

Martin Odersky – Scala- Programmiersprache
Peter O'Hearn – Trennungslogik, gebündelte Logik, Infer Static Analyzer
T. William Olle – Ferranti Mercury
Steve Omohundro
Severo Ornstein
John O'Sullivan – WLAN
John Ousterhout – Tcl- Programmiersprache
Mark Overmars - Videospiel - Programmierung

P

Larry Page – Mitbegründer von Google
Sankar Pal
Paritosh Pandya
Christos Papadimitriou
David Park (1935–1990) – erste Lisp- Implementierung, Experte für Fairness, Programmschemata, Bisimulation im Concurrent Computing
David Parnas – Information Hiding, modulare Programmierung
DJ Patil – ehemaliger Chief Data Scientist der Vereinigten Staaten
Yale Patt – Parallelität auf Instruktionsebene, spekulative Architekturen
David A. Patterson – Computer mit reduziertem Befehlssatz (RISC), RISC-V, redundante Arrays billiger Festplatten ( RAID ), Berkeley Network of Workstations (NOW)
Mike Paterson – Algorithmen, Analyse von Algorithmen (Komplexität)
Mihai Pătraşcu – Datenstrukturen
Lawrence Paulson – ML
Randy Pausch (1960–2008) – Mensch-Computer-Interaktion, Carnegie-Professor, „ Last Lecture “
Juan Pavón – Softwareagenten
Judea Pearl – künstliche Intelligenz, Suchalgorithmen
David Pearson – CADES, Computergrafik
Alan Perlis – Programmierperlen
Radia Perlman – Spanning-Tree-Protokoll
Pier Giorgio Perotto – Computerdesigner bei Olivetti, Designer des programmierbaren Taschenrechners Programma 101
Rózsa Péter – rekursive Funktionentheorie
Simon Peyton Jones – Funktionale Programmierung
Kathy Pham – Daten, künstliche Intelligenz, Bürgertechnologie, Gesundheitswesen, Ethik
Roberto Pieraccini – Sprachtechnologe, Engineering Director bei Google
Gordon Plotkin
Amir Pnueli – zeitliche Logik
Willem van der Poel – Computergrafik, Robotik, geografische Informationssysteme, Bildgebung, Multimedia, virtuelle Umgebungen, Spiele
Cicely Popplewell (1920–1995) – Britische Software-Ingenieurin in den 1960er Jahren
Emil Post – Mathematik
Jon Postel – Internet
Franco Preparata – Computer Engineering, Computational Geometrie, Parallel Algorithmen, Computational Biology
William H. Press – numerische Algorithmen

R

Rapelang Rabana
Grzegorz Rozenberg – Natural Computing, Automatentheorie, Graphtransformationen und nebenläufige Systeme
Michael O. Rabin – nichtdeterministische Maschine
Dragomir R. Radev – Verarbeitung natürlicher Sprache, Information Retrieval
TV Raman – Barrierefreiheit, Emacspeak
Brian Randell - Algol 60, Software - Fehlertoleranz, Zuverlässigkeit, vor 1950 Geschichte der Computer - Hardware
Anders P. Ravn – Dauerrechnung
Raj Reddy – Künstliche Intelligenz
David P. Reed
Trygve Reenskaug – Model-View-Controller (MVC)-Softwarearchitekturmuster
John C. Reynolds – Fortsetzungen, Definitionsinterpreter, Defunktionalisierung, Forsythe, Gedankensprache, Schnitttypen, polymorpher Lambda-Kalkül, relationale Parametrizität, Trennlogik, ALGOL
Joyce K. Reynolds – Internet
Reinder van de Riet – Herausgeber: Europe of Data and Knowledge Engineering, Ereignismodellierungssprache COLOR-X
Bernard Richards – Medizininformatik
Martin Richards – BCPL
Adam Riese
CJ van Rijsbergen
Dennis Ritchie – C (Programmiersprache), Unix
Ron Rivest – RSA, MD5, RC4
Ken Robinson – formale Methoden
Colette Rolland – REMORA-Methodik, Metamodellierung
John Romero – Mitentwickelter Doom
Azriel Rosenfeld
Douglas T. Ross – Automatically Programmed Tools ( APT ), Computer-Aided Design, Structured Analysis and Design Technique, ALGOL X
Guido van Rossum – Python (Programmiersprache)
Winston W. Royce – Wasserfallmodell
Rudy Rucker – Mathematiker, Schriftsteller, Pädagoge
Steven Rudich – Komplexitätstheorie, Kryptographie
Jeff Rulifson
James Rumbaugh – Unified Modeling Language, Object Management Group
Peter Ružička – slowakischer Informatiker und Mathematiker

S

George Sadowsky
Umar Saif
Gerard Salton – Informationsbeschaffung
Jean E. Sammet – Programmiersprachen
Claude Sammut – Forscher für künstliche Intelligenz
Carl Sassenrath – Betriebssysteme, Programmiersprachen, Amiga, REBOL
Mahadev Satyanarayanan – Dateisysteme, verteilte Systeme, mobiles Computing, Pervasive Computing
Walter Savitch – Entdeckung der Komplexitätsklasse NL, Satz von Savitch, Natural Language Processing, Mathematische Linguistik
Jonathan Schäfer
Wilhelm Schickard – eine der ersten Rechenmaschinen
Jürgen Schmidhuber – Künstliche Intelligenz, Deep Learning, Künstliche Neuronale Netze, Rekurrente Neuronale Netze, Gödel-Maschine, Künstliche Neugier, Meta-Learning
Steve Schneider – formale Methoden, Sicherheit
Bruce Schneier – Kryptographie, Sicherheit
Fred B. Schneider – Concurrent und Distributed Computing
Sarita Schönebeck — Mensch-Computer-Interaktion
Glenda Schroeder – Kommandozeilen-Shell, E-Mail
Dana Scott – Domänentheorie
Michael L. Scott – Programmiersprachen, Algorithmen, verteiltes Rechnen
Robert Sedgewick – Algorithmen, Datenstrukturen
Ravi Sethi – Compiler, 2. Drachenbuch
Nigel Shadbolt
Adi Shamir – RSA, Kryptoanalyse
Claude Shannon – Informationstheorie
David E. Shaw – Computational Finance, Computational Biochemistry, Parallel Architectures
Cliff Shaw – Systemprogrammierer, Künstliche Intelligenz
Scott Shenker – Netzwerken
Ben Shneiderman – Mensch-Computer-Interaktion, Informationsvisualisierung
Edward H. Shortliffe – MYCIN (medizinisch-diagnostisches Expertensystem)
Joseph Sifakis – Modellcheck
Herbert A. Simon – Künstliche Intelligenz
Munindar P. Singh – Multiagentensysteme, Software Engineering, Künstliche Intelligenz, Soziale Netzwerke
Ramesh Sitaraman – half beim Aufbau des Hochleistungsnetzwerks von Akamai
Daniel Sleator – Spreizbaum, amortisierte Analyse
Aaron Sloman – Künstliche Intelligenz und Kognitionswissenschaft
Arne Sølvberg – Informationsmodellierung
Brian Cantwell Smith – Reflexion (Informatik), 3lisp
Steven Spewak – Planung der Unternehmensarchitektur
Carol Spradling
Robert Sproull
Rohini Kesavan Srihari – Information Retrieval, Textanalyse, mehrsprachiges Text Mining
Sargur Srihari – Mustererkennung, Maschinelles Lernen, Computerkriminologie, CEDAR-FOX
Maciej Stachowiak – GNOME, Safari, WebKit
Richard Stallman (geboren 1953) – GNU-Projekt
Ronald Stamper
Richard E. Stearns – Computational Complexity Theory
Guy L. Steele, Jr. – Schema, Common Lisp
Thomas Sterling – Schöpfer von Beowulf-Clustern
Alexander Stepanov – generische Programmierung
W. Richard Stevens (1951 – 1999) – Autor von Büchern, darunter TCP/IP Illustrated and Advanced Programming in the Unix Environment
Larry Stockmeyer – Rechenkomplexität, verteiltes Rechnen
Salvatore Stolfo – Computersicherheit, maschinelles Lernen
Michael Stonebraker – Praxis und Theorie relationaler Datenbanken
Olaf Storaasli – Finite-Elemente-Maschine, Lineare Algebra, Hochleistungsrechnen
Christopher Strachey – denotationale Semantik
Volker Strassen – Matrixmultiplikation, Ganzzahlmultiplikation, Solovay–Strassen Primzahltest
Bjarne Stroustrup – C++
Madhu Sudan – Computational Complexity Theory, Codierungstheorie
Gerald Jay Sussman – Schema
Bert Sutherland – Grafik, Internet
Ivan Sutherland – Grafik
Mario Szegedy – Komplexitätstheorie, Quantencomputing

T

Parisa Tabriz – Google Director of Engineering, auch bekannt als Sicherheitsprinzessin
Roberto Tamassia – Computergeometrie, Computersicherheit
Andrew S. Tanenbaum – Betriebssysteme, MINIX
Austin Tate – Künstliche Intelligenzanwendungen, KI-Planung, virtuelle Welten
Bernhard Thalheim – konzeptionelle Modellierungsgrundlage
va Tardos
Gabor Tardos
Robert Tarjan – Spreizbaum
Valerie Taylor
Mario Tchou – italienischer Ingenieur chinesischer Abstammung, Leiter des Olivetti Elea- Projekts
Jaime Teevan
Shang-Hua Teng – Analyse von Algorithmen
Larry Tesler – Mensch-Computer-Interaktion, grafische Benutzeroberfläche, Apple Macintosh
Avie Tevanian – Mach-Kernel-Team, NeXT, Mac OS X
Charles P. Thacker – Xerox Alto, Microsoft Research
Daniel Thalmann – Computergrafik, virtueller Schauspieler
Ken Thompson – Unix
Sebastian Thrun – KI-Forscher, Pionier des autonomen Fahrens
Walter F. Tichy – RCS
Seinosuke Toda – Berechnungskomplexität, Träger des Gödel-Preises 1998
Linus Torvalds – Linux- Kernel, Git
Leonardo Torres y Quevedo (1852–1936) – erfand 1912 El Ajedrecista ( den Schachspieler ), einen echten Automaten, der gebaut wurde, um ohne menschliche Führung Schach zu spielen. In seiner Arbeit Essays on Automatics (1913) stellte er die Idee der Gleitkommaarithmetik vor. 1920 baute man ein frühes elektromechanisches Gerät der Analytical Engine.
Godfried Toussaint – Computergeometrie, Computermusiktheorie
Gloria Townsend
Edwin E. Tozer – Wirtschaftsinformatik
Joseph F. Traub – Rechenkomplexität wissenschaftlicher Probleme
John V. Tucker – Berechenbarkeitstheorie
John Tukey – Begründer von FFT-Algorithmus, Boxplot, explorativer Datenanalyse und Prägung des Begriffs 'Bit'
Alan Turing (1912–1954) – Britischer Computerpionier, Turing-Maschine, Algorithmen, Kryptologie, Computerarchitektur
David Turner – SASL, Kent Recursive Calculator, Miranda, IFIP WG 2.1 Mitglied
Murray Turoff – computervermittelte Kommunikation

U

Jeffrey D. Ullman – Compiler, Datenbanken, Komplexitätstheorie
Umar Saif

V

Leslie Valiant – Computational Complexity Theory, Computational Learning Theory
Vladimir Vapnik – Mustererkennung, Computerlerntheorie
Moshe Vardi – Professor für Informatik an der Rice University
Dorothy Vaughan
Umesh Vazirani
Manuela M. Veloso
François Vernadat – Unternehmensmodellierung
Richard Veryard – Unternehmensmodellierung
Sergiy Wilkomir – Softwaretest, RC/DC
Paul Vitanyi – Kolmogorov-Komplexität, Informationsdistanz, Normalisierte Kompressionsdistanz, Normalisierte Google Distanz
Andrew Viterbi – Viterbi-Algorithmus
Jeffrey Scott Vitter – externe Speicheralgorithmen, komprimierte Datenstrukturen, Datenkomprimierung, Datenbanken
Paul Vixie – DNS, BIND, PAIX, Internet-Software-Konsortium, MAPS, DNSBL

W

Eiiti Wada – ALGOL N, IFIP WG 2.1 Mitglied, Japanische Industriestandards (JIS) X 0208, 0212, Happy Hacking Keyboard
David Wagner – Sicherheit, Kryptographie
David Waltz
James Z. Wang
Steve Ward
Manfred K. Warmuth – Computergestützte Lerntheorie
David HD Warren – KI, Logikprogrammierung, Prolog, Warren Abstract Machine (WAM)
Kevin Warwick – Künstliche Intelligenz
Jan Weglarz
Philip Wadler – funktionale Programmierung, Haskell, Monad, Java, Logik
Peter Wegner – Objektorientierte Programmierung, Interaktion (Informatik)
Joseph Henry Wegstein - Algol 58, Algol 60, IFIP WG 2.1 Mitglied, Datenverarbeitung technische Standards, Fingerabdruck - Analyse
Peter J. Weinberger – Programmiersprachendesign, das 'w' in AWK
Mark Weiser – Ubiquitous Computing
Joseph Weizenbaum – Künstliche Intelligenz, ELIZA
David Wheeler – EDSAC, Unterprogramme
Franklin H. Westervelt – Nutzung von Computern in der Ingenieurausbildung, Konversationsnutzung von Computern, Michigan Terminal System (MTS), ARPANET, Fernunterricht
Steve Whittaker – Mensch-Computer-Interaktion, Computerunterstützung für kooperatives Arbeiten, Social Media
Jennifer Widom – unkonventionelle Datenverwaltung
Gio Wiederhold – Datenbankmanagementsysteme
Norbert Wiener – Kybernetik
Adriaan van Wijngaarden – niederländischer Pionier; ARRA, ALGOL, IFIP WG 2.1 Mitglied
Mary Allen Wilkes – LINC- Entwicklerin, Assembler-Linker-Designerin
Maurice Vincent Wilkes – Mikroprogrammierung, EDSAC
Yorick Wilks – Computerlinguistik, Künstliche Intelligenz
James H. Wilkinson – Numerische Analyse
Sophie Wilson – ARM-Architektur
Shmuel Winograd – Coppersmith-Winograd-Algorithmus
Terry Winograd – Künstliche Intelligenz, SHRDLU
Patrick Winston – Künstliche Intelligenz
Niklaus Wirth – ALGOL W, IFIP WG 2.1 Mitglied, Pascal, Modula, Oberon
Neil Wiseman – Computergrafik
Dennis E. Wisnosky – Integrierte computergestützte Fertigung (ICAM), IDEF
Stephen Wolfram – Mathematica
Mike Woodger – Pilot ACE, ALGOL 60, Ada (Programmiersprache)
Philip Woodward – Mehrdeutigkeitsfunktion, Sinc-Funktion, Kamm-Operator, Rep-Operator, ALGOL 68-R
Beatrice Helen Worsley – schrieb die erste Doktorarbeit mit modernen Computern; war einer der Leute, die Transcode geschrieben haben
Steve Wozniak – entwickelt Personal Computer der ersten Generation bei Apple Computer
Jie Wu – Computernetzwerke
William Wulf – Compiler

Ja

Mihalis Yannakakis
Andrew Chi-Chih Yao
John Yen
Nobuo Yoneda – Yoneda Lemma, Yoneda Produkt, ALGOL, IFIP WG 2.1 Mitglied
Edward Yourdon – Strukturierte Systemanalyse und Entwurfsmethode
Moti Yung

Z

Lotfi Zadeh – Fuzzy-Logik
Hans Zantema – Terminationsanalyse
Arif Zaman - Pseudo-Zufallszahlengenerator
Stanley Zdonik — Datenbankverwaltungssysteme
Hussein Zedan – Formale Methoden und Echtzeitsysteme
Shlomo Zilberstein – künstliche Intelligenz, jederzeit Algorithmen, automatisierte Planung und dezentrale POMDPs
Jill Zimmerman – James M. Beall Professorin für Mathematik und Informatik am Goucher College
Konrad Zuse – Deutscher Pionier für Hard- und Software

Siehe auch

Listenportal

Verweise

Externe Links

Wikimedia Commons hat Medien mit Bezug zu Informatikern.