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.
Contents: Top - 0-9 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
- Samson Abramsky
- Leonard Adleman - RSA
- Manindra Agarwal
- Rajeev Agrawal
- Alfred Aho
- John R. Allen
- Gene Amdahl
- Ravi Arimilli
- 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
- Ivan Bratko - prolog,artificial intelligence
- 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?
- Alan Burns - Real-time Systems
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
- Peter Cousins - EAI, ESB
- 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
- Vinod Dham-The so-called father of the Pentium processor.
- Whitfield Diffie - Cryptography
- Edsger Dijkstra - Algorithms Goto considered harmful Semaphore (programming)
- Jack Dongarra - Linear Algebra high performance computing
E
- John Presper Eckert
- Philip-Emeagwali - Supercomputing
- 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
- Oded Goldreich - cryptography, computational complexity theory
- Shafi Goldwasser - cryptography, computational complexity theory
- 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
- Johan Håstad - 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
- Stephen 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
- Narendra Karmarkar - Karmarkar's algorithm
- Jacek Karpinski
- 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
- Leonid Levin - computational complexity theory
- 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, Artificial intelligence
- Douglas McIlroy - pipes
- Chris McKinstry - Artificial intelligence, Mindpixel
- Jose Meseguer
- Bertrand Meyer - Eiffel
- Silvio Micali - cryptography
- Robin Milner - ML
- Marvin Minsky - Artificial intelligence, perceptrons, Society of Mind
- Jim Mitchell
- Dr. Paul Mockapetris - Domain Name System (DNS)
- Cleve Moler - numerical analysis and MATLAB
- 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
- Timothy W. Rauenbusch - AI
- 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
- Mike Sipser - computational complexity theory
- 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++
- Madhu Sudan - computational complexity theory, coding theory
- 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
- Salil Vadhan - computational complexity theory, cryptography
- Leslie Valiant - computational complexity theory, computational learning theory
- 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
- Shmuel Winograd - Coppersmith-Winograd algorithm
- 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
- Tao Yang-Computational verb theory, physical linguistics, cellular image processing and the theory of the Unicogse.
Z
- Lofti Zadeh - Fuzzy logic
- Egon Zakrajšek - Slovenian pioneer
- Konrad Zuse - German pioneer of hardware and software
See also
External link
- Most cited authors in computer science (http://citeseer.nj.nec.com/mostcited.html)bn:কম্পিউটার বিজ্ঞানী তালিকা
es:Lista de científicos de la Computación fa:فهرست پیشگامان دانش رایانه zh:计算机科学家