List of computer scientists
From Wikipedia, the free encyclopedia
This list is incomplete; you can help by expanding 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.
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
[edit] A
- Hal Abelson
- Paul Abrahams
- Samson Abramsky
- Hamid Yassin Adem
- Leonard Adleman - RSA
- Alfred Aho
- John R. Allen
- Gene Amdahl
- John Vincent Atanasoff
[edit] B
- Charles Babbage - Invented first mechanical computer
- Charles Bachman
- John Backus - FORTRAN
- Rudolf Bayer - B-tree
- Gordon Bell - DEC VAX, Computer Structures
- Dines Bjørner - VDM and RAISE
- Manuel Blum - cryptography
- Ron Book
- Grady Booch - Unified Modeling Language, Object Management Group
- George Boole - Boolean logic
- Jonathan Bowen - Z notation and formal methods
- Steve Bourne - Bourne Shell, portable ALGOL 68C compiler.
- 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
[edit] C
- Luca Cardelli - objects
- Edwin Catmull - Computer graphics
- Vinton Cerf - Internet, TCP/IP
- Gregory Chaitin
- Zhou Chaochen - Duration Calculus
- 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
[edit] 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 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
[edit] E
- Annie J. Easley
- John Presper Eckert
- Philip-Emeagwali - Supercomputing
- Douglas Engelbart
- Andrey Ershov
- Bob Evans
- Christopher Evans
- Dave Evans - computer graphics
- Shimon Even
[edit] F
- Scott Fahlman
- Aidin Falkoff - APL
- Edward Feigenbaum - intelligence
- Michael Feldman
- Edward Felten - security
- Raphael Finkel
- Michael Fischer - Distributed systems, Cryptography
- Robert Floyd - NP-completeness
- Ken Forbus
- Herbert W. Franke
- Dan Friedman
- Tim Finin
[edit] G
- Zvi Galil
- Bernard Galler - MAD
- 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 L. Graham - Compilers, Programming environments
- Jim Gray - Database
- Bill Griswold - Software engineering
- Ralph Griswold - Snobol string processing languages
- Barbara Grosz
- Ramanathan V. Guha - RDF, Netsacape, RSS (file format), Epinions
- Peter G. Gyarmati - Adaptivity in operating systems and networking
[edit] H
- Philipp Matthäus Hahn - mechanical calculator
- Joseph Halpern
- Per Brinch Hansen (listed under B by surname, "Brinch Hansen")
- Juris Hartmanis - computational complexity theory
- Johan Håstad - computational complexity theory
- Les Hatton - Software Failure and Vulnerabilities
- Martin Hellman
- John L. Hennessy - Computer architecture
- Kristian Hermansen
- Danny Hillis - Connection Machine
- Geoffrey Hinton
- C. A. R. Hoare - Logic, rigor, CSP
- Stephen Hodges
- John Henry Holland - Genetic Algorithms
- 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
[edit] I
[edit] J
- Ivar Jacobson - Unified Modeling Language, Object Management Group
- Ramesh Jain
- Jonathan James
- David B. Johnson - Johnson's algorithm
- David S. Johnson
- Stephen C. Johnson
- Cliff Jones - VDM
- Michael I. Jordan
- Bill Joy - Sun Microsystems, BSD UNIX, vi, csh
[edit] K
- William Kahan
- Robert E. Kahn - TCP/IP
- Avinash Kak
- Alan Kay - Dynabook, Smalltalk
- Richard Karp - NP completeness
- Narendra Karmarkar - Karmarkar's algorithm
- Jacek Karpinski
- Marek Karpinski - NP Optimization Problems
- Ken Kennedy - Compiling for parallel and vector machines
- Brian Kernighan - Unix
- Stephen Cole Kleene - Kleene closure, recursion theory
- Donald Knuth - The Art of Computer Programming, TeX, Literate programming
- Andrew Koenig - C++
- David Korn - Korn shell
- Kees Koster - ALGOL 68
- John Koza - Genetic programming
- Andrey Nikolaevich Kolmogorov
- Robert Kowalski
- Thomas E. Kurtz - BASIC
- Tosiyasu Laurence Kunii - Founder of Cyberworlds
[edit] L
- Monica S. 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
[edit] M
- Zohar Manna - Fuzzy logic
- John Mashey
- John McCarthy - Lisp programming language, Artificial intelligence
- Douglas McIlroy - pipes
- Chris McKinstry - Artificial intelligence, Mindpixel
- Marshall Kirk McKusick - BSD, Berkeley Fast File System
- Jose Meseguer
- Bertrand Meyer - Eiffel
- Silvio Micali - cryptography
- Robin Milner - ML
- Marvin Minsky - Artificial intelligence, perceptrons, Society of Mind
- Dr. Paul Mockapetris - Domain Name System (DNS)
- Cleve Moler - numerical analysis and MATLAB
- Gordon Moore - Moore's law
- J Strother Moore - string searching and ACL2 theorem prover
- Hans Moravec
- Joel Moses - Macsyma
- Stephen Muggleton
[edit] N
- Mihai Nadin - Anticipation Research
- Frieder Nake - Pioneer in Computer Arts
- Peter Naur - BNF, Algol 60
- Roger Needham
- John von Neumann - Early computers, von Neumann machine
- Allen Newell - Artificial intelligence Computer Structures
- Nils Nilsson - Artificial intelligence
- Jerre Noe
- Emmy Noether
- Arthur Norman
- Donald Norman - User interfaces and Usability
- Kristen Nygaard - Simula
[edit] O
[edit] P
- Christos Papadimitriou
- Goutham Patnaikuni - Computer Graphics, Artificial Intelligence
- David Patterson
- Judea Pearl - Artificial intelligence, Search
- Shoayb Peerbocus
- Alan Perlis - Programming Pearls
- Radia Perlman - Spanning-tree protocol
- Simon Peyton-Jones - Functional programming
- Gordon Plotkin
- Amir Pnueli - temporal logic
- Hayden Porter
- Emil Post - mathematics
- Jon Postel - Internet
- Edmond Prakash - Voxelization and Voxel Animation
- Terry Pratt
- Franco Preparata
[edit] Q
[edit] R
- Brian Randell - dependability
- Timothy W. Rauenbusch - AI
- Raj Reddy - AI
- David P. Reed
- 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
- Jonathan Rumion
[edit] S
- Amit Sahai - Cryptography, Computational Complexity Theory
- Jean E. Sammet - Programming languages
- Wilhelm Schickard
- Doug Schmidt
- Norm Schryer
- Dana Scott - domain theory
- John Scumniotales - Agile Development Pioneer, The first Scrummaster
- 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, Amortized Analysis, Link-Cut Trees, Persistent Data Structures
- Padhraic Smyth - Data mining, Knowledge discovery
- Alex Spinelli - A veteran internet pioneer and innovator
- Robert Sproull
- Richard Stallman - GNU Project
- Richard Stearns - computational complexity theory
- Guy L. Steele, Jr. - Scheme, Common Lisp
- Christopher Strachey - denotational semantics
- Michael Stonebraker - database practice and theory
- Bjarne Stroustrup - C++
- Madhu Sudan - computational complexity theory, coding theory
- Gerald Jay Sussman - Scheme
- Bert Sutherland - Graphics, Internet
- Ivan Sutherland - Graphics
- Richard Sweet
- Dan Swinehart
[edit] T
- Andrew S. Tanenbaum - Operating systems, Minix
- Robert Tarjan - splay tree
- Demetri Terzopoulos
- Larry Tesler - human-computer interaction, graphical user interface, Apple Macintosh
- Avie Tevanian - Mach kernel team, NeXT, Mac OS X
- Ken Thompson - Unix
- Walter F. Tichy - RCS
- Linus Torvalds - Linux
- Joseph F Traub - computational complexity of scientific problems
- John Tukey - FFT
- Alan Turing - British pioneer, Turing Machine
[edit] U
- Jeffrey D. Ullman - Compilers, databases, Complexity theory
[edit] V
- Salil Vadhan - computational complexity theory, cryptography
- Leslie Valiant - computational complexity theory, computational learning theory
- Andries van Dam - computer graphics, hypertext
- Srinidhi Varadarajan - System X: VirginiaTech's Power Mac G5 Supercluster
- Vernor Vinge - Science fiction writer
[edit] W
- Philip Wadler - Functional programming
- David Wagner - Cryptography
- Jan Weglarz
- Peter Wegner
- Joseph Weizenbaum - AI, ELIZA
- Richard Wexelblat - Programming languages
- Scott White - Data mining, Knowledge discovery
- 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
[edit] X
[edit] Y
- Tao Yang
- Mihalis Yannakakis
- Andrew Chi-Chih Yao
[edit] Z
- Lotfi Zadeh - Fuzzy logic
- Egon Zakrajšek - Slovenian pioneer
- Konrad Zuse - German pioneer of hardware and software