Lista di informatici celebri
Da Wikipedia, l'enciclopedia libera.
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 B C D E F G H I J K L M N O P Q R S T U V W X Y Z ? |
[modifica] 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 - Computer 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 computer
- Allen, John R.
- Amdahl, Gene (1922 - ) - Premio McDowell 1976 - Contributi all'architettura e alla progettazione dei computer, 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 computer
- Auerbach, Isaac - IFIP
[modifica] B
- Babbage, Charles (Londra 26 dicembre 1791 - Londra 18 ottobre 1871) - Calcolatrici, Primo computer meccanico
- Bachman, Charles W. - Premio Turing 1973 - 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, Tim - Premio McDowell 1996 - Premio Millenium Technology 2004 - World Wide Web
- Berry, Clifford E. - Primi computer
- Bezos, Jeff - Amazon.com
- 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)
- Börger, Egon - metodo formale, Macchine a Stati Astratti (ASM).
- Brattain, Walter - transistor
- Brinch Hansen, Per concorrenza
- Brooks, Frederick P. (Jr.) (1931 - ) - Premio McDowell 1970, Premio Turing 1999 - architettura dei computer, 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
[modifica] C
- Cailliau, Robert - coinventore del World Wide Web
- Cardelli, Luca - Oggetto (informatica)
- 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
- Cook, Stephen A. - Premio Turing 1982 - NP-completezza
- Cooley, James - FFT, trasformata veloce 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
[modifica] 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
[modifica] 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 combinatori
[modifica] F
- Faedo, Alessandro (Chiampo,Vicenza, 1913 - Pisa, 16 giugno 2001) Calcolatrice Elettronica Pisana (CEP)
- 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 - Supercomputer
- Feynman, Richard P. - (Computer Quantistico)
- Finkel, Raphael
- Floyd, Robert W. - Premio Turing 1978 - Algoritmi, NP-completezza
- Forbus, Ken
- Friedman, Dan
[modifica] 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 - Presidente 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 - Compilatore, 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
[modifica] 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: Un'Eterna Ghirlanda Brillante, 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 - ) - Codifica di Huffman
[modifica] I
- Italiani, Mario - Presidente AICA
- Kenneth E. Iverson - Premio Turing 1979 - APL
[modifica] J
- Jacobson, Ivar - Unified Modeling Language, Object Management Group
- Jacopini, Giuseppe (Puccio) - Teorema di Bohm-Jacopini
- 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
[modifica] 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 computer 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
- Kildall, Gary - creatore del sistema operativo CP/M e dell'interfaccia grafica GEM, e fondatore della Digital Research
- 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
[modifica] 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 - PHP
- 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 computer
- Lynch, Nancy
[modifica] M
- MacNealy, Scott - Sun Microsystems
- Manna, Zohar - Logica sfumata
- Martella, Giancarlo
- Martin, James
- 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 - Architettura e progetto di sistemi per la memorizzazione dei dati, RAID
- Meseguer, Jose
- Meyer, Bertrand - Eiffel (linguaggio)
- 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 Service (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
[modifica] N
- Naur, Peter - BNF, ALGOL
- 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
[modifica] O
- Occhini, Giulio
- Olivetti, Adriano
- Olsen, Ken
- Ozzie, Raymond - Premio McDowell 2000 - Lotus Notes
- Oughtred, William
- Ousterhout
[modifica] P
- Packard, David
- Papadimitriou, Christos
- Papert, Seymour Logo
- Pascal, Blaise - Pascalina
- Patt, Yale N. - Premio McDowell 1999 - Microprocessori ad alte prestazioni
- Patterson, David
- Pearl, Judea - Intelligenza artificiale, Search
- Peddle, Chuck
- Perlis, Alan J. - Premio Turing 1966 - Tecniche avanzate di programmazione, Programming Pearls
- Perotto, Pier Giorgio - Ideatore della Programma 101("Perottina"), il primo PC
- Peyton-Jones, Simon - Programmazione funzionale
- 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
[modifica] Q
[modifica] R
- Rabin, Michael O. - Premio Turing 1976 - Macchine a stati finiti, Algoritmi probabilistici
- Raskin, Jef - interfaccie utente
- 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
[modifica] 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. - Automa a stati finiti, Teoria dei domini
- Searle, John R. Il suo teorema della stanza cinese è una brillante confutazione alla validità del Test di Turing - Intelligenza artificiale.
- 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 computer
- 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
[modifica] T
- Tanenbaum, Andrew S. - Sistemi operativi, minix
- Tarjan, Robert - Premio Turing 1986 - Algoritmi, Splay tree
- Terzopoulos, Demetri
- Tevanian, Avie - Kernel Mach, 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 calcolabilità, Crittografia, Primi computer, Test di Turing
[modifica] U
[modifica] V
- Valiant, Leslie
- van Rossum, Guido - il padre di Python
- van Wijngaarten, Adriaan - Grammatiche a due livelli, Algol 68
- Varadarajan, Srinidhi - VirginiaTech's Power Mac G5 Supercluster
- von Neumann, John - Teoria dei giochi e comportamento economico, Primi computer, Simulazione
- Vinge, Vernor - Scrittore di Fantascienza
[modifica] W
- Wadler, Philip - Programmazione funzionale
- Wagner, David - Crittografia
- Wall, Larry - PERL
- Watson, James (Jr.) - IBM
- Watson, James (Sr.) - IBM
- Weglarz, Jan
- Wegner, Peter
- Weinberger, David
- Weinberger, Peter - 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.
[modifica] Y
[modifica] 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 computer, Primi linguaggi di programmazione, numeri in virgola mobile
[modifica] Voci correlate
- Premio McDowell
- Premio Nevanlinna
- Premio Turing
- Categoria:Liste di matematici
- Associazione Italiana per l'Informatica ed il Calcolo Automatico

