Spisak računarskih naučnika

Ovo je spisak računarskih naučnika, ljudi koji rade u računarstvu, posebno istraživača i autora.

Neke osobe istaknute kao programeri su ovdje uključene jer su osim programera i istraživači. Rijetki su oni koji prethode izumu digitalnog računara - danas ih se smatra računarskim naučnicima jer je njihov rad vodio prema izumu računara. Drugi su matematičari čiji rad spada u ono što se danas zove teoretsko računarstvo, kao što je teorija složenosti, i algoritamska teorija informacije.

__NOTOC__

A Hal Abelson, presjek kompjutinga i podučavanja Paul Abrahams Samson Abramsky Hamid Yassin Adem Leonard Adleman - RSA Alfred Aho John R. Allen Gene Amdahl Tom Anderson - zavisnost, računarstvo otpornosti na pogreške John Vincent Atanasoff Olimho`ja Askarov

B

Charles Babbage - izumio prvi mehanički računar Charles Bachman John Backus - FORTRAN David A. Bader Anthony Barr - SAS sistem Rudolf Bayer - B-stablo Gordon Bell - DEC VAX, Computer Structures Steven M. Bellovin -- Mrežna sigurnost Dines Bjørner - VDM i RAISE Gerrit Blaauw - jedan od principijelnih dizajnera linije računara IBM System 360 Manuel Blum - kriptografija Ron Book Grady Booch - Unified Modeling Language, Object Management Group George Boole - Booleova logika Bert Bos - Cascading Style Sheets Jonathan Bowen - Z notacija i formalne metode Steve Bourne - Bourne Shell, prenosivi jezički procesor za ALGOL 68C Robert Boyer - pretraživanje stringova i ACL2 dokazivač teorema Ivan Bratko - Prolog, umjetna inteligencija Jack E. Bresenham - doprinosi u ranoj računarskoj grafici uključujući Bresenhamov algoritam Per Brinch Hansen (prezime "Brinch Hansen") - konkurentnost Fred Brooks - System 360, OS/360, The Mythical Man-Month, No Silver Bullet Rod Brooks Tim Budd - LittleSmalltalk Alan Burns - sistemi za rad u stvarnom vremenu

C

Luca Cardelli - objekti Edwin Catmull - računarska grafika Vinton Cerf - Internet, TCP/IP Gregory Chaitin Zhou Chaochen - duracijski račun Alonzo Church - matematika kombinatora i lambda račun John Cocke - RISC Edgar F. Codd - formulisao je relacijski model baze podataka Stephen Cook - NP-potpunost James Cooley - FFT Fernando J. Corbató - CTSS, Multics Peter Cousins - EAI, ESB Patrick Cousot - apstraktna interpretacija Seymour Cray - Cray Research, superračunar Dave Cutler - RSX-11, VMS, Windows NT

D

Ole-Johan Dahl - Simula Christopher J. Date - zagovornik relacijskog modela baza podataka James Demmel Dorothy Denning - računarska sigurnost John Denning - medicinska informatika Peter Denning - identificirao je upotrebu radnog skupa i balansiranog skupa operativnog sistema, predsjednik ACM-a Michael Dertouzos - upravitelj MIT laboratorije za računarstvo (Laboratory for Computer Science - (LCS)) od 1974. Alexander Dewdney Vinod Dham - "otac" Pentium procesora Whitfield Diffie - kriptografija Edsger Dijkstra - algoritmi Goto considered harmful semafor Jack Dongarra - linearna algebra računarstvo visokih performansi Marco Dorigo - Optimizacija kolonije mrava

E Annie J. Easley Wim Ebbinkhuijsen - Cobol John Presper Eckert Philip-Emeagwali - superračunarstvo Douglas Engelbart Andrey Ershov Bob Evans Christopher Evans Dave Evans - računarska grafika Shimon Even

F

Scott Fahlman Aidin Falkoff - APL Edward Feigenbaum - inteligencija Michael Feldman Edward Felten - računarska sigurnost Raphael Finkel Michael Fischer - raspodijeljeni sistemi, kriptografija Tommy Flowers - COLOSSUS Robert Floyd - NP-potpunost Ken Forbus Herbert W. Franke Daniel P. Friedman Tim Finin

G Richard Gabriel Zvi Galil Bernard Galler - MAD (programski jezik) Hector Garcia-Molina Michael Garey - NP-potpunost Hugo de Garis Bill Gates - operativni sistem Microsoft Windows David Gelernter Charles Geschke Kurt Gödel - izračunljivost Joseph Goguen Adele Goldberg - Smalltalk Oded Goldreich - kriptografija, računska teorija složenosti Shafi Goldwasser - kriptografija, računska teorija složenosti Gene Golub - matrično računanje James Gosling - NeWS, Java Paul Graham Susan L. Graham - jezički procesori, programske okoline Jim Gray - baza podataka Bill Griswold - programsko inženjerstvo Ralph Griswold - Snobol Barbara Grosz Ramanathan V. Guha - RDF, Netscape, RSS (datotečni format), Epinions Peter G. Gyarmati - prilagodljivost u operativnim sistemima u umrežavanju

H

Philipp Matthäus Hahn - mehanički kalkulator Joseph Halpern Per Brinch Hansen (naveden pod B po prezimenu, "Brinch Hansen") Wim Hartman Juris Hartmanis - računska teorija složenosti Johan Håstad - računska teorija složenosti Les Hatton - kvarovi i ranjivosti programske podrške Martin Hellman John L. Hennessy - Računarska arhitektura Kristian Hermansen Danny Hillis - Connection Machine Geoffrey Hinton C. A. R. Hoare - logika, rigor, CSP Stephen Hodges John Henry Holland - genetski algoritmi Hermann Hollerith Douglas Hofstadter - napisao je Gödel, Escher, Bach, umjetna inteligencija Herman Hollerith - razvio je prve mašine na principu bušenih kartica za prethodnika IBM-a John Hopcroft - jezički procesori Admiral Grace Hopper - jezički procesori, COBOL Berthold K.P. Horn Ellis Horowitz Alston Householder Paul Hudak David A. Huffman - Huffmanov kod

I

Jean Ichbiah - programski jezik Ada (programski jezik) Kenneth E. Iverson - programski jezik APL (programski jezik)

J

Ivar Jacobson - Unified Modeling Language, Object Management Group Ramesh Jain Jonathan James David B. Johnson - Johnsonov algoritam 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-potpunost Narendra Karmarkar - Karmarkarov algoritam Jacek Karpinski Marek Karpinski - NP optimizacijski problemi Ken Kennedy - prevođenje za paralelne i vektorske mašine Brian Kernighan - Unix Stephen Cole Kleene - Kleeneov operator, teorija rekurzije Donald Knuth - "The Art of Computer Programming", TeX, tekstualno programiranje Andrew Koenig - C++ Janet Kolodner - Case-based rezonovanje David Korn - Korn shell Kees Koster - ALGOL 68 John Koza - Genetsko programiranje Andrej Nikolajevič Kolmogorov Robert Kowalski Thomas E. Kurtz - programski jezik BASIC Tosiyasu Laurence Kunii - osnivač Cyberworldsa

L

Monica S. Lam Leslie Lamport - algoritmi za konkurentnost Butler W. Lampson Peter J. Landin Joshua Lederberg Douglas Lenat - umjetna inteligencija, Cyc Nancy Leveson - sigurno programsko inženjerstvo Hector Levesque Leonid Levin - računska teorija složenosti Michael Ley - DBLP J.C.R. Licklider David Liddle Barbara Liskov - programski jezici Bev Littlewood - pouzdanost programske podrške Ada Lovelace - prvi programer Zhaohui Luo - teorija tipova, formalno zaključivanje Nancy Lynch

M

Zohar Manna - neizrazita logika John Mashey Yuri Matiyasevich - rješavanje Hilbertovog desetog problema John McCarthy - Lisp, umjetna inteligencija Douglas McIlroy - pipe-ovi Chris McKinstry - umjetna inteligencija, Mindpixel Marshall Kirk McKusick - BSD, Berkeley Fast File System Lambert Meertens - Algol68, ABC programski jezik Jose Meseguer Bertrand Meyer - Eiffel Silvio Micali - kriptografija Robin Milner - ML Marvin Minsky - umjetna inteligencija, perceptroni, Society of Mind Dr. Paul Mockapetris - Sistem imena domena (DNS) Cleve Moler - numerička analiza i MATLAB Gordon Moore - Mooreov zakon J Strother Moore - pretraživanje stringova ACL2 dokazivač teoreme Hans Moravec Joel Moses - Macsyma Stephen Muggleton

N

Mihai Nadin - Anticipation Research Frieder Nake - Pionir u računarskoj umjetnosti Peter Naur - BNF, Algol 60 Roger Needham Bernard de Neumann - Masivni paralelni autonomni ćelijski procesor - Software engineering research John von Neumann - Definisanje rada računara, von Neumann mašina Allen Newell - umjetna inteligencija Computer structures Max Newman - COLOSSUS and MADM Nils Nilsson - umjetna inteligencija Jerre Noe Emmy Noether Arthur Norman Donald Norman - korisnička sučelja i Upotrebljivost Kristen Nygaard - Simula

O

John K. Ousterhout - Tcl Mark Overmars - Programiranje igara

P mini|165x165piksel|Willem van der Poel Christos Papadimitriou Kamran Parsaye, Programming Language Semantics, Inteligentne baze podataka Goutham Patnaikuni - Računarska grafika, umjetna inteligencija David Patterson Judea Pearl - umjetna inteligencija, Search Shoayb Peerbocus Alan Perlis - Programming Pearls Radia Perlman - Spanning-tree protocol Simon Peyton-Jones - Funkcionalno programiranje Gordon Plotkin Amir Pnueli - temporal logic Willem van der Poel - Računarska grafika, robotika, geografski informacijski sistem, imaging, multimedija, umjetne okoline i igre Hayden Porter Emil Post - matematika Jon Postel - Internet Edmond Prakash - Vokselizacija i Voxel Animacija Terry Pratt Franco Preparata

Q

R T. V. Raman - Pristupačnost, Web tehnologija, AsTeR, Emacspeak, XForms XML Events Brian Randell - dependability Timothy W. Rauenbusch - AI Raj Reddy - AI David P. Reed Gustavo Restrepo John C. Reynolds Joyce K. Reynolds - Internet Adam Riese Dennis Ritchie - C, UNIX Ron Rivest - RSA Saul Rosen Azriel Rosenfeld Guido van Rossum - Python (programski jezik) Lawrence A. Rowe Rudy Rucker - pisac, edukator Steven Rudich - teorija kompleksnosti, kriptografija Jeff Rulifson James Rumbaugh - Unified Modeling Language, Object Management Group Jonathan Rumion

S

Amit Sahai - Kriptografija, Computational Complexity Theory Carl Sassenrath - Operativni sistemi, Programski jezici, Amiga, REBOL Jean E. Sammet - Programski jezici Wilhelm Schickard Doug Schmidt Norm Schryer Dana Scott - teorija domena John Scumniotales - Agile Development Pioneer, The first Scrummaster Ravi Sethi - kompajleri, druga Dragon Book Adi Shamir - RSA Claude Shannon - teorija informacija David E. Shaw - računarstvo u: finansijama, biohemiji, paralelne arhitekture Scott Shenker - umrežavanje Edward H. Shortliffe - MYCIN (ekspertni sistemi u medicinskoj dijagnostici) Herbert Simon - AI Rachad Kabalan - AI Mike Sipser - teorija kompleksnosti u računarstvu Daniel Sleator - Splay tree, Amortized Analysis, Link-Cut Trees, Persistent Data Structures Padhraic Smyth - rudarenje podataka, otkrivanje znanja Alex Spinelli - internet veteran, pionir i inovator Robert Sproull Richard Stallman - GNU Project Richard Stearns - teorija računske složenosti Guy L. Steele, Jr. - Scheme, Common Lisp George Stibitz - Complex Number Calculator Christopher Strachey - denotacijska semantika Michael Stonebraker - praksa i teorija baza podataka Bjarne Stroustrup - C++ Madhu Sudan - teorija računske složenosti, teorija kodiranja Gerald Jay Sussman - Scheme Bert Sutherland - Grafika, Internet Ivan Sutherland - Grafika Richard Sweet Dan Swinehart

T

Andrew S. Tanenbaum - Operativni sistemi, Minix Robert Tarjan - rašireno drvo Demetri Terzopoulos Larry Tesler - interakcija čovjek - računar, GUI, Apple Macintosh Avie Tevanian - Mach kernel tim, NeXT, Mac OS X Ken Thompson - Unix Walter F. Tichy - RCS Linus Torvalds - Linux Joseph F Traub - računarska kompleksnost naučnih problema John Tukey - FFT Alan Turing - Britanski pionir, Turing Machine

U

Jeffrey D. Ullman - Kompajliranje, baze podataka, teorija kompleksnosti

V Salil Vadhan - teorija računske kompleksnosti, kriptografija Leslie Valiant - teorija račnske kompleksnosti, teorija računarskog učenja Andries van Dam - računarska grafika, hypertext Srinidhi Varadarajan - System X: VirginiaTech's Power Mac G5 Supercluster Vernor Vinge - SF pisac

W

Philip Wadler - Funkcijsko programiranje David Wagner - kriptografija Jan Weglarz Peter Wegner Joseph Weizenbaum - AI, ELIZA Richard Wexelblat - Programski jezici Scott White - Data mining, Otkrivanje znanja