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 qui presentate indicazioni sintetiche sui contributi dei singoli personaggi; si segnalano inoltre i vincitori dei maggiori premi del settore (Premio Turing, Premio McDowell e Premio Nevanlinna.
Si conta di rendere disponibile anche un elenco di informatici celebri in ordine cronologico
| Indice |
|---|
A
- Abelson, Hal
- Abrahams, Paul
- Abrash Michael - Uno dei massimi esperti di programmazione grafica
- 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-Lee Timothy (Tim) - Premio McDowell 1996 - Premio Millenium Technology 2004 - 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)
- Carmack, John (1970 - ) - uno dei padri della grafica 3D applicata ai videogame
- 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 basi dati
- 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 - basi dati
- 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 (8 novembre 1923 a Jefferson City, Missouri, USA; † 20 giugno 2005 a Dallas, Texas, USA), inventore del circuito integrato e premio Nobel per la fisica nel 2000
- 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, Scott - Sun Microsystems
- 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
- Menabrea, Luigi - Primo informatico italiano. Realizzatore della macchina di Babbage
- 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
- Muuss, Mike (1958 - 2000) - ping, ttcp, Brlcad
N
- Naur, Peter - BNF, Algol 60
- Nadin, Mihai - Ricerche di anticipazione
- Nake, Frieder - Pioniere della Computer Art
- Needham, Roger
- Nelson, Ted
- 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 [Logo]
- Pascal, Blaise - Pascaline
- Patt, Yale N. - Premio McDowell 1999 - Microprocessori ad alte prestazioni
- 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 (6 agosto 1943 - 16 ottobre 1998) - 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 - Basi dati
- 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
- Tedeschini Lalli, Mario - Presidente AICA
- Terzopoulos, Demetri
- Tevanian, Avie - Mach kernel, NeXT, Mac OS X
- Thompson, Ken - Premio Turing 1983 - Unix
- Torres y Quevedo, Leonardo - Primi automatismi
- Toffoli Tommaso - Automi Cellulari , Personal Knowledge Home, Honesty in inference
- Torvalds, Linus Benedict - kernel 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, Basi dati, 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 - Teoria dei giochi e comportamento economico, Primi computers, Simulazione
- 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
Voci correlate
- Premio McDowell
- Premio Nevanlinna
- Premio Turing
- Matematici celebri
- Fisici celebri
- AICA
Collegamenti esterni
- Sito del periodico IEEE Annals of the History of Computing
- Sito del Charles Babbage Institute - Center for the history of information technology
- Most cited authors in computer science
Categoria:Liste di persone
