Informatici celebri
Questa pagina presenta un elenco in ordine alfabetico delle personalità che hanno dato importanti contributi all'informatica e alla tecnologia delle apparecchiature per il calcolo e per l'elaborazione dei dati. Questo elenco comprende persone con storie e vocazioni diverse che si possono trovare anche nelle pagine storiche di settori come logica, matematica, fisica, elettronica, chimica, ingegneria, imprenditoria, politica, ... . In effetti lo sviluppo dell'informatica e del computer ha richiesto il contributo di una amplissima varietà di studi, teorie, sperimentazioni, tecnologie, iniziative e imprese. Vengono anche presentate indicazioni sintetiche sui contributi dei singoli personaggi e vengono segnalati i vincitori dei maggiori premi del settore, premio Turing, premio McDowell e premio Nevanlinna.Sarà disponibile anche un elenco di informatici celebri in ordine cronologico
A - B - C - D - E - F - G - H - I - J - K - L - M - N - O - P - Q - R - S - T - U - V - W - Y - Z
A
- Abelson, Hal
- Abrahams, Paul
- Leonard M. Adleman - Premio Turing 2002 - Crittografia, RSA
- Agerwala, Tilak - Premio McDowell 1998 - Computers di alte prestazioni
- Agrawal, Rajeev
- Aho, Alfred V (Al) - AWK, Compilatori
- Aiken, Howard H (Hoboken, New Jersey 8 marzo 1900 - Saint Louis, Missouri 14 marzo 1973) - Primi computers
- Allen, John R
- Amdhal, Gene (1922 - ) - Premio McDowell 1976 - Contributi all'architettura e alla progettazione dei computers, Impresa
- Andreessen, Marc - Premio McDowell 1997 - Browser multipiattaforma per WWW, Netscape
- Atanasoff, John Vincent (Hamilton, New York 4 ottobre 1903 - Monrovia, Maryland 15 giugno 1995) - Primi computers
- Auerbach, Isaac - IFIP
B
- Babbage, Charles (Londra 26 dicembre 1791 - Londra 18 ottobre 1871) - Calcolatrici, Primo computer meccanico
- Bachman, Charles W - Premio Turing 19 - Tecnologia delle basi di dati
- Backus, John (1924 - ) - Premio McDowell 1967, Premio Turing 1977 - Fortran, Specificazione formale dei linguaggi di programmazione
- Bar Hillel
- Bardeen, John - Transistor
- Barton, Robert S (1925 - ) - Premio McDowell 1977 - Stack processing, Dati registrati con tags autodescrittivi
- Bayer, Rudolf - B-tree
- Bell, C. Gordon (1934 - ) - Premio McDowell 1975 - Progettazione tecnica
- Berners-LeeTimothy (Tim) - Premio McDowell 1996 - World Wide Web
- Berry, Clifford E - Primi computers
- Bezos, Jeff - Amazon
- Bina, Eric J - Premio McDowell 1997 - Browser multipiattaforma per WWW
- Blum, Manuel - Premio Turing 1995 Crittografia, Complessità computazionale
- Bohm, Corrado - Programmazione strutturata
- Booch, Grady - Unified Modeling Language, Object Management Group
- Book, Ron
- Boole, George - Algebra di Boole
- Bothe, Walther
- Bourne, Stephen - Bourne shell
- Boyer, Robert - ''String searching e ACL2 (dimostratore di teoremi)
- Brattain, Walter - transistor
- Brinch Hansen, Per concorrenza
- Brooks, Frederick P. (Jr.) (1931 - ) - Premio McDowell 1970, Premio Turing 1999 - architettura dei computers, Sistema 360, OS/360, Ingegneria del software, Mese-uomo, No Silver Bullet
- Brooks, Rod
- Budd, Tim - Tiny C?
- Burroughs, William Seward (Auburn, New York 28 gennaio 1855 - Citronelle, Alabama 5 settembre 1898) - Calcolatrici meccaniche
- Bush, Vannevar (Massachusetts 11 marzo 1890 - 28 giugno 1974) - Politica di sostegno della ricerca, Memex
C
- Cardelli, Luca - Oggetto (in programmazione)
- Cerf, Vinton G (1943 - ) - uno dei padri di Internet insieme con Kahn, Robert E - Presidente ICANN
- Chaitin, Gregory - Limiti della computabilità
- Chomsky, Noam - Gerarchia dei linguaggi
- Church, Alonzo - Computabilità, Lambda calcolo
- Clark, Jim - Presidente Netscape Communications Corporation
- Cocke, John - Premio Turing 1987 - Compilatori, RISC
- Codd, Edgar F - Premio Turing 1981 - basi dati relazionali
- de Colmar, Charles Xavier Thomas (1785 - 1870) - Aritmometro
- Colmerauer - Prolog (linguaggio di programmazione)
- Cook, Stephen A - Premio Turing 1982 - NP-completezza
- Cooley, James - FFT, trasformata rapida di Fourier
- Corbató, Fernando J (1926 - ) - Premio McDowell 1966, Premio Turing 1990 - Time sharing, CTSS, Multics
- Cray, Seymour (1925 - ) - Premio McDowell 1968 - Supercomputer
- Cutler, David (Dave) - RSX-11, VMS, Windows NT
D
- Dadda, Luigi - Primo computer italiano, AICA
- Dahl, Ole-Johan - Premio Turing 2001 - Simula, Programmazione orientata agli oggetti
- Date, Christopher J - Modello relazionale delle basidati
- De Lotto, Ivo - Presidente AICA
- de Raadt, Theo - Progetti OpenBSD, OpenSSH
- Demmel, James
- Denning, Dorothy - Sicurezza
- Denning, John - Informatica medica
- Denning, Peter - ''operating system's working set e balance set, Presidente della ACM
- Denoth, Franco
- Dertouzos, Michael L - ''MIT Laboratory for Computer Science (LCS), progetto Oxygen)
- Dewdney, Alexander
- Diffie, Whitfield - Crittografia
- Dijkstra, Edsger - Premio Turing 1972 - Algoritmi, Pericolosità del Goto
- Dongarra, Jack
E
- Eckert, J. Presper - ENIAC
- Eichelberger, Edward B (1934 - ) - Premio McDowell 1989 - Tecniche di scansione per il test dei circuiti logici
- Ellison, Larry - Oracle
- Emeagwali, Philip
- Engelbart, Douglas (Doug) - Premio Turing 1997 - Interfacce grafiche
- Ershov, Andrey
- Evans, Christopher
- Evans, Dave - Computer grafica
- Even, Shimon - Algoritmi combinatorici
F
- Faggin, Federico (Vicenza 1941 - ) - Premio McDowell 1994 - Processo Silicon Gate, Primo microprocessore commerciale
- Fahlman, Scott
- Feigenbaum, Edward - Premio Turing 1994 - Intelligenza artificiale
- Feldman, Michael
- Felt, Dorr E (1862 - 1930) - Comptometer
- Fernbach, Sidney (1917 - 1991) - Premio McDowell 1987 - Supercomputers
- Feynman, Richard P - (Computer Quantistico)
- Finkel, Raphael
- Floyd, Robert W - Premio Turing 1978 - Algoritmi, NP-completezza
- Forbus, Ken
- Friedman, Dan
G
- Galil, Zvi
- Galler, Bernard
- Garcia-Molina, Hector
- Garey, Michael - NP-completezza
- de Garis, Hugo
- Gates, William - Microsoft
- Gelernter, David
- Genuys
- Geschke, Charles
- Ghizzetti, Aldo - Pr4esidente AICA
- Ginsperg - Los Alamos archive, i.e. arXiv
- Gödel, Kurt - Computabilità
- Goguen, Joseph
- Goldberg, Adele - Smalltalk
- Golub, Gene - Computazioni matriciali
- Gosling, James - NeWS, Java
- Graham, Paul
- Graham, Susan - Compilers, Ambienti di programmazione
- Gray, James (Jim) - Premio Turing 1998 - basidati
- Griswold, Bill - Ingegneria del software
- Griswold, Ralph - Snobol, linguaggio per la manipolazione di stringhe
- Grosz, Barbara
- Gupta, Umang
- Gutmans, Andi - PHP
H
- Hahn, Philipp Matthäus
- Halpern, Joseph
- Hamming, Richard - Premio Turing 1968
- Harrison, Michael
- Hartmanis, Juris - Premio Turing 1993 - Complessità computazionale
- Hellman, Martin
- Hennessy, John - Architettura del Computer
- Hewlett, William
- Hillis, Danny - Macchina a connessione
- Hinton, Geoffrey
- Hoare, C. Antony R - Premio Turing 1980 - Logica, CSP
- Hoerni, Jean A (1925 - ) - Premio McDowell 1972 - Processo planare per la fabbricazione dei semiconduttori
- Hoff, Ted
- Hofstadter, Douglas - Gödel, Escher, Bach, Intelligenza artificiale
- Hollerith, Herman - Macchine a schede perforate
- Hopcroft, John - Premio Turing 1986 - Compilatori
- Hopper, Grace (1906 - 1992) - Premio McDowell 1979 - Compilatori, COBOL, Lavoro a sostegno dei linguaggi di programmazione di alto livello
- Horn, Berthold K. P - Algoritmi numerici
- Horowitz, Ellis
- Householder, Alston
- Hudak, Paul
- Huffman, David A (1925 - ) - Codici
I
- Italiani, Mario - Presidente AICA
- Kenneth E. Iverson - Premio Turing 1979 - APL
J
- Jacobson, Ivar - Unified Modeling Language, Object Management Group
- Jacopini, Giuseppe (Puccio)
- Jacquard, Joseph-Marie (1752 - 1834) - Telaio automatico
- Jobs, Steve - Apple, NeXT, Pixar
- Johnson, David B
- Johnson, David S
- Johnson, Steven C
- Jordan, Michael I
- Joy, Bill - Sun Microsystems, BSD, Unix, vi, csh
K
- Kahan, William (Velvel) - Premio Turing 1989 - Analisi numerica
- Kahn, Robert E ( - ) - uno dei padri di Internet insieme con Cerf, Vinton G - Presidente CNRI
- Kak, Avinash
- Karp, Richard M - Premio Turing 1985 - NP-completezza
- Kay, Alan - Premio Turing 2003 - Dynabook, Smalltalk, Programmazione orientata agli oggetti
- Kemeny - BASIC
- Kennedy, Kenneth W - Premio McDowell 1995 - Computer art mediante ottimizzazione del computer e sviluppo del software per elaborazioni parallele
- Kernighan, Brian - C, Unix, AWK
- Khosla, Pradeep - Premio McDowell 2001 - Sistemi software di tempo reale riconfigurabili
- Kilburn, Thomas (Dewsbury, Inghilterra 11 agosto 1921 - ) - Premio McDowell 1971 - Primi computers di grande potenza
- Kilby, Jack St. Claire
- Kleene
- Knuth, Donald E (1938 - ) - Premio Turing 1974, Premio McDowell 1980 - Analisi degli algoritmi, The Art of Computer Programming, TeX, Literate programming, Ingegneria del software
- Koenig, Andrew - C++
- Koza, John - programmazione genetica
- Kolmogorov, Andrey Nikolaevich - Complessità algoritmica
- Kowalski, Robert
- Kurtz, Thomas E - BASIC
L
- Lam, Monica
- Lamport, Leslie - Algoritmi per la concorrenza, LaTeX
- Lampson, Butler W - Premio Turing 1992 - ambienti distribuiti di personal computing
- Landin, Peter J
- Lebedev, Sergey Alekseevich - Primo computer in Ucraina
- Lederberg, Joshua
- Leibniz, Gottfried Wilhelm - Precursore del Calcolo simbolico, Prime calcolatrici
- Lenat, Douglas - Intelligenza artificiale, Cyc
- Lerdorf, Rasmus
- Levesque, Hector
- Ley, Michael - DBLP
- Licklider, J. C. R
- Liddle, David
- Lindenmayer, Aristid - Linguaggi di Lindenmayer, modelli per sistemi filamentosi
- Liskov, Barbara - Linguaggi di programmazione
- Lovelace, Augusta Ada Byron Contessa di - Pioniera della programmazione
- Lukoff, Herman (1923 - 1979) - Premio McDowell 1969 - Primi computers
- Lynch, Nancy
M
- MacNealy - Sun
- Manna, Zohar - Logica sfumata
- Martella, Giancarlo
- Mashey, John
- John William Mauchly - ENIAC
- McCarthy, John - Premio Turing 1971 - Lisp, Intelligenza artificiale
- McIlroy, Douglas - Pipes
- McKinstry, Chris - Intelligenza artificiale, Mindpixel
- McWilliams, Thomas (1952 - ) Premio McDowell 1984 - Structured Computer Aided Logic, SCALD''
- Menon, Jaishankar M - Premio McDowell 2002 - Architetura e progetto di sistemi per la memorizzazione dei dati, RAID
- Meseguer, Jose
- Meyer, Bertrand - Eiffel
- Milner, Robin - Premio Turing 1991 - ''ML
- Miner, Jay
- Minsky, Marvin - Premio Turing 1969, Intelligenza artificiale, Perceptron, Society of Mind
- Mitchell, Jim
- Mitnick, Kevin
- Mockapetris, Paul - Domain Name System (DNS)
- Moore, J. Strother - ''String searching, ACL2 (dimostratore di teoremi)
- Gordon E. Moore (1929 - ) - Premio McDowell 1978 - legge di Moore, Sviluppo di semiconduttorie e microprocessori''
- Moore, Chuck
- Moravec, Hans
- Muggleton, Stephen
N
- Naur, Peter - BNF, Algol 60
- Nadin, Mihai - Ricerche di anticipazione
- Nake, Frieder - Pioniere della Computer Art
- Needham, Roger
- Nelson, Ted
- von Neumann, Janos - Teoria dei giochi e comportamento economico, Primi computers, Simulazione
- Nevanlinna, Rolf (Finlandia) - Computer nelle Università
- Newell, Allen - Premio Turing 1975 - Intelligenza artificiale, Strutture di Computer
- Newman, Max
- Nilsson, Nils - Intelligenza artificiale
- Nixdorf, Heinz - Nixdorf GMBH
- Noether, Emmy
- Norman, Arthur
- Norman, Donald - Interfacce utente, Usabilità
- Noyce, Robert -- Microprocessori
- Nygaard, Kristen - Premio Turing 2001 - Simula, {Programmazione orientata agli oggetti
O
- Occhini, Giulio
- Olivetti, Adriano
- Olsen, Ken
- Ozzie, Raymond - Premio McDowell 2000 - Lotus Notes
- Oughtred, William
- Ousterhout
P
- Packard, David
- Papadimitriou, Christos
- Papert, Seymour
- Pascal, Blaise - Pascaline
- Patt, Yale N - Premio McDowell 1999 - Microprocessori ad alte prestaioni
- Patterson, David
- Pearl, Judea - Artificial intelligence, Search
- Peddle, Chuck
- Alan J. Perlis - Premio Turing 1966 - Tecniche avanzate di programmazione, Programming Pearls
- Peyton-Jones, Simon - Functional programming
- Piol, Elserino - Presidente AICA
- Plotkin, Gordon
- Pnueli, Amir - Premio Turing 1996 - Logica temporale, verifica di programmi e sistemi
- Poduska, John W. (Sr.) (1937 - ) - Premio McDowell 1988
- Pople, John Antony (sir) -Pioniere della Chimica computazionale
- Porter, Hayden
- Post, Emil - computabilità
- Postel, Jon - Internet, IANA
- Pouzin, Louis
- Pratt, Terry
- Preparata, Franco
Q
- Quint, Vincent
R
- Rabin, Michael O - Premio Turing 1976 - Macchine a stati finiti, Algoritmi probabilistici
- Raskin, Jef
- Razborov, A. A
- Reddy, Raj - Premio Turing 1994 - Intelligenza artificiale
- Reynolds, John C
- Reynolds, Joyce K - Internet
- Rice, Rex (1918 - ) - Premio McDowell 1982 - Dual in-linen semiconductor component package, Memorie a semiconduttore LSI
- Riese, Adam
- Ritchie, Dennis - Premio Turing 1983 - C, Unix
- Rivest, Ronald L (Ron) - Premio Turing 2002 - Crittografia, RSA
- Roberts, Lawrence G (1937 - ) - Premio McDowell 1990 - Commutazione di pacchetto realizzata per il progetto ARPA
- Rosen, Saul
- Rosenfeld, Azriel
- Rowe, Lawrence A
- Rucker, Rudy - scrittore, educatore
- Rulifson, Jeff
- Rumbaugh, James - UML, OMG
S
- Sacerdoti, Giorgio - Presidente AICA
- Sahni, Sartaj K - Premio McDowell 2003 - Teoria dei problemi NP-hard e NP-completi
- Sammet, Jean - Linguaggi di programmazione
- Scheutz, George
- Schickard, Wilhelm - Pioniere delle calcolatrici
- Schmidt, Doug
- Schutzenberger, Maurice Paul - Linguaggi formali, Combinatorica, Codici
- Scott, Dana S - Macchine a stati finiti, Teoria dei domini
- Sethi, Ravi - Compilatori
- Shamir, Adi - Premio Turing 2002 - crittografia, RSA
- Shannon, Claude Elwood - Teoria dell'informazione
- Shaw, Cliff
- Shockley, William B
- Shor, Peter W
- Simon, Herbert A - Premio Turing 1975 - Intelligenza artificiale
- Sinclair, Clive
- Sleator, Daniel - Splay tree
- Slotnik, Daniel L (1931 - 1985) - Premio McDowell 1983 - ILLIAC IV
- Sproull, Robert
- Stallman, Richard - Free software, GNU
- Stearns, Richard E - Premio Turing 1993 - Complessità computazionale
- Steele, Guy L. (Jr.) - Scheme, Common Lisp
- Stibitz, George (1910? - ) - Primi computers
- Stonebraker, Michael - Basidati
- Strecker, William D (1944 - ) - Premio McDowell 1985 - VAX, LAN
- Stroustrup, Bjarne - C++
- Sussman, Gerald Jay - Scheme
- Sudan, Madhu
- Suraski, Zeev - PHP
- Sutherland, Ivan - Premio Turing 1988 - Computer grafica
- Sweet, Richard
- Swinehart, Dan
T
- Tanenbaum, Andrew S - Sistemi operativi, minix
- Tarjan, Robert - Premio Turing 1986 - Algoritmi, Splay tree
- Terzopoulos, Demetri
- Tevanian, Avie - Mach kernel, NeXT, Mac OS X
- Thompson, Ken - Premio Turing 1983 - Unix
- Todeschini Lalli, Mario - Presidente AICA
- Leonardo Torres y QuevedoTorres y Quevedo, Leonardo - Primi automatismi
- Torvalds, Linus Benedict - Linux
- Traub, Joseph
- Tukey, John - FFT
- Turing, Alan Mathison - Macchina di Turing, Teoria della computabilità, Crittografia, Primi computers, Test di Turing
U
- Ullman, Jeffrey D - Compilatori, Basidati, Teoria della complessità
V
- Valiant, Leslie
- Van Rossum, Guido - Python
- van Wijngaarten, Adriaan - Grammatiche a due livelli, Algol 68
- Varadarajan, Srinidhi - VirginiaTech's Power Mac G5 Supercluster
- von Neumann, Janos - Primi computers
- Vinge, Vernor - Scrittore di Fantascienza
W
- Wadler, Philip - Functional programming
- Wagner, David - Crittografia
- Wall PERL
- Watson, James (Jr.) - IBM
- Watson, James (Sr.) - IBM
- Weglarz, Jan
- Wegner, Peter
- Weinberger - AWK
- Weizenbaum, Joseph - ELIZA
- Wexelblat, Richard - Linguaggi di programmazione
- Widdoes Lawrence Curtis (Jr.) (1952 - ) Premio McDowell 1984 - Structured Computer Aided Logic, SCALD''
- Widgerson, Avi
- Wile, David S
- Wilkes, Maurice Vincent (1913 - ) - Premio Turing 1967, Premio McDowell 1981 - Programma a memorizzazione interna, microprogramma, EDSAC
- Wilkinson, James H - Premio Turing 1970 - Analisi numerica
- Williams, Thomas W (1943 - ) - Premio McDowell 1989 - Tecniche di scansione per il test dei circuiti logici
- Wilson, Sophie
- Winograd, Schmuel (1936 - ) - Premio McDowell 1974 - Complessità computazionale, Efficienza degli algoritmi
- Winograd, Terry - Intelligenza artificiale, SHRDLU
- Wirfs-Brock, Allen - Smalltalk
- Wirth, Niklaus - Premio Turing 1984 - Pascal
- Wolfram, Stephen - Mathematica, Wolfram Research
- Wos, Larry - Resolution theorem proving
- Wozniak, Steve - Apple
- Wulf, William - Compilatori, Presidente della National Academy of Engineering
- Wynn-Williams, E
Y
- Yao, Andrew Chi-Chih - Premio Turing 2000
- Yourdon - Ingegneria del software
Z
- Zadeh, Lofti - Logica sfumata
- Zakrajšek, Egon; - Pioniere dell'informatica in Slovenia
- Zeilberger, Doron - Computer algebra
- Zemanek, Heinz - Presidente IFIP
- Zimmerman, Herbert
- Zuse, Konrad (1910 - 1995) - Primi computers, Primi linguaggi di programmazione, numeri in virgola mobile
Vedi anche:
- Premio McDowell
- Premio Nevanlinna
- Premio Turing
- Matematici celebri
- Fisici celebri
- AICA
Links esterni: