Daftar Tokoh Ilmuwan Komputer

Daftar Tokoh Ilmuwan Komputer



Komputer adalah alat yang dipakai untuk mengolah data menurut prosedur yang telah dirumuskan. Kata computer semula dipergunakan untuk menggambarkan orang yang perkerjaannya melakukan perhitungan aritmatika, dengan atau tanpa alat bantu, tetapi arti kata ini kemudian dipindahkan kepada mesin itu sendiri. Asal mulanya, pengolahan informasi hampir eksklusif berhubungan dengan masalah aritmatika, tetapi komputer modern dipakai untuk banyak tugas yang tidak berhubungan dengan matematika.

Charles Babbage adalah seorang matematikawan dari Inggris yang pertama kali mengemukakan gagasan tentang komputer yang dapat diprogram. Tahun 1991, dengan menggunakan rencana asli dari Babbage, sebuah mesin diferensial dikembangkan dan mesin ini dapat berfungsi secara sempurna, yang membuktikan bahwa gagasan Babbage tentang mesin ini memang dapat diimplementasikan. Namun dalam perkembangannya, banyak sekali tokoh, ilmuwan dan penemu dibidang Komputer yang telah berjasa besar dalam menjadikan Komputer lebih bermakna bagi kehiidupan kita.

Daftar Tokoh Ilmuwan Komputer

A
Martín Abadi - Logika BAN (Burrows-Abadi-Needham logic)
Hal Abelson - Samson Abramsky
Hamid Yassin Adem - CASE tool
Leonard Adleman - Algoritma 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

B
Charles Babbage - Penemu komputer mesin pertama kali
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 - objects
Edwin Catmull - Grafika komputer (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

D
Ole-Johan Dahl - Simula
Christopher J. Date - proponent of database relational model
Dorothy Denning - security
Peter Denning - identified OS 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
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 (computer graphics)
Shimon Even - Eugene Kaspersky

F
Scott Fahlman
Edward Feigenbaum - intelligence
Michael Feldman
Edward Felten - security
Tim Finin - Raphael Finkel
Tommy Flowers - COLOSSUS
Robert Floyd - NP-completeness
James D. Foley - Ken Forbus - Herbert W. Franke - Daniel P. Friedman

G
Richard Gabriel - 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
Ramanathan V. Guha - RDF, Netscape, RSS (file format), Epinions

H
Philipp Matthäus Hahn - kalkulator mekanis
Joseph Halpern - Per Brinch Hansen - Wim Hartman
Juris Hartmanis - teori kompleksitas
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 - Algoritma 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
Jean Ichbiah - Bahasa pemrograman Ada
Kenneth E. Iverson - Bahasa pemrograman APL

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 - Algoritma paralel
Butler W. Lampson - Peter J. Landin - Joshua Lederberg
Manny M Lehman - Laws of Software Evolution
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
Gordon Moore - Hukum Moore
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, evolutionary robotics
Donald Norman - User interfaces, 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, 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 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 - 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 and 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
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 - OS, 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, Turing Machine

U
Jeffrey D. Ullman - Compilers, databases, Complexity theory

V
Leslie Valiant - computational complexity theory, computational learning theory
Andries van Dam - Grafika, hypertext
Srinidhi Varadarajan - System X: VirginiaTech's Power Mac G5 Supercluster
Vernor Vinge - 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 - Micro programming, 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, Oberon
Stephen Wolfram - Mathematica
William Wulf - Compilers, President of National Academy of Engineering

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

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