Jumat, 12 Februari 2010

daftar ilmuwan komputer terbaik dunia

A

A. Annerl - pengolahan multidimensional, teori kompleksitas komputasi
Hal Abelson - persimpangan komputasi dan pengajaran
Serge Abiteboul - teori database
Samson Abramsky - permainan semantik
Leonard Adleman - RSA , komputasi DNA
Manindra Agrawal - polinomial-waktu pengujian primality
Luis von Ahn - perhitungan manusia
Alfred Aho - kompiler buku, dan 'a' pada awk
Frances E. Allen - optimasi compiler
Gene Amdahl - super-komputer pengembang, pendiri Amdahl Corporation
Tom Anderson - ketergantungan, yang toleran terhadap kesalahan komputasi
Andrew Appel - compiler buku teks
Sanjeev Arora - PCP teorema
John Vincent Atanasoff - pelopor komputer
[ sunting ]B

Charles Babbage - mekanik komputer pertama Diciptakan
Charles Bachman
John Backus - FORTRAN dan Backus-Naur form
David A. Bader
Anthony James Barr - Sistem SAS
Rudolf Bayer - B-pohon
Gordon Bell - Desember VAX , Struktur Komputer
Steven M. Bellovin - Keamanan jaringan
Tim Berners-Lee - World Wide Web
Peter Bernus
Dines Bjørner - VDM dan RAISE
Gerrit Blaauw - salah satu desainer utama IBM System 360 baris komputer
Manuel Blum - kriptografi
Barry Boehm - ekonomi rekayasa perangkat lunak, pengembangan spiral
Grady Booch - Unified Modeling Language , Obyek Manajemen Grup
George Boole - logika Boolean
Bert Bos - Cascading Style Sheets
Jonathan Bowen - Z notasi dan metode formal
Steve Bourne - Bourne Shell , portabel ALGOL 68C compiler.
Robert Boyer - string pencarian dan prover teorema ACL2
Jack E. Bresenham - termasuk komputer grafis kontribusi awal Algoritma Bresenham
Per Brinch Hansen (nama "Brinch Hansen") - konkurensi
Sjaak Brinkkemper - metodologi pengembangan perangkat lunak produk
Fred Brooks - Sistem 360 , OS/360 , Bulan Mythical-Man , No Bullet Silver
Rod Brooks
Alan Burns - Real-time Systems
Rajkumar Buyya - pelopor berorientasi pasar platform komputasi terdistribusi
Leeroy Brun
[ sunting ]C

Martin Campbell-Kelly - sejarah komputasi
Luca Cardelli - objek
Edwin Catmull - Grafika komputer
Vinton Cerf - Internet , TCP / IP
Gregory Chaitin
Zhou Chaochen - Jangka waktu kalkulus
Gereja Alonzo - combinators matematika dan kalkulus lambda
Edmund M. Clarke - Model memeriksa
John Cocke - RISC
Edgar F. Codd - merumuskan database model relasional
Gordon Cormack - co-penemu kompresi dinamis Markov
Stephen Cook - NP-kelengkapan
James Cooley - FFT
Fernando J. Corbató - CTSS , Multics
Patrick Cousot - interpretasi abstrak
Seymour Cray - Cray Research , superkomputer
Nello Cristianini - Machine Learning, Analisis Pola, Artificial Intelligence
[ sunting ]D

Ole-Johan Dahl - Simula
Andries van Dam - komputer grafis , hypertext
Christopher J. Tanggal - pendukung database model relasional
Tom DeMarco
Dorothy Denning - keamanan
Peter Denning - diidentifikasi penggunaan sebuah sistem operasi 's working set dan mengatur keseimbangan, Presiden ACM
Michael Dertouzos - Direktur MIT Laboratorium Ilmu Komputer (SKB) 1974-2001
Alexander Dewdney
Vinod Dham - Pentium prosesor
Jan Dietz
Whitfield Diffie - Kriptografi
Edsger Dijkstra - Algorithms , Goto dianggap berbahaya , Semafor (pemrograman)
Jack Dongarra - Aljabar Linear komputasi kinerja tinggi
Dorigo Marco - Ant-Colony Optimization
Paul Dourish - interaksi manusia komputer
Charles Stark Draper - Apollo Bimbingan Komputer
Sean Davis - Programmer
Adam Dunkels - Protothreads
Alan Dix - Secara harfiah menulis buku tentang HCI.
[ sunting ]E

Annie J. Easley
Wim Ebbinkhuijsen - Cobol
John Presper Eckert - ENIAC
Philip-Emeagwali - Supercomputing
E. Allen Emerson - Model memeriksa
Douglas Engelbart - mouse komputer
Andrey Ershov
Christopher Riche Evans
Dave Evans - grafis komputer
Bahkan Shimon
[ sunting ]F

