List of computer scientists
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
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
A
- Hal Abelson
- Paul Abrahams
- Leonard Adleman - RSA
- Rajeev Agrawal
- Al Aho
- John R. Allen
B
- Charles Babbage - Invented first mechanical computer
- Charles Bachman
- John Backus - FORTRAN
- Manuel Blum - cryptography
- Ron Book
- George Boole
- Robert Boyer - string searching and ACL2 theorem prover
- Per 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
- Vinton Cerf - Internet
- Gregory Chaitin
- Alonzo Church - mathematics of combinators and lambda calculus
- John Cocke - RISC
- Edgar F. Codd - database
- Stephen Cook - NP-completeness
- James Cooley - FFT
- Fernando J. Corbató - CTSS, Multics
D
- Ole-Johan Dahl - Simula
- Christopher J. Date - Database theory
- James Demmel
- Dorothy Denning - security
- Peter Denning - President of ACM
- Alexander Dewdney
- Whitfield Diffie - Cryptography
- Edsger Dijkstra - Algorithms Goto considered harmful
- Jack Dongarra
E
- Douglas Engelbart
- Andrey Ershov
- Christopher Evans
- Dave Evans - computer graphics
- Shimon Even
F
- Scott Fahlman
- Edward Feigenbaum - Artificial intellegence
- Michael Feldman
- Raphael Finkel
- Robert Floyd - NP completeness
- Ken Forbus
- Dan Friedman
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 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
- Michael Harrison
- Martin Hellman
- John Hennessy - Computer architecture
- Danny Hillis - Connection Machine
- Geoffrey Hinton
- C. A. R. Hoare - Logic, rigor
- Hermann Hollerith
- Douglas Hofstadter - wrote Godel, Escher, Bach, Artificial intellegence
- 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
- David B. Johnson
- David S. Johnson
- Steven C. Johnson
- Michael I. Jordan
K
- William Kahan
- Bob 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++
- Andrey Nikolaevich Kolmogorov
- Robert Kowalski
- Thomas E. Kurtz - BASIC
L
- Monica Lam
- Leslie Lamport - Algorithms for concurrency
- Butler W. Lampson
- Joshua Lederberg
- Douglas Lenat - Artificial intellegence
- Hector Levesque
- J.C.R. Licklider
- David Liddle
- Barbara Liskov - Programming languages
- Ada Lovelace - first programmer
- Nancy Lynch
M
- Zohar Manna - Fuzzy logic
- John McCarthy - Lisp, AI
- Douglas McIlroy - pipes
- Jose Meseguer
- Bertrand Meyer - Eiffel
- Robin Milner - ML
- Marvin Minsky - AI, perceptrons, Society of Mind
- Jim Mitchell
- J Strother Moore - string searching and ACL2 theorem prover
- Hans Moravec
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 intellegence
- Nils Nilsson - Artificial intellegence
- Emmy Noether
- Arthur Norman
- Donald Norman - User interfaces and Usability
- Kristen Nygaard - Simula
O
P
- Christos Papadimitriou
- David Patterson
- Judea Pearl - Artificial intellegence, 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
- Michael O. Rabin
- Raj Reddy - AI
- John C. Reynolds
- Joyce K. Reynolds - Internet
- Adam Riese
- Dennis Ritchie - C
- Ron Rivest - RSA
- Saul Rosen
- Azriel Rosenfeld
- Lawrence A. Rowe
- Rudy Rucker - Writer, Educator
- Jeff Rulifson
S
- Jean Sammet - Programming languages
- Wilhelm Schickard
- Doug Schmidt
- Dana Scott - domain theory
- Ravi Sethi - Compilers, 2nd Dragon Book
- Adi Shamir - RSA
- Claude Shannon - information theory
- Herbert Simon - AI
- Daniel Sleator - Splay tree
- Robert Sproull
- Richard Stearns - computational complexity theory
- Guy L. Steele, Jr - Scheme, Common Lisp
- Michael Stonebraker - database practice and theory
- Bjarne Stroustrup - C++
- Gerald Jay Sussman - Scheme
- Ivan Sutherland - Graphics
- Richard Sweet
- Dan Swinehart
T
- Andrew S. Tanenbaum - Operating systems
- Robert Tarjan - splay tree
- Demetri Terzopoulos
- Ken Thompson - Unix
- Joseph Traub
- John Tuckey - FFT
- Alan Turing - Early computer, Computability theory, Turing machine, Turing award
U
- Jeffrey D. Ullman - Compilers, Databases, Complexity theory
V
- Leslie Valiant
- Vernor Vinge - Science fiction writer
- Srinidhi Varadarajan - VirginiaTech's Power Mac G5 Supercluster
W
- Philip Wadler - Functional programming
- David Wagner - cryptography
- Jan Weglarz
- Peter Wegner
- Joseph Weizenbaum - ELIZA
- Richard Wexelblat - Programming langauges
- David S. Wile
- Maurice Wilkes
- James H. Wilkinson - numerical analysis
- Sophie Wilson
- Terry Winograd - AI, SHRDLU
- Allen Wirfs-Brock - Smalltalk
- Niklaus Wirth - Pascal
- Stephen Wolfram - Mathematica
- Larry Wos - Resolution theorem proving
- William Wulf - Compilers, President of National Academy of Engineering
X
Y
Z
- Lofti Zadeh - Fuzzy logic
- Egon Zakrajek - pioneer of computer science in Slovenia
- Konrad Zuse - Early computer, Early programming language
External Link


