Popis računalnih znanstvenika
Izvor: Hrvatska internetska enciklopedija
- Preusmjeri Predložak:Proširi popis
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
Q
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
X
Y
Z
- Lotfi Zadeh - neizrazita logika
- Egon Zakrajšek - slovenski pionir
- Konrad Zuse - njemački pionir programske podrške i sklopovlja