Scott Fahlman
Edward Feigenbaum - intelijen
Edward Felten - keamanan
Tim Finin
Raphael Finkel
Donald Firesmith
Tommy Bunga - Colossus
Robert Floyd - NP-kelengkapan
James D. Foley
Ken Forbus
Herbert W. Franke
Daniel P. Friedman
[ sunting ]G

Richard Gabriel
Zvi Galil
Bernard Galler - MAD
Hector Garcia-Molina
Garey Michael - NP-Kelengkapan
Hugo de Garis
David Gelernter
Charles Geschke
Seymour Ginsburg - bahasa formal , Teori Automata , AFL Teori , Teori Database
Robert L. Glass
Kurt Gödel - komputabilitas (walaupun tidak seorang ilmuwan komputer per se, karyanya sangat berharga di lapangan tetap)
Joseph Goguen
Adele Goldberg - Smalltalk
Ian Goldberg - kriptografer, -the-record pesan Off
Oded Goldreich - kriptografi , teori kompleksitas komputasi
Shafi Goldwasser - kriptografi , teori kompleksitas komputasi
Gene Golub - Matriks (matematika) perhitungan
James Gosling - Berita , Java
Paul Graham
Susan L. Graham - Compiler , lingkungan pemrograman
Gray Jim - Database
Sheila Greibach - Greibach bentuk normal , AFL Teori
Ralph Griswold - SNOBOL
Tom Gruber
Ramanathan V. Guha - RDF , Netscape , RSS (file format) , Epinions
Neil J. Gunther - Komputer kinerja analisa dan perencanaan kapasitas
Peter G. Gyarmati - Adaptivity dalam sistem operasi dan jaringan
[ sunting ]H

Philipp Matthäus Hahn - mekanik kalkulator
Eldon C. Hall - Apollo Bimbingan Komputer
Joseph Halpern
Richard Hamming - Hamming kode , pendiri Asosiasi untuk Komputasi Mesin
Juris Hartmanis - teori kompleksitas komputasi
Johan Håstad - teori kompleksitas komputasi
Les Hatton - kegagalan perangkat lunak dan kerentanan
Dia Jifeng - provably benar sistem
Martin Hellman
James Hendler - Semantic Web
John L. Hennessy - Komputer arsitektur
Andrew Herbert
Danny Hillis - Mesin Koneksi
Geoffrey Hinton
CAR Hoare - Logika , ketelitian, CSP
John Henry Holland - Algoritma Genetik
Herman Hollerith - Diciptakan rekaman data pada mesin media yang dapat dibaca, menggunakan kartu menekan
John Hopcroft - Compiler
Admiral Grace Hopper - Compiler , COBOL
Alston rumah tangga
David A. Huffman - kode Huffman
[ sunting ]I

Jean Ichbiah - Ada bahasa pemrograman
Kenneth E. Iverson - APL (bahasa pemrograman)
[ sunting ]J

Ivar Jacobson - Unified Modeling Language , Obyek Manajemen Grup
Ramesh Jain
Jonathan James
David S. Johnson
Stephen C. Johnson
Cliff Jones - VDM
I. Michael Jordan
Bill Joy - Sun Microsystems , BSD UNIX, vi , csh
[ sunting ]K

William Kahan - analisis numerik
Robert E. Kahn - TCP / IP
Avinash Kak - pengolahan citra digital
Alan Kay - Dynabook , Smalltalk
Richard Karp - NP kelengkapan
Narendra Karmarkar - Algoritma Karmarkar
Marek Karpinski - masalah optimasi NP
John George Kemeny - BASIC
Ken Kennedy - kompilasi untuk paralel dan mesin vektor
Brian Kernighan - Unix , dan "k" di awk
Carl Kesselman - komputasi grid
Stephen Cole Kleene - Kleene penutupan , teori rekursi
Leonard Kleinrock - ARPANET , teori antrian , paket switching , routing hierarkis
Donald Knuth - The Art of Computer Programming , TeX , pemrograman melek
Andrew Koenig - C + +
Michael Kölling - BlueJ
Janet L. Kolodner - penalaran berbasis kasus
David Korn - Korn shell
Kees Koster - ALGOL 68
John Koza - genetik pemrograman
Andrey Nikolaevich Kolmogorov - teori kompleksitas algoritmik
Robert Kowalski - logika pemrograman
John Krogstie - The kerangka SEQUAL
Joseph Kruskal - Algoritma Kruskal
Thomas E. Kurtz - BASIC
[ sunting ]L

