Online Encyclopedia
List of computer scientists
This list is incomplete. You can help Wikipedia by
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.
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
- 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
- Jack E. Bresenham - early computer graphics contributions including Bresenham's algorithm
- 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
- Patrick Cousot - abstract interpretation
- 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 Semaphore (programming)
- Jack Dongarra - Linear Algebra high performance computing
E
- John Presper Eckert
- Philip Emeagwali
- Douglas Engelbart
- Andrey Ershov
- Christopher Evans
- Dave Evans - computer graphics
- Shimon Even
F
- Scott Fahlman
- Edward Feigenbaum - Artificial intelligence
- Michael Feldman
- Edward Felten - security
- 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 (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
- Per Brinch Hansen (listed under B by surname, "Brinch Hansen")
- 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
- Jean Ichbiah - Ada programming language
- Kenneth Iverson - APL
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 E. 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 Mauchly
- 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
- Shoayb Peerbocus
- 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, UNIX
- Ron Rivest - RSA
- Saul Rosen
- Azriel Rosenfeld
- Lawrence A. Rowe
- Rudy Rucker - Writer, Educator
- Jeff Rulifson
- James Rumbaugh - Unified Modeling Language, Object Management Group
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, Minix
- Robert Tarjan - splay tree
- Demetri Terzopoulos
- Avie Tevanian - Mach kernel team, NeXT, Mac OS X
- Ken Thompson - Unix
- Walter F. Tichy - RCS
- Linus Torvalds - Linux
- Joseph Traub
- John Tukey - FFT
- Alan Turing - British pioneer
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 - AI, ELIZA
- Richard Wexelblat - Programming languages
- Adriaan van Wijngaarden - Dutch pioneer; ARRA, ALGOL
- David S. Wile
- Maurice Vincent Wilkes - Microprogramming, EDSAC
- James H. Wilkinson - numerical analysis
- Sophie Wilson
- Terry Winograd - AI, SHRDLU
- Allen Wirfs-Brock - Smalltalk
- Niklaus Wirth - Pascal, Modula, and Oberon languages
- 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 Zakrajšek - Slovenian pioneer
- Konrad Zuse - German pioneer of hardware and software
See also
External link
Last updated: 10-24-2004 05:10:45