List of computer scientists
From Wikipedia, the free encyclopedia
-
This list is incomplete; you can help by expanding it.
This is a list of well-known 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: |
---|
[edit] A
- Wil van der Aalst - business process management, process mining, Petri nets
- Hal Abelson - intersection of computing and teaching
- Serge Abiteboul - database theory
- Samson Abramsky - game semantics
- Leonard Adleman - RSA, DNA computing
- Manindra Agrawal - polynomial-time primality testing
- Luis von Ahn - human-based computation
- Alfred Aho - compilers book, the 'a' in AWK
- Amos Nuwasiima - PHP Programming book
- Frances E. Allen - compiler optimization
- Alexander Scaranti - Image Processing, Image Retrieval
- Gene Amdahl - supercomputer developer, founder of Amdahl Corporation
- Tom Anderson[disambiguation needed] - dependability, fault-tolerant computing
- A. Annerl - multidimensional processing, computational complexity theory
- Andrew Appel - compilers text books
- Sanjeev Arora - PCP theorem
- John Vincent Atanasoff - computer pioneer
[edit] B
- Charles Babbage - invented first mechanical computer
- Charles Bachman
- Roland Carl Backhouse - mathematics of program construction
- John Backus - FORTRAN, Backus–Naur form
- David A. Bader
- Anthony James Barr - SAS System
- Rudolf Bayer - B-tree
- James C. Beatty, Jr. - compiler optimization,[1] super-computing[2]
- Gordon Bell - DEC VAX, Computer Structures
- Steven M. Bellovin - network security
- Tim Berners-Lee - World Wide Web
- Peter Bernus
- Dines Bjørner - Vienna Development Method (VDM), RAISE
- Gerrit Blaauw - one of the principal designers of the IBM System 360 line of computers
- Manuel Blum - cryptography
- Barry Boehm - software engineering economics, spiral development
- Grady Booch - Unified Modeling Language, Object Management Group
- George Boole - Boolean logic
- Bert Bos - Cascading Style Sheets
- Jonathan Bowen - Z notation, formal methods
- Stephen R. Bourne - Bourne shell, portable ALGOL 68C compiler
- Robert S. Boyer - string searching, ACL2 theorem prover
- Jack E. Bresenham - early computer graphics contributions including Bresenham's algorithm
- David J. Brown - Unified Memory Architecture, Binary Compatibility
- Per Brinch Hansen (surname "Brinch Hansen") - concurrency
- Sjaak Brinkkemper - methodology of product software development
- Fred Brooks - System 360, OS/360, The Mythical Man-Month, No Silver Bullet
- Rod Brooks
- Alan Burns - real-time computing
- Ben Aaron Mwale - computer systems
[edit] C
- Martin Campbell-Kelly - history of computing
- Luca Cardelli - objects
- Claire Cardie - natural language processing, automatic summarization, machine learning
- Edwin Catmull - computer graphics
- Vinton Cerf - Internet, TCP/IP
- Gregory Chaitin
- Zhou Chaochen - duration calculus
- Xiuzhen (Susan) Cheng - computer networks
- Alonzo Church - mathematics of combinators, lambda calculus
- Gabriel Ciobanu - semantics, process calculi, membrane computing
- Edmund M. Clarke - model checking
- John Cocke - RISC
- Edgar F. Codd - formulated the database relational model
- Paul Justin Compton - Ripple Down Rules
- Gordon Cormack - co-inventor of dynamic Markov compression
- Stephen Cook - NP-completeness
- James Cooley - Fast Fourier transform (FFT)
- Fernando J. Corbató - Compatible Time-Sharing System (CTSS), Multics
- Patrick Cousot - abstract interpretation
- Seymour Cray - Cray Research, supercomputer
- Nello Cristianini - Machine learning, pattern analysis, artificial intelligence
[edit] D
- Ole-Johan Dahl - Simula
- Andries van Dam - computer graphics, hypertext
- Christopher J. Date - proponent of database relational model
- Erik Demaine - computational origami
- Tom DeMarco
- Dorothy E. Denning - computer security
- Peter J. Denning - identified the use of an operating system's working set and balance set, President of ACM
- Michael Dertouzos - Director of Massachusetts Institute of Technology (MIT) Laboratory for Computer Science (LCS) from 1974 to 2001
- Alexander Dewdney
- Vinod Dham - P5 Pentium processor
- Jan Dietz
- Whitfield Diffie - cryptography
- Edsger Dijkstra - algorithms, Goto considered harmful, semaphore (programming)
- Jack Dongarra - linear algebra high performance computing
- Marco Dorigo - ant colony optimization
- Paul Dourish - human computer interaction
- Charles Stark Draper - Apollo Guidance Computer
- Susan Dumais - Information Retrieval
- Adam Dunkels - Protothreads
- Alan Dix - literally wrote the book on HCI
[edit] E
- Annie J. Easley
- Wim Ebbinkhuijsen - COBOL
- John Presper Eckert - ENIAC
- Philip-Emeagwali - supercomputing
- E. Allen Emerson - model checking
- Douglas Engelbart - tiled windows, hypertext, computer mouse
- Andrey Ershov
- Christopher Riche Evans
- David C. Evans - computer graphics
- Shimon Even
[edit] F
- Scott Fahlman
- Nizar Fakhfakh
- Edward Feigenbaum - intelligence
- Edward Felten - computer security
- Tim Finin
- Raphael Finkel
- Donald Firesmith
- Tommy Flowers - Colossus computer
- Robert Floyd - NP-completeness
- James D. Foley
- Ken Forbus
- Herbert W. Franke
- Daniel P. Friedman
[edit] G
- Richard Gabriel
- Zvi Galil
- Bernard Galler - MAD (programming language)
- Hector Garcia-Molina
- Michael Garey - NP-completeness
- Hugo de Garis
- David Gelernter
- Charles Geschke
- Seymour Ginsburg - formal languages, automata theory, AFL theory, database theory
- Robert L. Glass
- Kurt Gödel - computability - not a computer scientist per se, but his work was invaluable in the field
- Joseph Goguen
- Adele Goldberg - Smalltalk
- Ian Goldberg - cryptographer, off-the-record messaging
- Oded Goldreich - cryptography, computational complexity theory
- Shafi Goldwasser - cryptography, computational complexity theory
- Gene Golub - matrix (math) computation
- Martin Charles Golumbic - algorithmic graph theory
- James Gosling - NeWS, Java (programming language)
- Paul Graham - Viaweb, On Lisp, Arc
- Susan L. Graham - compilers, programming environments
- Jim Gray - database
- Sheila Greibach - Greibach normal form, AFL theory
- Ralph Griswold - SNOBOL
- Barbara J. Grosz - Natural Language Processing, Planning, Centering Theory
- Tom Gruber
- Ramanathan V. Guha - RDF, Netscape, RSS (file format), Epinions
- Neil J. Gunther - computer performance analysis, capacity planning
- Peter G. Gyarmati - adaptivity in operating systems and networking
[edit] H
- Philipp Matthäus Hahn - mechanical calculator
- Eldon C. Hall - Apollo Guidance Computer
- Joseph Halpern
- Richard Hamming - Hamming code, founder of the Association for Computing Machinery
- Jiawei Han - Data mining
- Juris Hartmanis - computational complexity theory
- Johan Håstad - computational complexity theory
- Les Hatton - software failure and vulnerabilities
- He Jifeng - provably correct systems
- Martin Hellman
- Gernot Heiser - Development of L4 and founder of OK Labs
- James Hendler - Semantic Web
- John L. Hennessy - computer architecture
- Andrew Herbert
- Danny Hillis - Connection Machine
- Geoffrey Hinton
- Julia B. Hirschberg - Computational Linguistics
- C. A. R. Hoare - Logic, rigor, Communicating sequential processes (CSP)
- John Henry Holland - genetic algorithms
- Herman Hollerith - invented recording of data on a machine readable medium, using punched cards
- John Hopcroft - compilers
- Admiral Grace Hopper - compilers, COBOL
- Alston Householder
- David A. Huffman - Huffman code
[edit] I
- Jean Ichbiah - Ada (programming language)
- Kenneth E. Iverson - APL (programming language), J (programming language)
[edit] J
- Ivar Jacobson - Unified Modeling Language, Object Management Group
- Ramesh Jain
- Jonathan James
- David S. Johnson
- Stephen C. Johnson
- Cliff Jones - Vienna Development Method (VDM)
- Michael I. Jordan
- Aravind K. Joshi
- Bill Joy - Sun Microsystems, BSD UNIX, vi, csh
[edit] K
- William Kahan - numerical analysis
- Robert E. Kahn - TCP/IP
- Avinash Kak - digital image processing
- Daniel Mopati Kapeng - web designing principles
- Alan Kay - Dynabook, Smalltalk, overlapping windows
- Richard Karp - NP-completeness
- Narendra Karmarkar - Karmarkar's algorithm
- Marek Karpinski - NP optimization problems
- John George Kemeny - BASIC
- Ken Kennedy - compiling for parallel and vector machines
- Brian Kernighan - Unix, the 'k' in AWK
- Carl Kesselman - grid computing
- Gregor Kiczales - CLOS, reflection (computer science), aspect-oriented programming
- Stephen Cole Kleene - Kleene closure, recursion theory
- Leonard Kleinrock - ARPANET, queueing theory, packet switching, hierarchical routing
- Donald Knuth - The Art of Computer Programming, MIX/MMIX, TeX, literate programming
- Andrew Koenig - C++
- Michael Kölling - BlueJ
- Janet L. Kolodner - case-based reasoning
- David Korn - Korn shell
- Kees Koster - ALGOL 68
- John Koza - genetic programming
- Andrey Nikolaevich Kolmogorov - algorithmic complexity theory
- Robert Kowalski - logic programming
- John Krogstie - SEQUAL framework
- Joseph Kruskal - Kruskal's algorithm
- Thomas E. Kurtz - BASIC
[edit] L
- Monica S. Lam
- Leslie Lamport - algorithms for distributed computing, LaTeX.
- Butler W. Lampson
- Peter J. Landin
- Tom Lane (computer scientist)
- Börje Langefors
- Joshua Lederberg
- Manny M Lehman - Laws of Software Evolution
- Charles E. Leiserson - cache-oblivious algorithms, provably good work-stealing, coauthor of Introduction to Algorithms
- Douglas Lenat - artificial intelligence, Cyc
- Rasmus Lerdorf - PHP
- Leonid Levin - computational complexity theory
- J.C.R. Licklider
- David Liddle
- John Lions - Lions Book
- Richard J. Lipton - computational complexity theory
- Barbara Liskov - programming languages
- Diane R. Litman - planning, natural language processing
- Ada Lovelace - first programmer
- Nancy Lynch
[edit] M
- Teddy Murray, computer hacker
- Mohamed Medhat
- Zohar Manna - fuzzy logic
- Max Levchin - Gausebeck-Lechin Test and PayPal
- James Martin - information engineering
- John Mashey
- Yuri Matiyasevich - solving Hilbert's tenth problem
- Yukihiro Matsumoto - Ruby (programming language)
- John McCarthy - Lisp (programming language), artificial intelligence
- Douglas McIlroy - pipes
- Kathleen R. McKeown - Natural Language Processing - Automatic Summarization
- Chris McKinstry - artificial intelligence, Mindpixel
- Marshall Kirk McKusick - BSD, Berkeley Fast File System
- Lambert Meertens - ALGOL 68, ABC (programming language)
- Bertrand Meyer - Eiffel (programming language)
- Silvio Micali - cryptography
- Robin Milner - ML (programming language)
- Marvin Minsky - artificial intelligence, perceptrons, Society of Mind
- Dr. Paul Mockapetris - Domain Name System (DNS)
- Cleve Moler - numerical analysis, MATLAB
- Edward F. Moore - Moore machine
- Gordon Moore - Moore's law
- J Strother Moore - string searching, ACL2 theorem prover
- Dr. Al Moskowitz - Rule-based system algorithm synthesis using nondeterministic finite-state machines.
- Hans Moravec
- Robert Tappan Morris - Morris worm
- Joel Moses - Macsyma
- Stephen Muggleton
- Debajyoti Mukhopadhyay - interoperability, web mining
[edit] N
- Mihai Nadin - anticipation research
- Makoto Nagao - machine translation, natural language processing, digital library
- Frieder Nake - pioneered computer arts
- Peter Naur - BNF, ALGOL 60
- Roger Needham
- James G. Nell - GERAM
- Bernard de Neumann - massively parallel autonomous cellular processor, software engineering research
- John von Neumann - early computers, von Neumann machine
- Allen Newell - artificial intelligence, Computer Structures
- Max Newman - Colossus, MADM
- Andrew Ng - artificial intelligence, machine learning, robotics
- Nils Nilsson - artificial intelligence
- G.M. Nijssen - NIAM
- Jerre Noe
- Emmy Noether
- Peter Nordin - artificial intelligence, genetic programming, evolutionary robotics
- Donald Norman - user interfaces, usability
- George Novacky - Assistant Department Chair and Senior Lecturer in Computer Science, Assistant Dean of CAS for Undergraduate Studies at University of Pittsburgh
- Kristen Nygaard - Simula
(Sagar more)
[edit] O
- T. William Olle - Ferranti Mercury
- Mark Overmars - game programming
[edit] P
- Christos Papadimitriou
- David Parnas - information hiding, modular programming
- Yale Patt - Instruction Level Parallelism, speculative architectures
- David A. Patterson
- Judea Pearl - artificial intelligence, Search[disambiguation needed]
- Alan Perlis - Programming Pearls
- Radia Perlman - spanning tree protocol
- Simon Peyton Jones - functional programming
- Gordon Plotkin
- Amir Pnueli - temporal logic
- Willem van der Poel - computer graphics, robotics, geographic information systems, imaging, multimedia, virtual environments, games
- Martha Pollack - intentions in planning
- Emil Post - mathematics
- Jon Postel - Internet
- Franco Preparata
[edit] Q
This section is empty. You can help by adding to it. |
[edit] R
- Michael O. Rabin - nondeterministic machines
- T. V. Raman - accessibility, Emacspeak, etc.
- Brian Randell - dependability
- Yoav Raz - databases: commitment ordering (or commit ordering) for guaranteeing distributed and global serializability
- Raj Reddy - AI
- David P. Reed
- John C. Reynolds
- Joyce K. Reynolds - Internet
- Adam Riese
- Dennis Ritchie - C (programming language), UNIX
- Ron Rivest - RSA, MD5, RC4
- Colette Rolland - REMORA methodology, meta modelling
- Azriel Rosenfeld
- Douglas T. Ross - Structured Analysis and Design Technique
- Guido van Rossum - Python (programming language)
- Winston W. Royce - Waterfall model
- Rudy Rucker - mathematician, Writer, Educator
- Steven Rudich - complexity theory, cryptography
- Jeff Rulifson
- James Rumbaugh - Unified Modeling Language, Object Management Group
- Raj Chandel - hacker
[edit] S
- Siddhant Kotnala - programming Languages, Operating System
- George Sadowsky
- Gerard Salton - information retrieval
- Jean E. Sammet - programming languages
- Claude Sammut - Artificial Intelligence researcher
- Carl Sassenrath - operating systems, programming languages, Amiga, REBOL
- Jonathan Schaeffer
- Wilhelm Schickard - one of first calculating machines
- Bruce Schneier - cryptography, security
- Fred B. Schneider - concurrent and distributed computing
- Michael I. Schwartzbach - computer scientist at Aarhus University
- Dana Scott - domain theory
- Michael L. Scott - programming languages, algorithms, distributed computing
- Ravi Sethi - compilers, 2nd Dragon Book
- Adi Shamir - RSA, cryptanalysis
- Claude Shannon - information theory
- David E. Shaw - computational finance, computational biochemistry, parallel architectures
- Scott Shenker - networking
- Ben Shneiderman - human-computer interaction, information visualization
- Edward H. Shortliffe - MYCIN (Medical diagnostoc expert system)
- Joseph Sifakis - model checking
- Herbert Simon - artificial intelligence
- Daniel Sleator - splay tree, amortized analysis
- Arne Sølvberg - information modelling
- Brian Cantwell Smith - reflection (computer science), 3lisp
- Karen Sparck-Jones - Information Retrieval, Natural Language Processing
- Steven Spewak - Enterprise Architecture Planning
- Robert Sproull
- Maciej Stachowiak - GNOME, Safari, WebKit
- Richard Stallman - GNU Project
- Ronald Stamper
- Richard Stearns - computational complexity theory
- Guy L. Steele, Jr. - Scheme, Common Lisp
- Thomas Sterling - Creator of Beowulf clusters
- Larry Stockmeyer - computational complexity, distributed computing
- Michael Stonebraker - relational database practice and theory
- Christopher Strachey - denotational semantics
- Bjarne Stroustrup - C++
- Madhu Sudan - computational complexity theory, coding theory
- Gerald Jay Sussman - Scheme
- Bert Sutherland - graphics, Internet
- Ivan Sutherland - graphics
- Mario Szegedy - complexity theory, quantum computing
- Sagar More
[edit] T
- Andrew S. Tanenbaum - operating systems, MINIX
- Robert Tarjan - splay tree
- Shang-Hua Teng - analysis of algorithms
- Larry Tesler - human-computer interaction, graphical user interface, Apple Macintosh
- Avie Tevanian - Mach kernel team, NeXT, Mac OS X
- Bruce H. Thomas - wearable computers, augmented reality
- Ken Thompson - Unix
- Walter F. Tichy - RCS
- Seinosuke Toda - computation complexity, recipient of 1998 Gödel Prize
- Linus Torvalds - Linux kernel, Git
- Godfried Toussaint - computational geometry - computational music therory
- Joseph F Traub - computational complexity of scientific problems
- John Tukey - FFT
- Murray Turoff - computer-mediated communication
- Alan Turing - British pioneer, Turing Machine
[edit] U
- Jeffrey D. Ullman - compilers, databases, complexity theory
[edit] V
- Leslie Valiant - computational complexity theory, computational learning theory
- Srinidhi Varadarajan - System X: VirginiaTech's Power Mac G5 Supercluster
- François Vernadat - enterprise modeling
- Richard Veryard - enterprise modeling
[edit] W
- Philip Wadler - functional programming
- David Wagner - security, cryptography
- Marilyn A. Walker - natural language processing, spoken dialogue systems, intelligent virtual agents
- Larry Wall - Perl
- James Z. Wang
- David H. D. Warren - AI, "logic" programming, Prolog, the 'W' in WAM
- Kevin Warwick - artificial intelligence
- Jan Weglarz
- Jie Wu - computer networks
- Peter Wegner - object-oriented programming, interaction (computer science)
- Peter J. Weinberger - programming language design, the 'w' in AWK
- Mark Weiser - ubiquitous computing
- Joseph Weizenbaum - artificial intelligence, ELIZA
- Steve Whittaker - Human Computer Interaction, Computer Support for Cooperative Work, Social Media
- Janyce Wiebe - subjectivity, natural language processing, automatic summarization,
- Adriaan van Wijngaarden - Dutch pioneer; ARRA, ALGOL
- Mary Allen Wilkes - LINC developer, assembler-linker designer
- Maurice Vincent Wilkes - microprogramming, EDSAC
- Yorick Wilks - computational linguistics, artificial intelligence
- Manfred K. Warmuth - computational learning theory
- James H. Wilkinson - numerical analysis
- Sophie Wilson
- Shmuel Winograd - Coppersmith-Winograd algorithm
- Terry Winograd - artificial intelligence, SHRDLU
- Niklaus Wirth - Pascal, Modula, Oberon (programming language)
- Dennis E. Wisnosky - Integrated Computer-Aided Manufacturing (ICAM), IDEF
- Stephen Wolfram - Mathematica
- William Wulf - compilers
- William Gropp - Message Passing Interface , PETSc
[edit] X
This section is empty. You can help by adding to it. |
Leuci Wong Xang - Artificial Intelligence(Korean researcher)
[edit] Y
[edit] Z
- Lotfi Zadeh - fuzzy logic
- Arif Zaman - Pseudo-random number generator
- Albert Zomaya - Australian pioneer of scheduling in parallel and distributed systems
- Konrad Zuse - German pioneer of hardware and software
[edit] See also
- Academic genealogy of computer scientists
- List of pioneers in computer science
- List of programming language researchers
- List of members of the National Academy of Sciences (Computer and information sciences)
- List of programmers
- List of computing people
- List of important publications in computer science
- List of Russian IT developers
[edit] References
[edit] External links
Wikimedia Commons has media related to: Computer scientists |