Monica S. Lam
Leslie Lamport - Algoritma untuk komputasi terdistribusi , LaTeX .
Butler W. W. Lampson
Peter J. Landin
Börje Langefors
Joshua Lederberg
Manny M Lehman - Hukum Evolusi Perangkat Lunak
Douglas Lenat - Kecerdasan buatan , Cyc
Rasmus Lerdorf - PHP
Leonid Levin - teori kompleksitas komputasi
JCR Licklider
David Liddle
Barbara Liskov - Pemrograman bahasa
Ada Lovelace - programmer pertama
Nancy Lynch
[ sunting ]M

Mohamed Medhat - IT Profesional dan pemilik Medosoft
Zohar Manna - Fuzzy logic
James Martin - Rekayasa Informasi
John Mashey
Yuri Matiyasevich - pemecahan masalah yang kesepuluh Hilbert
Yukihiro Matsumoto - bahasa pemrograman Ruby
John McCarthy - bahasa pemrograman Lisp , Kecerdasan buatan
Douglas McIlroy - pipa
Chris McKinstry - Kecerdasan buatan , Mindpixel
Marshall Kirk McKusick - BSD , Berkeley Fast File System
Lambert Meertens - ALGOL 68 , bahasa pemrograman ABC
Bertrand Meyer - Eiffel
Silvio Micali - kriptografi
Robin Milner - ML
Marvin Minsky - Kecerdasan buatan , Perceptrons , Society of Mind
Dr Paul Mockapetris - Domain Name System (DNS)
Cleve Moler - analisis numerik dan MATLAB
Edward F. Moore - mesin Moore
Gordon Moore - Hukum Moore
J Strother Moore - string pencarian dan prover teorema ACL2
Hans Moravec
Robert Tappan Morris - yang cacing Morris
Joel Musa - Macsyma
Stephen Muggleton
[ sunting ]N

Mihai Nadin - Antisipasi penelitian
Makoto Nagao - Mesin terjemahan, pengolahan bahasa alami, dan perpustakaan digital
Nake Frieder - Pioneer dalam seni komputer
Zachary Nanfelt - Computer Scientist dari Universitas LeTourneau
Peter Naur - BNF , Algol 60
Roger Needham
James G. Nell - GERAM
Bernard de Neumann - selular otonom prosesor paralel masif, penelitian rekayasa perangkat lunak
John von Neumann - Awal komputer, mesin von Neumann
Allen Newell - Kecerdasan buatan , Komputer Struktur
Max Newman - Colossus dan MADM
Andrew Ng - Kecerdasan buatan , pembelajaran mesin , dan robot
Nils Nilsson - Kecerdasan buatan
GM Nijssen - NIAM
Jerre Noe
Noether Emmy
Peter Nordin - Kecerdasan buatan , pemrograman genetik , dan evolusi robot
Donald Norman - User interface dan kegunaan
Novacky George - Asisten Ketua Departemen dan Dosen Senior di Ilmu Komputer, Dekan Asisten CAS untuk Pendidikan Sarjana di University of Pittsburgh
Kristen Nygaard - Simula
[ sunting ]O

T. William Olle - Ferranti Mercury
Mark Overmars - Permainan pemrograman
[ sunting ]P

Christos Papadimitriou
Kamran Parsaye - Intelligent Database
Yale Bagian - ILP , spekulatif arsitektur
David A. Patterson
Yudea Pearl - Kecerdasan buatan , Cari
Alan Perlis - Pemrograman Mutiara
Radia Perlman - Spanning-pohon protokol
Simon Peyton Jones - pemrograman Fungsional
Gordon Plotkin
Pnueli Amir - logika temporal
Willem van der Poel - grafis komputer, robotika, sistem informasi geografis, imaging, multimedia, lingkungan virtual, dan permainan
Emil Post - matematika
Jon Postel - Internet
Franco Preparata
[ sunting ]Q

[ sunting ]R

Michael O. Rabin - Nondeterministic mesin
TV Raman - Aksesibilitas , Emacspeak , dll
Brian Randell - ketergantungan
Yoav Raz - Database : terdistribusi dan serializability Global ( Komitmen pemesanan )
Raj Reddy - AI
David P. Reed
John C. Reynolds
Joyce K. Reynolds - Internet
Adam Riese
Dennis Ritchie - C , UNIX
Ron Rivest - RSA , MD5 , RC4
Colette Rolland - Remora metodologi, model meta
Azriel Rosenfeld
Douglas T. Ross - Analisis terstruktur dan Teknik Desain
Guido van Rossum - bahasa pemrograman Python
Winston W. Royce - Air Terjun model
Rudy Rucker - Matematika, Penulis, Pendidik
Steven Rudich - Teori Kompleksitas, Kriptografi
Jeff Rulifson
James Rumbaugh - Unified Modeling Language , Obyek Manajemen Grup
[ sunting ]S

