Dodatak:Popis računalnih znanstvenika

Popis računalnih znanstvenika

Ovaj članak ili dio članka, djelomično ili uopće nije preveden s engleskog jezika. (Rasprava) Pomozite u prijevodu vodeći računa o stilu i pravopisu. Izvornik se možda nalazi na popisu drugih jezika.

Ovaj popis nije potpun. Možete pomoći proširujući ga.

Ovo je popis računalnih znanstvenika, ljudi koji rade u računarstvu, posebice 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 izum digitalnog računala - danas ih se smatra računalnim znanstvenicima jer je njihov rad vodio ka izumu računala. Drugi su matematičari čiji rad spada u ono što se danas zove teoretsko računarstvo, kao što je teorija složenosti te algoritamska teorija informacije.

Sadržaj: Vrh - 0–9 A B C Č Ć D Dž Đ E F G H I J K L Lj M N Nj O P Q R S Š T U V W X Y Z Ž

A

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

B

• Charles Babbage - izumio prvo mehaničko računalo
• Charles Bachman
• John Backus - FORTRAN
• David A. Bader
• Anthony Barr - SAS sustav
• 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čunala 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čni 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čunalnoj 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 - Tiny C?
• Alan Burns - sustavi za rad u stvarnom vremenu

C

• Luca Cardelli - objekti
• Edwin Catmull - računalna 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 - formulirao 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, superrračunalo
• Dave Cutler - RSX-11, VMS, Windows NT

D

• Ole-Johan Dahl - Simula
• Christopher J. Date - zagovornik relacijskog modela baza podataka
• James Demmel
• Dorothy Denning - sigurnost
• John Denning - medicinska informatika
• Peter Denning - identificirao je uporabu radnog skupa i balansiranog skupa operacijskog sustava, predsjednik ACM-a
• Michael Dertouzos - upravitelj MIT laboratorija 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 visoke performanse
• 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čunalna grafika
• Shimon Even

F

• Scott Fahlman
• Aidin Falkoff - APL
• Edward Feigenbaum - inteligencija
• Michael Feldman
• Edward Felten - sigurnost
• Raphael Finkel
• Michael Fischer - raspodijeljeni sustavi, 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
• Hector Garcia-Molina
• Michael Garey - NP-potpunost
• Hugo de Garis
• Bill Gates - operacijski sustav 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čni procesori, programski okoliši
• 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 operacijskim sustavima u umrežavanju

H

