Liste der Informatiker
Das ist ein Liste der Informatiker, Menschen, die in Arbeit arbeiten Informatik, im Speziellen Forscher und Autoren.
Einige Personen bemerkenswert als Programmierer sind hier enthalten, weil sie sowohl in der Forschung als auch im Programm arbeiten. Einige dieser Leute haben die vorgefertigt Erfindung des digitalen Computers; Sie gelten jetzt als Informatiker, weil ihre Arbeit als die Erfindung des Computers angesehen werden kann. Andere sind Mathematiker, deren Arbeit in die sogenannte theoretische Informatik liegt, wie z. Komplexitätstheorie und Algorithmische Informationstheorie.
A
- Wil van der Aalst – Geschäftsprozessmanagement, Prozessabbau, Petri Nets
- Scott Aaronson – Quanten-Computing und Komplexitätstheorie
- Rediet Abebe – Algorithmen, künstliche Intelligenz
- Hal Abelson - Schnittpunkt von Computer und Lehre
- Serge Abiteboul - Datenbanktheorie
- Samson Abramsky – Spielsemantik
- Leonard Adleman – RSA, DNA Computing
- Manindra Agrawal - Polynomzeit Primalitätstest
- Luis von Ahn – Menschenbasierte Berechnung
- Alfred Aho - Compiler buchen das 'a' in Awk
- Frances E. Allen – Compiler -Optimierung
- Gene Amdahl – Supercomputer Entwickler, Amdahl Corporation Gründer
- David P. Anderson - Volunteer Computing
- Lisa Anthony – Natürliche Benutzeroberflächen
- Andrew Appel - Compiler von Lehrbüchern
- Cecilia R. Aragon - erfunden Treap, menschenzentrierte Datenwissenschaft
- Bruce Arden - Programmiersprache Compiler (Gat, Michigan Algorithmus Decoder (Verrückt)), virtuelle Gedächtnisarchitektur, Michigan Terminalsystem (MTS)
- Sanjeev Arora – PCP -Theorem
- Winifred "Tim" Alice Asprey - etablierte den Lehrplan für Informatik unter Vassar College
- John Vincent Atanasoff - Computerpionier, Schöpfer von Atanasoff Berry Computer (ABC)
- Shakuntala atre - Datenbanktheorie
B
- Charles Babbage (1791–1871) - Erfunden Sie den ersten mechanischen Computer, der als Supreme Mathematician bezeichnet wird
- Charles Bachman - Amerikanischer Informatiker, bekannt für Integrierter Datenspeicher
- Roland Carl Backhouse - Mathematik von Computer Programm Konstruktion, Algorithmisch Probleme lösen, Algol
- John Backus – Forran, Backus -Naur -Form, Erster kompletter Compiler
- David F. Bacon - Programmiersprachen, Müllsammlung
- David A. Bader
- Victor Bahl
- Anthony James Barr – SAS -System
- Jean Bartik (1924–2011) - einer der ersten Computerprogrammierer, an Eniac (1946), einer der ersten Vakuumröhre Computers, zurück, wenn "programmieren", um Kabel, Zifferblätter und Schalter zu verwenden, um die Maschine physisch neu zu verdrahten; arbeitete mit John Mauchly zu Binac (1949), Edvac (1949), Univac (1951) früh entwickeln "gespeichertes Programm" Computers
- Andrew Barto
- Friedrich L. Bauer – Stack (Datenstruktur), Sequentielle Formelübersetzung, Algol, Softwareentwicklung, Bauer -Fike -Theorem
- Rudolf Bayer – B-Baum
- Gordon Bell (geboren 1934) - Computerdesigner Dez Vax, Autor: Computerstrukturen
- Steven M. Bellovin – Netzwerksicherheit
- Cecilia Berdichevsky (1925–2010) Pionierin Argentinische Informatiker
- Tim Berners-Lee – Weltweites Netz
- Daniel J. Bernstein - Qmail, Software als geschützte Sprache
- Peter Bernus
- Abhay Bhushan
- DIINES BJørner – Wiener Entwicklungsmethode (VDM), HEBEN
- 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 -Ökonomie, Spiralentwicklung
- Corrado Böhm - Autor des strukturierten Programmsatzes
- Kurt Bollacker
- Jeff Bonwick - erfunden Plattenallokation und ZFS
- Grady Booch – Einheitliche Modellierungssprache, Objektverwaltungsgruppe
- George Boole – Boolesche Logik
- Andrew Booth - entwickelte die erste Drehungspeichergerät
- Kathleen Booth - entwickelte die erste Montagesprache
- Anita Borg (1949–2003) - Amerikanischer Informatiker, Gründer von Anita Borg Institute für Frauen und Technologie
- Bert Bos – Cascading Style Sheets
- Mikhail Botvinnik - Weltschachmeister, Informatiker und Elektroingenieur, der früh Pionierarbeit leistete Expertensystem Ai und Computerschach
- Jonathan Bowen – Z Notation, Formale Methoden
- Stephen R. Bourne – Bourne Shell, tragbar Algol 68c Compiler
- Harry Bouwman (geboren 1953) - niederländischer Informationssystemforscher und Professor an der Åbo Akademi University
- Robert S. Boyer - String -Suche, ACL2 Theorem Prover
- Karlheinz Brandenburg - Hauptsächlich MP3 Mitwirkender
- Lawrence M. Breed -Implementierung von Iverson Notation (APL), gemeinsam entwickelt Apl\ 360, Wissenschaftliche Zeit Sharing Corporation Mitbegründer
- Jack E. Bresenham -Frühe Computer-Graphics-Beiträge, einschließlich Bresenhams Algorithmus
- Sergey Brin -Mitbegründer von Google
- David J. Brown – Einheitliche Gedächtnisarchitektur, binäre Kompatibilität
- Per Brinch Hansen (Nachname "Brinch Hansen") - RC 4000 Multiprogrammierungssystem, Betriebssystemkerne, Mikrokernel, Monitore, gleichzeitige Programmierung, Gleichzeitiger Pascal, verteiltes Computer & Prozesse, Parallele Computing
- Sjaak Brinkkemper - Methode der Produktentwicklung von Produktsoftware
- Fred Brooks – System 360, OS/360, Der mythische Mannmonatsmonat, Keine silberne Kugel
- Rod Brooks
- Margaret Burnett – visuelle Programmiersprachen, Endbenutzer-Software-Engineering, und Geschlechts-inklusive Software
- Michael Butler – Event-B
C
- Tracy Camp – Wireless Computing
- Martin Campbell-Kelly – Geschichte des Computers
- Rosemary Candlin
- Bryan Cantrill - erfunden Dtrace
- Luca Cardelli –
- John Carmack - Code entwickelt Untergang
- Edwin Catmull – Computergrafik
- Vint Cerf - Internet, TCP/IP
- Gregory Chaitin
- Robert Cailliau - Belgischer Informatiker
- Zhou Chachen – Dauer Kalkül
- Peter Chen – Entitätsbeziehungsmodell, Datenmodellierung, Konzeptmodell
- Leonardo Chiariglione - Gründer von MPEG
- Tracy Chou - Informatiker und Aktivist
- Alonzo -Kirche - Mathematik von Kombinators, Lambda -Kalkül
- Alberto Ciaramella – Spracherkennung, Patentinformatik
- Edmund M. Clarke – Modellprüfung
- John Cocke – RISC
- Edgar F. Codd (1923–2003) - formulierte die Datenbank Relationales Modell
- Jacques Cohen - Informatikprofessor
- Ian Coldwater - Computersicherheit
- Simon Colton – Rechenkreativität
- Alain Colmerauer – Prolog
- Douglas Comer – Xinu
- Paul Justin Compton – Ripple Down -Regeln
- Gordon Cormack -Co-erfunden Dynamische Markov -Komprimierung
- Stephen Cook – NP-Vervollständigung
- James Cooley – Schnelle Fourier-Transformation (FFT)
- Danese Cooper – Quelloffene Software
- Fernando J. Corbató – Kompatibler Zeitaustauschsystem (CTSS), Mehrheit
- Kit Cosper - Quelloffene Software
- Patrick Cousot – Abstrakte Interpretation
- Ingemar Cox – Digitales Wasserzeichen
- Seymour Cray – Cray Research, Supercomputer
- Nello Cristianini - maschinelles Lernen, Musteranalyse, künstliche Intelligenz
- Jon Crowcroft - Networking
- W. Bruce Croft
- Glen Culler - Interaktives Computing, Computergrafik, Hochleistungs -Computing
- Haskell Curry
D
- Luigi Dadda - Designer der Dadda Multiplikator
- Ole-Johan Dahl – Simula, Objekt orientierte Programmierung
- Ryan Dahl - Gründer von node.js Projekt
- Andries Van Dam – Computergrafik, Hypertext
- Samir Das – Drahtlose Netzwerke, Mobile Computing, Fahrzeug -Ad -hoc -Netzwerk, Sensornetzwerke, Netznetzwerk, Drahtloses Ad -hoc -Netzwerk
- Neil Daswani – Computersicherheit, Mitbegründer und Co-Direktor des Stanford Advanced Computer Security Program, Mitbegründer von Dasie (übernommen von Twitter), ehemalige Chief Information Security of LifeLock und Symantecs Consumer Business Unit
- Christopher J. Date - Befürworter von Datenbank Relationales Modell
- Jeff Dean – Großer Tisch, Karte verkleinern, Schlüssel von Google
- Erik Demaine – Rechenigami
- Tom DeMarco
- Richard Demillo – Computersicherheit, Softwareentwicklung, Bildungstechnologie
- Dorothy E. Denning - Computersicherheit
- Peter J. Denning - identifizierte die Verwendung eines Betriebssystem's Workingset und Balance Set, Präsident von ACM
- Michael Dertouzos - Regisseur von Massachusetts Institute of Technology (MIT) Labor für Informatik (LCS) von 1974 bis 2001
- Alexander Dewdney
- Robert Dewar – IFIP WG 2.1 Mitglied, Algol 68Vorsitzender; Adacore Mitbegründer, Präsident, CEO
- Vinod Dham – P5 Pentium Prozessor
- Jan Dietz (geboren 1945) (Verfall konstant) - Informationssysteme Theorie und Design & Engineering Methodology for Organizations
- Whitfield Diffie (geboren 1944) (Lineare Antwortfunktion) - Öffentlicher Schlüssel Kryptographie, Diffie -Hellman Key Exchange
- Edsger Dijkstra – Algorithmen, Dijkstra -Algorithmus, Gehen Sie zu einer schädlichen Aussage als schädlich, Semaphor (Programmierung), IFIP WG 2.1 Mitglied
- Matthew Dillon – Libelle BSD mit Lwkt, vkernel OS-Level-Virtualisierung, Dateisysteme: HAMMER1,, Hammer2
- Alan Dix - Wichtiges Lehrbuch der Universitätsebene schrieb Menschliche interaktion mit dem Computer
- Jack Dongarra – Lineare Algebra High Performance Computing (HCI)
- Marco Dorigo – Ameisenkolonieoptimierung
- Paul tourish – Menschliche interaktion mit dem Computer
- Charles Stark Draper (1901–1987) - Designer von Apollo Guidance Computer, "Vater von Trägheitsnavigation", MIT Professor
- Susan Dumais – Informationsrückgewinnung
- Adam Dunkels – Contiki, lwip, uip, Prototheads
- Jon Michael Dunn - Gründungsdekan der Indiana University School of Informatics, besonders Informationsbasierte Logik Relevanzlogik
- Schahram Dustdar - Verteilte Systeme, Tu Wien, Österreich
E
- Peter Eades – Grafikzeichnung
- Annie Easley
- Wim Ebbinkhuijsen – Cobol
- John Presper Eckert – Eniac
- Alan Edelman - Edelmans Gesetz, stochastischer Betreiber, interaktives Supercomputing, Julia (Programmiersprache) Cocreator, High Performance Computing, Numerical Computing
- Brendan Eich – JavaScript, Mozilla
- Philip EMEAGWALI - Supercomputing
- E. Allen Emerson - Modellprüfung
- Douglas Engelbart - gekachelt Fenster, Hypertext, Computermaus
- Barbara Engelhardt - Latente variable Modelle, Genomik, Quantitativer Merkmal Locus (Qtl)
- David Eppstein
- Andrey Ershov - Sprachen ALPHA, Rapira; Erster Sowjet Zeitteilung System AIST-0elektronisches Verlagssystem EINREIBEN, Multiprozessierung Arbeitsplatz Mramor, IFIP WG 2.1 Mitglied, Ästhetik und der menschliche Faktor bei der Programmierung
- Don Estridge (1937–1985) - LED -Entwicklung des Originals IBM PC (PC); bekannt als "Vater des IBM PC"
- Oren Etzioni – Metacrawler, NetBot
- Christopher Riche Evans
- David C. Evans – Computergrafik
- Shimon sogar
F
- Scott Fahlman
- Edward Feigenbaum – Intelligenz
- Edward Felten – Computersicherheit
- Tim Finin
- Raphael Finkel
- Donald Firemmith
- Gary William Flake
- Tommy Blumen – Colossus Computer
- Robert Floyd – NP-Vervollständigung
- Sally Floyd - Überlastungskontrolle für Internet
- Lawrence J. Fogel – Evolutionsprogrammierung
- James D. Foley
- Ken Forbus
- L. R. Ford, Jr.
- Lance Fortnow
- Mahmoud Samir fayed - PWCT, Ring
- Martin Fowler
- Robert France
- Herbert W. Franke
- Edward Fredkin
- Yoav Freund
- Daniel P. Friedman
- Charlotte Froese Fischer - Computertheoretische Physik
- Ping Fu
- Xiaoming Fu
- Kunihiko Fukushima – Neocognitron, künstliche neurale Netzwerke, Faltungsnetzwerk die Architektur, unbeaufsichtigtes Lernen, tiefes Lernen
- D. R. Fulkerson
G
- Richard P. Gabriel – MacLisp, Common Lisp, Schlimmer ist besser, Liga für die Programmierfreiheit, Lucid Inc., Xemacs
- ZVI Galil
- Bernard Galler – MAD (Programmiersprache)
- Hector Garcia-Molina
- Michael Garey – NP-Vervollständigung
- Hugo de Garis
- Bill Gates - Mitbegründer von Microsoft
- David Gelernter
- Lisa Gelobter - War der Chief Digital Service Officer des US -Bildungsministeriums, Gründer von Tequitable
- Charles Geschke
- Zoubin Ghahramani
- Sanjay Ghemawat
- Jeremy Gibbons – generische Programmierung, Funktionelle Programmierung, Formale Methoden, Computerbiologie, Bioinformatik
- Juan E. Gilbert – Menschenzentriertes Computer
- Lee Giles – Citeseer
- Seymour Ginsburg – formelle Sprachen, Automatenheorie, AFL -Theorie, Datenbanktheorie
- Robert L. Glass
- Kurt Gödel – Berechnbarkeit; Kein Informatiker per se, aber seine Arbeit war auf diesem Gebiet von unschätzbarem Wert
- Ashok Goel
- Joseph Goguen
- Hardik Gohel
- E. Mark Gold – Sprachidentifikation in der Grenze
- Adele Goldberg – Smalltalk
- Andrew V. Goldberg – Algorithmen, Algorithmus Engineering
- Ian Goldberg - Kryptograph, Off-the-Record-Nachrichten
- Od Goldreich – Kryptographie, Computerkomplexitätstheorie
- SHAFI GOLDSER – Kryptographie, Computerkomplexitätstheorie
- Gen Golub – Matrix Berechnung
- Martin Charles Golumbic – Algorithmische Graphentheorie
- Gastón Gonnet - Mitbegründer von Waterloo Ahorn Inc.
- Ian Goodfellow – maschinelles Lernen
- James Gosling - Netzwerk erweiterbares Fenstersystem (Nachrichten), Java
- Paul Graham – Viaweb, Auf Lisp, Bogen
- Robert M. Graham - Programmiersprache Compiler (Gat, Michigan Algorithmus Decoder (Verrückt)), virtuelle Gedächtnisarchitektur, Mehrheit
- Susan L. Graham – Compiler, Programmierumgebungen
- Jim Gray – Datenbank
- Sheila Greibach – Greibach Normale Form, Abstrakte Sprachfamilie (AFL) Theorie
- Ralph Griswold – Snobol
- Bill Gropp – Schnittstelle zur Nachrichtenübergabe, Tragbares, erweiterbares Toolkit für wissenschaftliche Berechnungen (PETSC)
- Tom Gruber – Ontology Engineering
- Shelia Guberman – Handschrifterkennung
- Ramanathan V. Guha – Ressourcenbeschreibung Framework (RDF), Netscape, RSS, Epinionen
- Neil J. Gunther – Computerleistung Analyse, Kapazitätsplanung
- Jürg Gutknecht - mit Niklaus Wirth: Lilith Computer; Modula-2, Oberon, Zonnon Programmiersprachen; Oberon -Betriebssystem
- Michael Guy – Phönix, arbeite an Zahlentheorie, Computeralgebra, höhere Dimension Polyeder Theorie; mit John Horton Conway
- Robert Griesemer - gehen
H
- Nico Habermann - Arbeite an Betriebssysteme, Softwareentwicklung, Interprozesskommunikation, Prozesssynchronisation, Sackgasse Vermeidung, Softwareüberprüfung, Programmiersprachen: Algol 60, WONNE, Pascal, Ada
- Philipp Matthäus Hahn - mechanisch Taschenrechner
- Eldon C. Hall – Apollo Guidance Computer
- Wendy Hall
- Joseph Halpern
- Margaret Hamilton -Ultra-zuverlässiges Softwaredesign
- Richard Hamming – Hamming -Code, Gründer der Verband für Rechenmaschinen
- Jiawei Han – Data Mining
- Frank Harary – Graphentheorie
- Juris Hartmanis – Computerkomplexitätstheorie
- Johan Håstad – Computerkomplexitätstheorie
- Les Hatton – Softwareausfall und Schwachstellen
- Igor Hawryszkiewycz, (geb. 1948) - Amerikanischer Informatiker und Organisationstheoretiker
- Er Jifeng – nachweislich richtig Systeme
- Eric Hehner – prädiktative Programmierung, Formale Methoden, Zitatnotation, Algol
- Martin Hellman - Verschlüsselung
- Gernot Heiser – Betriebssystem Lehre, Forschung, Kommerzialisierung, Offene Kernellabors, OKL4, Wombat
- James Hendler – Semantisches Web
- John L. Hennessy – Rechnerarchitektur
- Andrew Herbert
- Carl Hewitt
- Kelsey Hightower - Open Source, Cloud Computing
- Danny Hillis – Verbindungsmaschine
- Geoffrey Hinton
- Julia Hirschberg
- Tin Kam ho – künstliche Intelligenz, maschinelles Lernen
- C. A. R. Hoare – Logik, Strenge, Kommunizieren von sequentiellen Prozessen (CSP)
- Louis Hodes (1934–2008) - Lispeln, Mustererkennung, Logikprogrammierung, Krebsforschung
- Betty Holberton – Eniac Programmierer entwickelte die erste Sortieren Sie den Generator für den Zusammenschluss
- John Henry Holland – genetische Algorythmen
- Herman Hollerith (1860–1929) - Erfunden Sie die Aufzeichnung von Daten auf einem maschinenlesbaren Medium mit Verwendung geschlagene Karten
- Gerard Holzmann – Softwareüberprüfung, Logikmodellprüfung (DREHEN)
- John Hopcroft - Compiler
- Admiral Grace Hopper (1906–1992)-Frühe Compiler entwickelt: Flow-Matic, Cobol; arbeitete an Univac; gab Reden in der Computergeschichte, wo sie ausgab Nanosekunden
- Eric Horvitz – künstliche Intelligenz
- Alston -Hausbesitzer
- Paul Hudak (1952–2015) - Haskell Sprachdesign
- David A. Huffman (1925–1999) - Huffman -Codierung, verwendet bei der Datenkomprimierung
- John Hughes - Berechnungen mit strukturieren mit Pfeile; Schneller Check Randomisierter Programmtests -Framework; Haskell Sprachdesign
- Roger Hui -Co-geschaffen J Sprache
- Watts Humphrey (1927–2010) - Persönlicher Softwareprozess (PSP), Softwarequalität, Team -Softwareprozess (TSP)
I
- Jean Ichbiah – Ada
- Roberto Ierusalimschy – Lua (Programmiersprache)
- Dan Ingalls – Smalltalk, Bitblt, Lebhafter Kernel
- Mary Jane Irwin
- Kenneth E. Iverson – Apl, J
J
- Ivar Jacobson – Einheitliche Modellierungssprache, Objektverwaltungsgruppe
- Anil K. Jain (geboren 1948)
- Ramesh Jain
- 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 Bildverarbeitung
- Poul-Henning Kamp - erfunden Gbde, Freebsd Gefängnisse, Lackcache
- David Karger
- Richard Karp – NP-Vervollständigung
- Narendra Karmarkar – Karmarkars Algorithmus
- Marek Karpinski - NP -Optimierungsprobleme
- Ted Kaehler – Smalltalk, Quietschen, Hypercard
- Alan Kay – Dynabook, Smalltalk, überlappend Fenster
- Neeraj Kayal – ASS -Primalitätstest
- Manolis Kellis - Computerbiologie
- John George Kemeny – BASIC
- Ken Kennedy - Kompilieren für parallele und Vektormaschinen
- Brian Kernighan (geboren 1942) - Unix, Die Verwandtschaft Awk
- Carl Kesselman – Raster Computing
- Gregor Kiczales – Schloss, Betrachtung, Aspekt-orientiertes Programmieren
- Peter T. Kirstein - Internet
- Stephen Cole Kleene – Kleene -Schließung, Rekursionstheorie
- Dan Klein – Verarbeitung natürlicher Sprache, Maschinenübersetzung
- Leonard Kleinrock – Arpanet, Warteschlangenentheorie, Paketschaltung, Hierarchische Routing
- Donald Knuth – Die Kunst der Computerprogrammierung, MISCHEN/Mmix, Tex, Lemerkörperprogrammierung
- Andrew Koenig – C ++
- Daphne Koller – Künstliche Intelligenz, Bayesianes 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 – Logikprogrammierung
- John Koza – Genetische Programmierung
- John Krogstie – Folgenrahmen
- Joseph Kruskal – Kruskals Algorithmus
- Thomas E. Kurtz (geboren 1928) - BASIC Programmiersprache; Computerprofessor des Dartmouth College
L
- Richard E. Ladner
- Monica S. Lam
- Leslie Lamport – Algorithmen zum verteiltes Computer, Latex
- Butler Lampson – SDS 940, Gründungsmitglied Xerox Parc, Xerox Alto, Turing Award
- Peter Landin – ICH SCHWIMME, J Operator, SECD -Maschine, Off-Side-Regel, syntethischer Zucker, Algol, IFIP WG 2.1 Mitglied, Fortgeschrittene Lambda -Kalkül modellieren Programmiersprachen (unterstützt Funktionelle Programmierung), Denotationssemantik
- Tom Lane – Unabhängige JPEG -Gruppe, PostgreSQL, Tragbare Netzwerkgrafiken (PNG)
- Börje Langefors
- Chris Lattner - Schöpfer von Schnell (Programmiersprache) und Llvm Compiler -Infrastruktur
- Steve Lawrence
- Edward D. Lazowska
- Joshua Lederberg
- Manny M Lehman
- Charles E. Leiserson – Cache-obliven Algorithmen, nachweislich gut Arbeitsdauer, Co -Autor von Einführung in Algorithmen
- Douglas Lenat – künstliche Intelligenz, Cyc
- Yann Lecun
- Rasmus Lerdorf – Php
- Max Levchin – Gausebeck -Levchin -Test und Paypal
- Leonid Levin – Computerkomplexitätstheorie
- Kevin Leyton-Brown – künstliche Intelligenz
- J.C.R. Licklider
- David Liddle
- Jochen liestke – Mikrokernel Betriebssysteme Eumel, L3, L4
- John Lions – Der Kommentar von Lions zu Unix 6. Ausgabe mit Quellcode (Löwenbuch)
- Charles H. Lindsey – IFIP WG 2.1 Mitglied, Überarbeiteter Bericht über Algol 68
- Richard J. Lipton – Computerkomplexitätstheorie
- Barbara Liskov – Programmiersprachen
- Yanhong Annie Liu – Programmiersprachen, Algorithmen, Programmdesign, Programmoptimierung, Software Systeme, Optimierung, Analyse und Transformationen, intelligente Systeme, verteiltes Computer, Computersicherheit, IFIP WG 2.1 Mitglied
- Darrell lang – Computerdatenspeicher, Computersicherheit
- Patricia D. Lopez - Erweiterung der Teilnahme am Computer
- Gillian Lovegrove
- Ada Lovelace - Erster Programmierer
- David Luckham – Lispeln, Automatisierter Theorem beweisen, Stanford Pascal Verifizierer, Komplexe Ereignisverarbeitung, Rationale Software Mitbegründer (Ada Compiler)
- Eugene Luks
- Nancy Lynch
M
- Nadia Magnat Thalmann – Computergrafik, Virtueller Schauspieler
- Tom Maibaum
- Zohar Manna – Fuzzy Logic
- James Martin – Informationsingenieurswesen
- Robert C. Martin (Onkel Bob) - Software Handwerkskunst
- John Mashey
- Yuri Matiyasevich - Lösen Hilberts zehnte Problem
- Yukihiro Matsumoto – Ruby (Programmiersprache)
- John Mauchly (1907–1980) - gestaltet Eniac, erster allgemeiner elektronischer digitaler Computer sowie EDVAC, Binac und Univac I, der erste kommerzielle Computer; arbeitete mit Jean Bartik an Eniac und Grace Murray Hopper an Univac
- Ujjwal Maulik (1965–) Multi-Objektiv-Clustering und Bioinformatik
- Derek McAuley – Allgegenwärtiges Computer, Rechnerarchitektur, Networking
- John McCarthy – Lisp (Programmiersprache), Algol, IFIP WG 2.1 Mitglied, künstliche Intelligenz
- Andrew McCallum
- Douglas McIlroy – Makros, Pfeifen, Unix -Philosophie
- Chris McKinstry – künstliche Intelligenz, Mindpixel
- Marshall Kirk McKusick – BSD, Berkeley schnelles Dateisystem
- Lambert Meertens – Algol 68, IFIP WG 2.1 Mitglied, ABC (Programmiersprache)
- Kurt Mehlhorn - Algorithmen, Datenstrukturen, Leda
- Dora Metcalf - Unternehmer, Ingenieur und Mathematiker
- Bertrand Meyer – Eiffel (Programmiersprache)
- Silvio Micali – Kryptographie
- Robin Milner – ML (Programmiersprache)
- Jack Minker - Datenbanklogik
- Marvin Minsky – künstliche Intelligenz, Wahrnehmung, Gesellschaft des Geistes
- James G. Mitchell – Watfor Compiler, Mesa (Programmiersprache), Feder (Betriebssystem), Armarchitektur
- Tom M. Mitchell
- Arvind Mithal – formelle Überprüfung of large Digitale Systeme, Dynamik entwickeln DataFlow -Architekturen, Parallele Computing Programmiersprachen (ID, pH), Kompilieren auf parallele Maschinen
- Paul Mockapetris – Domainnamensystem (DNS)
- Cleve Moler – numerische Analyse, Matlab
- Faron Moller – Parallelitätstheorie
- John P. Moon – Erfinder, Apple Inc.
- Charles H. Moore – Weiter Sprache
- Edward F. Moore – Moore -Maschine
- Gordon Moore – Moores Gesetz
- J Strother Moore - String -Suche, ACL2 Theorem Prover
- Roger Moore -Co-entwickelt Apl\ 360, erstellt Ipsanet, mitbegründet I. P. Sharp Associates
- Hans Moravec - Robotik
- Carroll Morgan – Formale Methoden
- Robert Tappan Morris – Morris Worm
- Joel Moses – MACSYMA
- Rajeev Motwani – Randomisierter Algorithmus
- Oleg A. Mukhanov – Quanten-Computing Entwickler, Mitbegründer und CTO von Seeqc
- Stephen Muggleton – Induktive Logikprogrammierung
- Klaus-Robert Müller - maschinelles Lernen, künstliche Intelligenz
- Alan Mycroft - Programmiersprachen
- Musharaf M.M.Hussain - Parallele Computing und Multicore Supper Scaler Processor
N
- Mihai Nadin - Vorfreudeforschung
- Makoto Nagao - Maschinelle Übersetzung, Verarbeitung natürlicher Sprache, digitale Bibliothek
- Friedern Nake - Pionierarbeit in Computerkunst
- Bonnie Nardi - Menschliche interaktion mit dem Computer
- Peter Naur (1928–2016) - Backus -Naur -Form (BNF), Algol 60, IFIP WG 2.1 Mitglied
- Roger Needham - Computersicherheit
- James G. Nell – Generalised Enterprise Reference Architecture and Methodology (Geram)
- Greg Nelson (1953–2015) - Befriedigungsmodulo -Theorien, erweiterte statische Überprüfung, Programmüberprüfung, Modula-3 Komitee, Vereinfachen Theorem Prover in Esc/Java
- Bernard de Neumann - Massiv parallele autonomer Mobilfunkprozessor, Software -Engineering -Forschung
- 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, Mathematik Pioneer, Lineares Programmieren, Quantenmechanik
- Allen Newell – künstliche Intelligenz, Computerstrukturen
- Max Newman – Colossus Computer, MADM
- Andrew Ng – künstliche Intelligenz, maschinelles Lernen, Robotik
- Nils John Nilsson (1933–2019) - künstliche Intelligenz
- G.M. Nijssen - Informationsanalyse -Methodik von NIJSsen (NIAM) Objektrollenmodellierung
- Tobias Nipkow - Proof Assistance
- Maurice Nivat – Theoretische Informatik, Theoretische Informatik Tagebuch, Algol, IFIP WG 2.1 Mitglied
- Phiwa Nkambule – Fintech, künstliche Intelligenz, maschinelles Lernen, Robotik
- Jerre Noe - Computerisiertes Bankgeschäft
- Peter Nordin – künstliche Intelligenz, Genetische Programmierung, Evolutionsroboter
- Donald Norman – Benutzeroberflächen, Benutzerfreundlichkeit
- Peter Norvig – künstliche Intelligenz, Forschungsdirektor bei Google
- George Novacky - Universität von Pittsburgh: Vorsitzender Abteilungsvorsitzender, Senior Dozent für Informatik, stellvertretender Dekan der CAS für Grundstudienstudien
- Kristen Nygaard – Simula, Objekt orientierte Programmierung
O
- Martin Odensky – Scala Programmiersprache
- Peter O'hearn – Trennungslogik, Bündelte Logik, Statischer Analysator schließen
- T. William Olle - Ferranti Mercury
- Steve Omohundro
- Severo Ornstein
- John O'Sullivan – W-lan
- John outsterhout – Tcl Programmiersprache
- Markieren Sie – Videospiel Programmierung
P
- Larry Seite -Mitbegründer von Google
- Sankar Pal
- Paritosh Pandya
- Christos Papadimitriou
- David Park (1935–1990) - Zuerst Lispeln Implementierung, Fairness -Experte, Programmschemata, Halbierung in Gleichzeitiges Computer
- David Parnas – Informationen verstecken sich, Modulare Programmierung
- DJ Patil - ehemaliger Chefdatenwissenschaftler der Vereinigten Staaten
- Yale Patt – Parallelität auf Befehlsebene, spekulative Architekturen
- David Patterson – Reduzierter Befehlssatz Computer (RISC), Risc-v, redundante Arrays kostengünstiger Scheiben (ÜBERFALLEN), Berkeley Netzwerk von Workstations (JETZT)
- Mike Paterson – Algorithmen, Analyse von Algorithmen (Komplexität)
- Mihai Pătraşcu – Datenstrukturen
- Lawrence Paulson – Ml
- Randy Pausch (1960–2008) - Menschliche interaktion mit dem Computer, Carnegie Professor, "Letzter Vortrag"
- Juan Pavón – Software -Agenten
- Judäa Perle – künstliche Intelligenz, Suchalgorithmen
- Alan Perlis – Programmierperlen programmieren
- Radia Perlman – Spannende Baumprotokoll
- Pier Giorgio Perotto - Computerdesigner bei Olivetti, Designer der Programma 101 Programmierbarer Taschenrechner
- Rózsa Péter – Rekursive Funktionstheorie
- Simon Peyton Jones – Funktionelle Programmierung
- Kathy Pham - Daten, künstliche Intelligenz, Bürgertechnologie, Gesundheitswesen, Ethik
- Roberto Pieraccini - Sprachtechnologe, Ingenieurdirektor bei Google
- Gordon Plotkin
- Amir Pnueli – zeitliche Logik
- Willem van der Poel - Computergrafiken, Robotik, geografische Informationssysteme, Bildgebung, Multimedia, virtuelle Umgebungen, Spiele
- Cicely Popplewell (1920–1995) - British Software Engineer in den 1960er Jahren
- Emil Post - Mathematik
- Jon Postel - Internet
- Franco Preparata – Technische Informatik, Computergeometrie, Parallelalgorithmen, Computerbiologie
- William H. Press - Numerische Algorithmen
R
- Rapelang Rabana
- Grzegorz Rozenberg – Natural Computing, Automatenheorie, Graphtransformationen und Gleichzeitige Systeme
- Michael O. Rabin – Nichtdeterministische Maschine
- Dragomir R. Radev – Verarbeitung natürlicher Sprache, Informationsrückgewinnung
- T. V. Raman – Barrierefreiheit, Emacspeak
- Brian Randell – Algol 60, Software Fehlertoleranz, Zuverlässigkeit, vor 1950 Geschichte der Berechnung der Hardware
- Anders P. Ravn – Dauer Kalkül
- Raj Reddy – künstliche Intelligenz
- David P. Reed
- Trygve Reenskaug – Model View Controller (MVC) Softwarearchitekturmuster
- John C. Reynolds – Kontinuationen, Definitionsdolmetscher, Defunktionalisierung, Forsythe, Gedanken Sprache, Kreuzungstypen, Polymorphe Lambda -Kalkül, relational Parameter, Trennungslogik, Algol
- Joyce K. Reynolds - Internet
- Wiedereintrieb van de riet - Editor: Europa der Daten und Wissenstechnik, Color-X-Ereignismodellierungssprache
- Bernard Richards – Medizinische Informatik
- Martin Richards - BCPL
- Adam Riese
- C. J. Van Rijsbergen
- Dennis Ritchie – C (Programmiersprache), Unix
- Ron Rivest – RSA, MD5, RC4
- Ken Robinson – Formale Methoden
- Colette Rolland - Remora -Methodik, Meta -Modellierung
- John Romero - Code entwickelt Untergang
- Azriel Rosenfeld
- Douglas T. Ross - automatisch programmierte Tools (GEEIGNET), Computergestütztes Design, Strukturierte Analyse- und Designtechnik, Algol x
- Guido van Rossum – Python (Programmiersprache)
- M. A. Rothman – Uefi
- Winston W. Royce - Wasserfall-Modell
- Rudy Rucker - Mathematiker, Schriftsteller, Pädagoge
- Steven Rudich - Komplexitätstheorie, Kryptographie
- Jeff Rulifson
- James Rumbaugh – Einheitliche Modellierungssprache, Objektverwaltungsgruppe
- Peter Ružička - Slowakische Informatiker und Mathematiker
S
- George Sadowsky
- Umar Saif
- Gerard Salton – Informationsrückgewinnung
- Jean E. Sammet – Programmiersprachen
- Claude Sammut – künstliche Intelligenz Forscher
- Carl Sassenrath – Betriebssysteme, Programmiersprachen, Amiga, Rebol
- Mahadev Satyanarayanan – Dateisysteme, verteilte Systeme, Mobile Computing, Pervasives Computing
- Walter Savitch - Entdeckung der Komplexitätsklasse Nl, Savitchs Theorem, Verarbeitung natürlicher Sprache, Mathematische Sprachwissenschaft
- Jonathan Schaeffer
- Wilhelm Schickard - einer der Ersten Berechnungsmaschinen
- Jürgen Schmidhuber - Künstliche Intelligenz, tiefes Lernen, künstliche neuronale Netzwerke, Wiederkehrende neuronale Netze, Gödel Machine, künstliche Neugier, Meta-Learning
- Steve Schneider – Formale Methoden, Sicherheit
- Bruce Schneier - Kryptographie, Sicherheit
- Fred B. Schneider - gleichzeitiges und verteiltes Computing
- Sarita Schoenebeck - Menschliche interaktion mit dem Computer
- Glenda Schroeder -Befehlszeilenschale, E-Mail
- Bernhard Schölkopf - maschinelles Lernen, künstliche Intelligenz
- Dana Scott – Domain -Theorie
- Michael L. Scott – Programmiersprachen, Algorithmen, verteiltes Computer
- Robert Sedgebick - Algorithmen, Datenstrukturen
- Ravi Sethi - Compiler, 2. Drachenbuch
- Nigel Shadbolt
- Adi Shamir – RSAKryptanalyse
- Claude Shannon – Informationstheorie
- David E. Shaw - Computerfinanzierung, Computerbiochemie, parallele Architekturen
- Cliff Shaw - Systemprogrammierer, künstliche Intelligenz
- Scott Shenker - Networking
- Ben Shineiderman – Menschliche interaktion mit dem Computer, Informationsvisualisierung
- Edward H. Shortliffe – Mycin (Medizinisches diagnostisches Expertensystem)
- Daniel Siewiorek – elektronische Designautomatisierung, Zuverlässigkeitscomputer, Kontext bewusst Mobile Computing, tragbare Computer, computergestütztes Design, Rapid-Prototyping, Fehlertoleranz
- Joseph Sifakis - Modellprüfung
- Herbert A. Simon – künstliche Intelligenz
- Munindar P. Singh – Mehrfachsysteme, Softwareentwicklung, künstliche Intelligenz, soziale Netzwerke
- Ramesh Sitaraman - half beim Aufbau AkamaiDas Hochleistungsnetzwerk
- Daniel Sleator – Spreizbaum, Amortisierte Analyse
- Aaron Sloman - Künstliche Intelligenz und kognitive Wissenschaft
- Arne Sølvberg - Informationsmodellierung
- Brian Cantwell Smith – Reflexion (Informatik), 3lisp
- David Canfield Smith - erfunden Schnittstellensymbole, Programmierung durch Demonstration, aufgetreten grafische Benutzeroberfläche, Xerox Star; Xerox Parc Forscher, Co -Cofounded Dest System, Kognition
- Steven Spewak – Unternehmensarchitekturplanung
- Carol Spradling
- Robert Sproull
- Rohini Kesavan Srihari – Informationsrückgewinnung, Textanalytik, mehrsprachiger Textabbau
- Sargur Srihari – Mustererkennung, maschinelles Lernen, Computerkriminologie, Zedernfuch
- Maciej Stachowiak – Gnom, Safari, Webkit
- Richard Stallman (geboren 1953) - GNU -Projekt
- Ronald Stamper
- Richard E. Stearns – Computerkomplexitätstheorie
- Guy L. Steele, Jr. – Planen, Common Lisp
- Thomas Sterling - Schöpfer von Beowulf Cluster
- Alexander Stepanov – generische Programmierung
- W. Richard Stevens (1951–1999) - Autor von Büchern, einschließlich TCP/IP illustriert und Erweiterte Programmierung in der UNIX -Umgebung
- Larry Stockmeyer - Rechenkomplexität, verteiltes Computing
- Salvatore Stolfo - Computersicherheit, maschinelles Lernen
- Michael Stonebraker – relationale Datenbank Praxis und Theorie
- Olaf Storaasli – Finite -Element -Maschine, Lineare Algebra, High Performance Computing
- Christopher Strachey – Denotationssemantik
- Volker Strassen – Matrix-Multiplikation, Ganzzahl -Multiplikation, Solovay -Strassen -Primalitätstest
- Bjarne Stroustrup – C ++
- Madhu Sudan – Computerkomplexitätstheorie, Codierungstheorie
- Gerald Jay Sussman – Planen
- Bert Sutherland – Grafik, Internet
- Ivan Sutherland – Grafik
- Latanya Sweeney - Datenschutz und algorithmische Fairness
- Mario Szegedy – Komplexitätstheorie, Quanten-Computing
T
- Parisa Tabriz - Google Director of Engineering, auch bekannt als Security Princess
- Roberto Tamassia – Computergeometrie, Computersicherheit
- Andrew S. Tanenbaum – Betriebssysteme, Minix
- Austin Tate – Künstliche Intelligenz Anwendungen, KI -Planung, Virtuelle Welten
- Bernhard Thalheim - Konzeptmodellierungsstiftung
- Éva Tardos
- Gábor Tardos
- Robert Tarjan - Spreizbaum
- Valerie Taylor
- Mario Tchou - Italienischer Ingenieur, chinesischer Abstammung, Anführer von Olivetti Elea Projekt
- Jaime Teevan
- Shang-Hua Teng - Analyse von Algorithmen
- Larry Tesler - Human -Computer -Interaktion, grafische Benutzeroberfläche, Apple Macintosh
- Avie Tevanian - Mach Kernel Team, Weiter, Mac OS X
- Charles P. Thacker – Xerox Alto, Microsoft Research
- Daniel Thalmann – Computergrafik, Virtueller Schauspieler
- Ken Thompson – Unix
- Sebastian Thrun - KI -Forscher, Pionierarbeit autonomes Fahren
- Walter F. Tichy - RCS
- Seinosuke Toda - Berechnungskomplexität, Empfänger von 1998 Gödel -Preis
- Linus Torvalds – Linux Kernel, Git
- Leonardo Torres y Quevedo (1852–1936) - erfunden El Ajedrecista (der Schachspieler) 1912 ein wahrer Automaten, der für Schach ohne menschliche Führung gebaut wurde. In seiner Arbeit Essays über Automatik (1913) stellte die Idee von vor schwimmende Punktarithmetik. 1920 baute ein frühes elektromechanisches Gerät der Analytischer Motor.
- Gottfriedete Toussaint - Computergeometrie, Computermusiktheorie
- Gloria Townsend
- Edwin E. Tozer - Wirtschaftsinformatik
- Joseph F Traub - Berechnungskomplexität wissenschaftlicher Probleme
- John V. Tucker – Computerbarkeitstheorie
- John Tukey - Gründer von FFT -Algorithmus, Box-Plot, Explorationsdatenanalyse und den Begriff "Bit" prägen
- Alan Turing (1912–1954) - British Computing Pioneer, Turing Maschine, AlgorithmenKryptologie, Rechnerarchitektur
- David Turner – Sasl, Rekursiver Taschenrechner von Kent, Miranda, IFIP WG 2.1 Mitglied
- Murray Turoff – Computervermittelte Kommunikation
U
- Jeffrey D. Ullman - Compiler, Datenbanken, Komplexitätstheorie
V
- Leslie Valiant – Computerkomplexitätstheorie, Computerlerntheorie
- Vladimir Vapnik – Mustererkennung, Computerlerntheorie
- Moshe Vardi - Professor für Informatik bei Rice University
- Dorothy Vaughan
- Umesh Vazirani
- Manuela M. Veloso
- François Vernadat – Unternehmensmodellierung
- Richard sehr - Unternehmensmodellierung
- Sergiy Vilkomir – Softwaretest, RC/DC
- Paul Vitanyi – Kolmogorov -Komplexität, Informationsdistanz, Normalisierter Kompressionsabstand, Normalisierte Google -Entfernung
- Andrew Viterbi – Viterbi -Algorithmus
- Jeffrey Scott Vitter – Externer Speicher Algorithmen, Druckdatenstrukturen, Datenkompression, Datenbanken
- Paul Vixie – DNS, BINDEN, Paix, Internet -Softwarekonsortium, Karten, DNSBL
W
- Eiiti wada – Algol n, IFIP WG 2.1 Mitglied, Japanische Industriestandards (Jis) x 0208, 0212, Happy Hacking -Tastatur
- David Wagner - Sicherheit, Kryptographie
- David Waltz
- James Z. Wang
- Steve Ward
- Manfred K. Warmuth – Computerlerntheorie
- David H. D. Warren – Ai, Logikprogrammierung, Prolog, Warren abstrakte Maschine (WAM)
- Kevin Warwick - künstliche Intelligenz
- Jan Weglarz
- Philip Wadler – Funktionelle Programmierung, Haskell, Monad, Java, Logik
- Peter Wegner – Objekt orientierte Programmierung, Interaktion (Informatik)
- Joseph Henry Wegstein – Algol 58, Algol 60, IFIP WG 2.1 Mitglied, Datenverarbeitung Technische Standards, Fingerabdruck Analyse
- Peter J. Weinberger - Programmiersprache Design, das 'w' in Awk
- Mark Weiser – Allgegenwärtiges Computer
- Joseph Weizenbaum - künstliche Intelligenz, Eliza
- David Wheeler - EDSAC, Unterroutinen
- Franklin H. Westervelt - Verwendung von Computern in der Ingenieurausbildung, der Konversationsnutzung von Computern, Michigan Terminalsystem (MTS), Arpanet, Fernunterricht
- Steve Whittaker – Menschliche interaktion mit dem Computer, Computerunterstützung für kooperative Arbeit, sozialen Medien
- Jennifer Widom - Nicht -traditionelles Datenmanagement
- Gio Wiederhold – Datenbankmanagementsystem
- Norbert Wiener – Kybernetik
- Adriaan van Wijngaarden - niederländischer Pionier; Arra, Algol, IFIP WG 2.1 Mitglied
- Mary Allen Wilkes – Linc Entwickler, Assembler-Linker-Designer
- Maurice Vincent Wilkes - Mikroprogrammierung, Edsac
- Yorick Wilks – Computerlinguistik, künstliche Intelligenz
- James H. Wilkinson – numerische Analyse
- Sophie Wilson – Armarchitektur
- 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 Herstellung (ICAM), Idef
- Stephen Wolfram – Mathematica
- Mike Woodger – Pilot Ace, Algol 60, ADA (Programmiersprache)
- Philip Woodward – Mehrdeutigkeitsfunktion, SINC -Funktion, Kammbetreiber, Reponator, Algol 68-R
- Beatrice Helen Worsley - schrieb die erste Doktorarbeit mit modernen Computern; war einer der Menschen, die geschrieben haben Transcode
- Steve Wozniak - Persönliche Computer der ersten Generation bei Apple Computer konstruierte
- Jie Wu – Computernetzwerke
- William Wulf – WONNE Systemprogrammiersprache + Compiler optimieren, Hydra Betriebssystem, Tartanlabors
Y
- 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 Logic
- Hans Zantema – Terminierungsanalyse
- Arif Zaman – Pseudo-Random-Nummer Generator
- Stanley Zdonik — Datenbankmanagementsystem
- Hussein Zedan – Formale Methoden und Echtzeitsysteme
- Shlomo Zilberstein - künstliche Intelligenz, jederzeit Algorithmen, automatisierte Planungund dezentralisiert Pomdps
- Jill Zimmerman - James M. Beall Professor für Mathematik und Informatik bei Goucher College
- Konrad Zuse - Deutscher Pionier von Hardware und Software
Siehe auch
- Liste der Berechnung von Personen
- Liste wichtiger Veröffentlichungen in Informatik
- Liste der jüdischen amerikanischen Informatiker
- Liste der Mitglieder der National Academy of Sciences (Computer- und Informationswissenschaften)
- Liste der Pioniere in der Informatik
- Liste der Programmierer
- Liste der Programmiersprachenforscher
- Liste der russischen IT -Entwickler
- Liste der slowenischen Informatiker
- Liste der indischen Informatiker