George Sadowsky
Gerard Salton - Informasi pengambilan
Jean E. Sammet - Pemrograman bahasa
Carl Sassenrath - Sistem operasi , bahasa pemrograman , Amiga , REBOL
Wilhelm Schickard - Satu dari yang pertama mesin hitung
Bruce Schneier - kriptografi, keamanan
Fred B. Schneider - dan didistribusikan komputasi merangkap
Dana Scott - teori domain
Michael L. Scott - Bahasa Pemrograman , Algoritma , Distributed Computing
Ravi Sethi - Compiler , 2 Buku Dragon
Adi Shamir - RSA , pembacaan sandi
Claude Shannon - teori informasi
E. David Shaw - Komputasi keuangan, biokimia komputasi, arsitektur paralel
Scott Shenker - networking
Ben Shneiderman - Manusia-komputer interaksi , Visualisasi Informasi
Edward H. Shortliffe - MYCIN (Medis sistem pakar diagnostoc)
Joseph Sifakis - Model memeriksa
Herbert Simon - Kecerdasan buatan
Daniel Sleator - melebarkan pohon , Amortized Analisis
Arne Sølvberg - pemodelan informasi
Steven Spewak - Perusahaan Perencanaan Arsitektur
Robert Sproull
Maciej Stachowiak - GNOME , Safari dan WebKit
Richard Stallman - Proyek GNU
Ronald Stamper
Richard Stearns - teori kompleksitas komputasi
Guy L. Steele, Jr - Scheme , Common Lisp
Thomas Sterling - Pencipta cluster Beowulf
Larry Stockmeyer - kompleksitas komputasi, komputasi terdistribusi
Michael Stonebraker - database relasional praktek dan teori
Christopher Strachey - denotational semantik
Bjarne Stroustrup - C + +
Madhu Sudan - teori kompleksitas komputasional , teori pengkodean
Gerald Jay Sussman - Skema
Bert Sutherland - Graphics , Internet
Ivan Sutherland - Graphics
Mario Szegedy - Teori Kompleksitas dan Komputasi Quantum
[ sunting T]

Andrew S. Tanenbaum - Sistem operasi , Minix
Robert Tarjan - pohon miring
Hua Shang-Teng - Analisis Algoritma
Larry Tesler - interaksi manusia-komputer, antarmuka pengguna grafis, Apple Macintosh
Avie Tevanian - tim kernel Mach, NeXT, Mac OS X
Bruce H. Thomas - Augmented Reality , Komputasi dpt dipakai , ARQuake
Ken Thompson - Unix
Walter F. Tichy - RCS
Seinosuke Toda - Perhitungan kompleksitas, penerima 1998 Gödel Prize
Linus Torvalds - Linux kernel, Git
Joseph F Traub - kompleksitas komputasi masalah ilmiah
John Tukey - FFT
Alan Turing - Inggris perintis, Mesin Turing
[ sunting ]U

Jeffrey D. Ullman - Compiler, database, Kompleksitas teori
[ sunting ]V

Leslie Valiant - teori kompleksitas komputasi , komputasi teori belajar
Varadarajan Srinidhi - Sistem X : VirginiaTech's Power Mac G5 Supercluster
François Vernadat - Enterprise pemodelan
Richard Veryard - Enterprise pemodelan
[ sunting ]W

Philip Wadler - pemrograman Fungsional
David Wagner - Keamanan, Kriptografi
Larry Wall - Perl bahasa pemrograman
James Z. Wang
Kevin Warwick - AI
Jan Weglarz
Peter J. Weinberger - Pemrograman desain bahasa, 'w' di awk
Mark Weiser - komputasi di mana-mana
Joseph Weizenbaum - AI , ELIZA
Adriaan van Wijngaarden - Belanda pionir; ARRA, ALGOL
Mary Allen Wilkes - Linc pengembang, Assembler-Linker desainer
Vincent Maurice Wilkes - Microprogramming, EDSAC
Yorick Wilks - Komputasi linguistik, Artificial Intelligence
Manfred K. Warmuth - Belajar Teori Komputasi
James H. Wilkinson - Analisis numerik
Sophie Wilson
Shmuel Winograd - Coppersmith-algoritma Winograd
Terry Winograd - AI , SHRDLU
Niklaus Wirth - Pascal , Modula dan Oberon bahasa
Dennis E. Wisnosky - ICAM , IDEF
Stephen Wolfram - Mathematica
William Wulf - Compiler
[ sunting ]X

[ sunting ]Y

Yang tao
Alec Yasinsac - keamanan
Andrew Chi-Chih Yao
Edward Yourdon - Sistem analisa dan Metode Desain
[ sunting ]Z

Lotfi Zadeh - Logika Fuzzy
Arif Zaman - -acak nomor Pseudo generator
Albert Zomaya - pelopor di Australia penjadwalan secara paralel dan sistem terdistribusi
Konrad Zuse - perintis Jerman perangkat keras dan perangkat lunak

Tidak ada komentar:

Poskan Komentar