• Philipp Matthäus Hahn - mehanički kalkulator
• Joseph Halpern
• Per Brinch Hansen (naveden pod B po preezimenu, "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čunalna 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 strojeve na principu bušenih kartica za prethodnika IBM-a
• John Hopcroft - jezični procesori
• Admiral Grace Hopper - jezični 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 strojeve
• Brian Kernighan - Unix
• Stephen Cole Kleene - Kleeneov operator, teorija rekurzije
• Donald Knuth - The Art of Computer Programming, TeX, Literate programming
• Andrew Koenig - C++
• Janet Kolodner - Case-based reasoning
• David Korn - Korn shell
• Kees Koster - ALGOL 68
• John Koza - Genetsko programiranje
• Andrey Nikolaevich 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 programming language
• Jose Meseguer
• Bertrand Meyer - Eiffel
• Silvio Micali - kriptografija
• Robin Milner - ML
• Marvin Minsky - umjetna inteligencija, perceptrons, Society of Mind
• Dr. Paul Mockapetris - Sustav imena domena (DNS)
• Cleve Moler - numerička analiza i MATLAB
• Gordon Moore - Mooreov zakon
• J Strother Moore - pretraživanje stringova ACL2 theorem prover
• Hans Moravec
• Joel Moses - Macsyma
• Stephen Muggleton

N

• Mihai Nadin - Anticipation Research
• Frieder Nake - Pionir u računalnoj umjetnosti
• Peter Naur - BNF, Algol 60
• Roger Needham
• Bernard de Neumann - Massively parallel autonomous cellular processor - Software engineering research
• John von Neumann - Rana računala, von Neumann machine
• Allen Newell - umjetna inteligencija Computer structures
• Max Newman - COLOSSUS and MADM
• Nils Nilsson - umjetna inteligencija
• Jerre Noe
• Emmy Noether
• Arthur Norman
• Donald Norman - User interfaces and Usability
• Kristen Nygaard - Simula

O

• John K. Ousterhout - Tcl
• Mark Overmars - Programiranje igara

P

• Christos Papadimitriou
• Kamran Parsaye, Programming Language Semantics, Intelligent Databases
• Goutham Patnaikuni - Računalna grafika, umjetna inteligencija
• David Patterson
• Judea Pearl - umjetna inteligencija, Search
• Shoayb Peerbocus
• Alan Perlis - Programming Pearls
• Radia Perlman - Spanning-tree protocol
• Simon Peyton-Jones - Functional programming
• Gordon Plotkin
• Amir Pnueli - temporal logic
• Willem van der Poel - Računalna grafika, robotika, geografski informacijski sustav, imaging, multimedia, umjetne okoline i igre
• Hayden Porter
• Emil Post - matematika
• Jon Postel - Internet
• Edmond Prakash - Voxelization and Voxel Animation
• Terry Pratt
• Franco Preparata

R

• T. V. Raman - Accessibility, Web Technology, 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 programming language
• Lawrence A. Rowe
• Rudy Rucker - Writer, Educator
• Steven Rudich - Complexity Theory, Cryptography
• Jeff Rulifson
• James Rumbaugh - Unified Modeling Language, Object Management Group
• Jonathan Rumion

S

• Amit Sahai - Cryptography, Computational Complexity Theory
• Carl Sassenrath - Operating systems, Programming languages, Amiga, REBOL
• Jean E. Sammet - Programming languages
• Wilhelm Schickard
• Doug Schmidt
• Norm Schryer
• Dana Scott - domain theory
• John Scumniotales - Agile Development Pioneer, The first Scrummaster
• 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
• Rachad Kabalan - AI
• Mike Sipser - computational complexity theory
• Daniel Sleator - Splay tree, Amortized Analysis, Link-Cut Trees, Persistent Data Structures
• Padhraic Smyth - Data mining, Knowledge discovery
• Alex Spinelli - A veteran internet pioneer and innovator
• Robert Sproull
• Richard Stallman - GNU Project
• Richard Stearns - computational complexity theory
• Guy L. Steele, Jr. - Scheme, Common Lisp
• George Stibitz - Complex Number Calculator
• 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
• Richard Sweet
• Dan Swinehart

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
• 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

• Salil Vadhan - computational complexity theory, cryptography
• Leslie Valiant - computational complexity theory, computational learning theory
• Andries van Dam - computer graphics, hypertext
• Srinidhi Varadarajan - System X: VirginiaTech's Power Mac G5 Supercluster
• Vernor Vinge - Science fiction writer

W

• Philip Wadler - Funkcijsko programiranje
• David Wagner - kriptografija
• Jan Weglarz
• Peter Wegner
• Joseph Weizenbaum - AI, ELIZA
• Richard Wexelblat - Programming languages
• Scott White - Data mining, Knowledge discovery
• Adriaan van Wijngaarden - Dutch pioneer; ARRA, ALGOL
• David S. Wile
• Maurice Vincent Wilkes - Microprogramming, EDSAC
• James H. Wilkinson - Numerical analysis
• Sophie Wilson
• Shmuel Winograd - Coppersmith-Winograd algorithm
• Terry Winograd - AI, SHRDLU
• Allen Wirfs-Brock - Smalltalk
• Niklaus Wirth - Pascal, Modula, and Oberon languages
• Stephen Wolfram - Mathematica
• Larry Wos - Resolution theorem proving
• William Wulf - Compilers, President of National Academy of Engineering

Y

• Tao Yang
• Mihalis Yannakakis
• Alec Yasinsac - sigurnost
• Andrew Chi-Chih Yao

Z

• Lotfi Zadeh - neizrazita logika
• Egon Zakrajšek - slovenski pionir
• Konrad Zuse - njemački pionir programske podrške i sklopovlja

Vidi još

• Popis programera
• Popis važnih publikacija u računarstvu
• Popis ljudi u računarstvu