List of computer scientists
This list is incomplete. You can help Wikipedia by adding to it.This is a list of computer scientists, people who do work in computer science, in particular researchers and authors.
Some persons notable as programmers are included here because they work in research as well as program. A few of these people pre-date the invention of the digital computer; they are now regarded as computer scientists because their work can be seen as leading to the invention of the computer. Others are mathematicians whose work falls within what would now be called theoretical computer science, such as complexity theory and algorithmic information theory.
See also: List of programmers, List of important publications in computer science, List of computing people
- REDIRECT
A
- Hal Abelson
- Paul Abrahams
- Leonard Adleman - RSA
- Rajeev Agrawal
- Alfred Aho
- John R. Allen
- Gene Amdahl
- John Vincent Atanasoff
B
- Charles Babbage - Invented first mechanical computer
- Charles Bachman
- John Backus - FORTRAN
- Rudolf Bayer - B-tree
- Gordon Bell - DEC VAX, Computer Structures
- Manuel Blum - cryptography
- Ron Book
- Grady Booch - Unified Modeling Language,Object Management Group
- George Boole
- Robert Boyer - string searching and ACL2 theorem prover
- Per Brinch Hansen (surname "Brinch Hansen") - concurrency
- Fred Brooks - System 360, OS/360, The Mythical Man-Month, No Silver Bullet
- Rod Brooks
- Tim Budd - Tiny C?
C
- Luca Cardelli - objects
- Edwin Catmull - Computer graphics
- Vinton Cerf - Internet
- Gregory Chaitin
- Alonzo Church - mathematics of combinators and lambda calculus
- John Cocke - RISC
- Edgar F. Codd - formulated the database relational model
- Stephen Cook - NP-completeness
- James Cooley - FFT
- Fernando J. Corbató - CTSS, Multics
- Seymour Cray - Cray Research, supercomputer
- Dave Cutler - RSX-11, VMS, Windows NT
D
- Ole-Johan Dahl - Simula
- Christopher J. Date - proponent of database relational model
- James Demmel
- Dorothy Denning - security
- John Denning - medical informatics
- Peter Denning - identified the use of an operating system's working set and balance set, President of ACM
- Michael L Dertouzos - Director of the MIT Laboratory for Computer Science (LCS) since 1974, Oxygen (project)
- Alexander Dewdney
- Whitfield Diffie - Cryptography
- Edsger Dijkstra - Algorithms Goto considered harmful
- Jack Dongarra
E
F
G
- Zvi Galil
- Bernard Galler
- Hector Garcia-Molina
- Michael Garey - NP-Completeness
- Hugo de Garis
- David Gelernter
- Charles Geschke
- Kurt Gödel - Computability
- Joseph Goguen
- Adele Goldberg - Smalltalk
- Gene Golub - Matrix (math) computation
- James Gosling - NeWS, Java
- Paul Graham
- Susan Graham - Compilers, Programming environments
- Jim Gray - Database
- Bill Griswold - Software engineering
- Ralph Griswold - Snobol string processing languages
- Barbara Grosz
H
- Philipp Matthäus Hahn
- Joseph Halpern
- Juris Hartmanis - computational complexity theory
- Martin Hellman
- John Hennessy - Computer architecture
- Danny Hillis - Connection Machine
- Geoffrey Hinton
- C. A. R. Hoare - Logic, rigor, CSP
- Hermann Hollerith
- Douglas Hofstadter - wrote Gödel, Escher, Bach, Artificial intelligence
- Herman Hollerith - Developed the first punch card machines for a forerunner of IBM
- John Hopcroft - Compilers
- Admiral Grace Hopper - Compilers, COBOL
- Berthold K.P. Horn
- Ellis Horowitz
- Alston Householder
- Paul Hudak
- David A. Huffman - Huffman code
I
J
- Ivar Jacobson - Unified Modeling Language, Object Management Group
- David B. Johnson
- David S. Johnson
- Steven C. Johnson
- Michael I. Jordan
- Bill Joy - Sun Microsystems, BSD UNIX, vi, csh
K
- William Kahan
- Robert Kahn
- Avinash Kak
- Alan Kay - Dynabook, Smalltalk
- Richard Karp - NP completeness
- Brian Kernighan - Unix
- Donald Knuth - The Art of Computer Programming, TeX, Literate programming
- Andrew Koenig - C++
- John Koza - Genetic programming
- Andrey Nikolaevich Kolmogorov
- Robert Kowalski
- Thomas E. Kurtz - BASIC
L
- Monica Lam
- Leslie Lamport - Algorithms for concurrency
- Butler W. Lampson
- Peter J. Landin
- Joshua Lederberg
- Douglas Lenat - Artificial intelligence, Cyc
- Hector Levesque
- Michael Ley - DBLP
- J.C.R. Licklider
- David Liddle
- Barbara Liskov - Programming languages
- Ada Lovelace - first programmer
- Nancy Lynch
M
- Zohar Manna - Fuzzy logic
- John Mashey
- John McCarthy - Lisp programming language, AI
- Douglas McIlroy - pipes
- Chris McKinstry - Artificial intelligence, Mindpixel
- Jose Meseguer
- Bertrand Meyer - Eiffel
- Robin Milner - ML
- Marvin Minsky - Artificial intelligence, perceptrons, Society of Mind
- Jim Mitchell
- Dr. Paul Mockapetris - Domain Name System (DNS)
- J Strother Moore - string searching and ACL2 theorem prover
- Hans Moravec
- Stephen Muggleton
N
- Peter Naur - BNF, Algol 60
- Mihai Nadin - Anticipation Research
- Frieder Nake - Pioneer in Computer Arts
- Roger Needham
- John von Neumann - Early computers
- Allen Newell - Artificial intelligence Computer Structures
- Nils Nilsson - Artificial intelligence
- Emmy Noether
- Arthur Norman
- Donald Norman - User interfaces and Usability
- Kristen Nygaard - Simula
O
P
- Christos Papadimitriou
- David Patterson
- Judea Pearl - Artificial intelligence, Search
- Alan Perlis - Programming Pearls
- Simon Peyton-Jones - Functional programming
- Gordon Plotkin
- Amir Pnueli - temporal logic
- Hayden Porter
- Emil Post - mathematics
- Jon Postel - Internet
- Terry Pratt
- Franco Preparata
Q
R
S
T
U
V
W
X
Y
Z
External Link