Daftar ilmuwan komputer

Artikel ini perlu diterjemahkan dari bahasa Inggris ke bahasa Indonesia.

Artikel ini ditulis atau diterjemahkan secara buruk dari Wikipedia bahasa Inggris. Jika halaman ini ditujukan untuk komunitas bahasa Inggris, halaman itu harus dikontribusikan ke Wikipedia bahasa Inggris. Lihat daftar bahasa Wikipedia.

Artikel yang tidak diterjemahkan dapat dihapus secara cepat sesuai kriteria A2.

Jika Anda ingin memeriksa artikel ini, Anda boleh menggunakan mesin penerjemah. Namun ingat, mohon tidak menyalin hasil terjemahan tersebut ke artikel, karena umumnya merupakan terjemahan berkualitas rendah.

Berikut merupakan daftar ilmuwan komputer berdasarkan nama belakangnya.

A

Martín Abadi - Logika BAN (Burrows-Abadi-Needham logic)
Hal Abelson
Samson Abramsky
Hamid Yassin Adem - CASE tool
Leonard Adleman - Algoritme RSA (Rivest-Shamir-Adleman) dalam kriptografi
Manindra Agrawal - Polynomial-time Primality Testing
Alfred Aho - Bahasa pemrograman AWK
Gene Amdahl - Hukum Amdahl
Tom Anderson - Dependabilty, Fault Tolerant Computing
Andrew Appel - Buku teks kompiler
John Vincent Atanasoff - Penemu komputer elektronik pertama (komputer Atanasoff-Berry)

B

Charles Babbage - Perintis mesin komputer pertama
Charles Bachman
John Backus - FORTRAN
David A. Bader
Anthony Barr - SAS System
Rudolf Bayer - B-tree
Gordon Bell - DEC VAX, Struktur komputer
Steven M. Bellovin -- Network security
Dines Bjørner - VDM dan RAISE
Gerrit Blaauw - salah seorang pembuat desain dari IBM System 360
Manuel Blum - Kriptografi
Grady Booch - Unified Modeling Language, Object Management Group
George Boole - Boolean logic
Bert Bos - Cascading Style Sheets
Jonathan Bowen - Z notation dan formal methods
Steve Bourne - Bourne Shell, kompiler portabel: ALGOL 68C
Robert Boyer - Pencarian string dan ACL2 theorem prover
Jack E. Bresenham - Kontributor grafika komputer: Bresenham's algorithm
Per Brinch Hansen ( "Brinch Hansen") - concurrency
Fred Brooks - System 360, OS/360, The Mythical Man-Month, No Silver Bullet
Rod Brooks
Alan Burns - Real-time Systems

C

Luca Cardelli - objek-objek
Edwin Catmull - Grafika komputer (Computer graphics)
Vinton Cerf - Internet, TCP/IP
Gregory Chaitin
Zhou Chaochen - Duration Calculus
Alonzo Church - pengombinasi lambda kalkulus dan matematik.
John Cocke - RISC
Edgar F. Codd - yang menyusun database model relasional
Stephen Cook - NP-completeness
James Cooley - FFT
Fernando J. Corbató - CTSS, Multics
Peter Cousins - EAI, ESB
Patrick Cousot - Intepretasi abstrak
Seymour Cray - Riset Cray, superkomputer
Dave Cutler - RSX-11, VMS, Windows NT

D

Ole-Johan Dahl - Simula
Christopher J. Date - proponent of database relational model
Dorothy Denning - security
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
Marco Dorigo - Ant-Colony Optimization

E

Annie J. Easley
Wim Ebbinkhuijsen - Cobol
John Presper Eckert
Philip-Emeagwali - Superkomputer
Douglas Engelbart
Andrey Ershov
Christopher Evans
Dave Evans - Grafika komputer (computer graphics)
Shimon Even
Eugene Kaspersky

F

G

H

Philipp Matthäus Hahn - kalkulator mekanis
Joseph Halpern
Per Brinch Hansen (lihat B, "Brinch Hansen")
Wim Hartman
Juris Hartmanis - teori kompleksitas (computational complexity theory)
Johan Håstad - computational complexity theory
Les Hatton - Kerawanan dan kegagalan Software
Martin Hellman
John L. Hennessy - Arsitektur komputer
Danny Hillis - Connection Machine
Geoffrey Hinton
C. A. R. Hoare - Logic, rigor, CSP
John Henry Holland - Algoritme genetik
Hermann Hollerith
Douglas Hofstadter - menulis Gödel, Escher, Bach, AI
Herman Hollerith - Pembuat mesin kartu berlubang pertama untuk IBM
John Hopcroft - Kompilator
Admiral Grace Hopper - Kompilator, COBOL
Alston Householder
David A. Huffman - Kode Huffman

I

J

Ivar Jacobson - Unified Modeling Language, Object Management Group
Ramesh Jain
Jonathan James
David S. Johnson
Stephen C. Johnson
Cliff Jones - VDM
Michael I. Jordan
Bill Joy - Sun Microsystems, BSD UNIX, vi, csh

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

L

