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
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
Martin Campbell-Kelly - history of computing
Luca Cardelli - objects
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
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
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
Scott Fahlman
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
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
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
Jean Ichbiah - Ada (programming language)
Kenneth E. Iverson - APL (programming language), J (programming language)
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
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
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
Ada Lovelace - first programmer
Nancy Lynch
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
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
T. William Olle - Ferranti Mercury
Mark Overmars - game programming
Christos Papadimitriou
David Parnas - information hiding, modular programming
Yale Patt - ILP[disambiguation needed], 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
This section is empty. You can help by adding to it.
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
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
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
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
Jeffrey D. Ullman - compilers, databases, complexity theory
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
Philip Wadler - functional programming
David Wagner - security, cryptography
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
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
This section is empty. You can help by adding to it.
Leuci Wong Xang - Artificial Intelligence(Korean researcher)
Tao Yang
Alec Yasinsac - security
Andrew Chi-Chih Yao
Edward Yourdon - Structured Systems Analysis and Design Method
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
हे सुद्धा पहा
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
[संपादन]References
^ http://www-03.ibm.com/press/us/en/pressrelease/22052.wss
^ http://www.cs.clemson.edu/~mark/acs_people.html
संगणक वैज्ञानिक
या विषयावर तज्ञ बना.