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.


 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, Literate programming
 Andrew Koenig - C++
 Janet Kolodner - Case-based rezonovanje
 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 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 

 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 - computational complexity theory
 Guy L. Steele, Jr. - Scheme, Common Lisp
 George Stibitz - Complex Number Calculator
 Christopher Strachey - denotational semantics
 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 - computational complexity theory, 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
 Adriaan van Wijngaarden - nizozemski pionir; ARRA, ALGOL
 David S. Wile
 Maurice Vincent Wilkes - Mikroprogramiranje, EDSAC
 James H. Wilkinson - Numerička analiza
 Sophie Wilson
 Shmuel Winograd - Coppersmith-Winograd algoritam
 Terry Winograd - AI, SHRDLU
 Allen Wirfs-Brock - Smalltalk
 Niklaus Wirth - Pascal, Modula, i Oberon jezici
 Stephen Wolfram - Mathematica
 Larry Wos - Dokazivanje teorema rezolucijehttps://ocw.mit.edu/courses/6-825-techniques-in-artificial-intelligence-sma-5504-fall-2002/3439d481b8e3d5abecc1403caf1ca89d_Lecture7FinalPart1.pdf
 William Wulf - Kompajliranje, Predsjednik National Academy of Engineering

 X 

 Y 
 Tao Yang
 Mihalis Yannakakis
 Alec Yasinsac - računarska sigurnost
 Andrew Chi-Chih Yao

 Z 

 Lotfi Zadeh - neizrazita logika (fuzzy)
 Egon Zakrajšek - slovenski pionir
 Konrad Zuse - njemački pionir programske podrške i hardvera

 Također pogledajte 
 Spisak programera
 Popis važnih publikacija u računarstvu
 Popis ljudi u računarstvu

 Reference 

 Vanjski linkovi 

 http://citeseerx.ist.psu.edu/stats/authors?all=true

Kategorija:Spiskovi ljudi po zanimanju
Kategorija:Računarski inženjeri