Monica S. Lam
Leslie Lamport - Algoritme paralel
Butler W. Lampson
Peter J. Landin
Joshua Lederberg
Manny M Lehman - Laws of Software Evolution^{[pranala nonaktif permanen]}
Douglas Lenat - Artificial intelligence, Cyc
Leonid Levin - computational complexity theory
J.C.R. Licklider
David Liddle
Barbara Liskov - Bahasa pemrograman
Ada Lovelace - Bahasa pemrogram pertama
Nancy Lynch

M

Zohar Manna - Fuzzy logic
John Mashey
Yuri Matiyasevich - solving Hilbert's tenth problem
John McCarthy - Lisp programming language, Artificial intelligence
Douglas McIlroy - pipes
Chris McKinstry - Artificial intelligence, Mindpixel
Marshall Kirk McKusick - BSD, Berkeley Fast File System
Lambert Meertens - Algol68, ABC programming language
Bertrand Meyer - Eiffel
Silvio Micali - kriptografi
Robin Milner - ML
Marvin Minsky - Artificial intelligence, perceptrons, Society of Mind
Dr. Paul Mockapetris - Domain Name System (DNS)
Cleve Moler - numerical analysis dan MATLAB
Edward F. Moore - Mesin Moore (Moore's machine)
Gordon Moore - Hukum Moore (Moore's law)
J Strother Moore - pencarian string dan ACL2 theorem prover
Hans Moravec
Joel Moses - Macsyma
Stephen Muggleton

N

Mihai Nadin - Anticipation research
Frieder Nake - Pioneer in computer arts
Peter Naur - BNF, Algol 60
Roger Needham
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 and MADM
Nils Nilsson - Artificial intelligence
Jerre Noe
Emmy Noether
Peter Nordin - Artificial intelligence, genetic programming, and evolutionary robotics
Donald Norman - User interfaces and usability
Kristen Nygaard - Simula

O

John K. Ousterhout - Tcl
Mark Overmars - pemrograman mainan (games programming)

P

Christos Papadimitriou
Kamran Parsaye, Programming Language Semantics, Intelligent Databases
David Patterson
Judea Pearl - Artificial intelligence, Search
Alan Perlis - Bahasa Perl
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, and games
Hayden Porter
Emil Post - mathematics
Jon Postel - Internet
Franco Preparata

R

T. V. Raman - Accessibility, Web Technology, AsTeR, Emacspeak, XForms XML Events
Brian Randell - dependability
Raj Reddy - AI
David P. Reed
Gustavo Restrepo
John C. Reynolds
Joyce K. Reynolds - Internet
Adam Riese
Dennis Ritchie - C, UNIX
Ron Rivest - RSA
Azriel Rosenfeld
Guido van Rossum - Python programming language
Rudy Rucker - Writer, Educator
Steven Rudich - Complexity Theory, Cryptography
Jeff Rulifson
James Rumbaugh - Unified Modeling Language, Object Management Group

S

Carl Sassenrath - Operating systems, Programming languages, Amiga, REBOL
Jean E. Sammet - Programming languages
Thomas Sterling - Creator of Beowulf Clusters
Wilhelm Schickard
Doug Schmidt
Dana Scott - domain theory
Ravi Sethi - Compilers, 2nd Dragon Book
Adi Shamir - RSA
Claude Shannon - information theory
David E. Shaw - Computational finance, computational biochemistry, parallel architectures
Scott Shenker - networking
Edward H. Shortliffe - MYCIN (Medical diagnostoc expert system)
Herbert Simon - AI
Daniel Sleator - Splay tree, Amortized Analysis, Link-Cut Trees, Persistent Data Structures
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

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
Seinosuke Toda - Computation complexity, recipient of 1998 Gödel Prize
Linus Torvalds - Linux
Joseph F Traub - computational complexity of scientific problems
John Tukey - FFT
Alan Turing - British pioneer, Turing Machine

U

Jeffrey D. Ullman - Compilers, databases, Complexity theory

V

Leslie Valiant - computational complexity theory, computational learning theory
Andries van Dam - Grafika komputer, hypertext
Srinidhi Varadarajan - System X: VirginiaTech's Power Mac G5 Supercluster
Vernor Vinge - penulis cerita Science fiction

W

Philip Wadler - Pemrograman fungsional
David Wagner - Kriptografi
Jan Weglarz
Joseph Weizenbaum - AI, ELIZA
Adriaan van Wijngaarden - Dutch pioneer; ARRA, ALGOL
Maurice Vincent Wilkes - Microprogramming, EDSAC
Manfred K. Warmuth - Computational Learning Theory
James H. Wilkinson - Numerical analysis
Sophie Wilson
Shmuel Winograd - Coppersmith-Winograd algorithm
Terry Winograd - AI, SHRDLU
Niklaus Wirth - Pascal, Modula, and Oberon languages
Stephen Wolfram - Mathematica
William Wulf - Compilers, President of National Academy of Engineering

Y

Tao Yang
Alec Yasinsac - keamanan atau keamanan komputer
Andrew Chi-Chih Yao

Z

Lotfi Zadeh - Logika samar (Fuzzy logic)
Egon Zakrajšek - Pioner dari negara Slovenia
Konrad Zuse - Perintis perangkat keras (komputer Z3) dan perangkat lunak dari Jerman

Lihat pula

Wikimedia Commons memiliki media mengenai Computer scientists.

Diperoleh dari "https://id.wikipedia.org/w/index.php?title=Daftar_ilmuwan_komputer&oldid=18149638"