Il Premio Turing ACM del 1995 è stato assegnato a Manuel Blum in riconoscimento dei suoi contributi fondamentali al campo della teoria della complessità computazionale e delle sue applicazioni nella crittografia e nella verifica dei programmi. Nato a Caracas nel 1938, questo informatico venezuelano-americano ha trascorso decenni facendo progredire i confini teorici dei modelli di macchine e dell'efficienza algoritmica.
Fondazione Accademica
Blum ha intrapreso gli studi superiori presso il Massachusetts Institute of Technology. Ha completato la sua laurea triennale e magistrale in ingegneria elettrica rispettivamente nel 1959 e nel 1961. Durante il suo periodo all'istituto, ha collaborato a problemi matematici di reti neurali sotto la guida di Warren S. McCulloch. Nel 1964 ha conseguito un dottorato in matematica, con la sua ricerca di dottorato supervisionata da Marvin Minsky.
Contributi alla Teoria della Complessità
Durante gli anni '60, Blum è stato pioniere di una teoria della complessità assiomatica che funzionava indipendentemente da specifici modelli di macchine. Utilizzando le numerazioni di Gödel e gli assiomi di Blum, la sua ricerca ha prodotto risultati significativi, tra cui il teorema di compressione, il teorema del gap, il teorema dell'onestà e il teorema di accelerazione. Oltre a queste basi assiomatiche, il suo lavoro include la creazione dell'algoritmo della mediana delle mediane, il generatore di numeri pseudo casuali Blum Blum Shub e il crittosistema Blum-Goldwasser. Gli viene inoltre riconosciuto lo sviluppo di protocolli come il lancio della moneta al telefono e il CAPTCHA moderno.
Carriera e Affiliazioni Professionali
Blum ha ricoperto una posizione di lunga data come professore di informatica presso l'Università della California, Berkeley, dove è rimasto fino al 2001. Quell'anno ha accettato la posizione di Bruce Nelson Professor of Computer Science presso la Carnegie Mellon University. Nel 2018, lui e sua moglie, Lenore Blum, si sono dimessi dai loro ruoli presso la Carnegie Mellon University in seguito a controversie riguardanti le strutture di gestione e il trattamento del personale all'interno del Progetto Olympus. Nel corso della sua carriera, ha fatto da mentore a numerosi ricercatori, tra cui Leonard Adleman, Shafi Goldwasser, Silvio Micali e Luis von Ahn.
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →Riconoscimento Istituzionale
Blum è stato eletto in molteplici corpi accademici di alto livello, tra cui la National Academy of Sciences nel 2002 e la National Academy of Engineering nel 2006 per i suoi contributi alla complessità astratta e ai protocolli crittografici. Le sue affiliazioni professionali includono l'American Academy of Arts and Sciences e l'Association for Computing Machinery. È fellow dell'American Association for the Advancement of Science, dell'IACR e dell'ACM.
Informazioni rapide
- Nato: 1938, Caracas, Venezuela - Istruzione: Massachusetts Institute of Technology - Premio Turing: 1995 - Datori di lavoro: Università della California, Berkeley; Carnegie Mellon University - Cittadinanza: Stati Uniti; Venezuela - Campi di lavoro: Informatica - Contributo principale: Generatore Blum Blum Shub - Borse di studio professionali: IACR (2012), ACM (2020), AAAS (1983)
Domande poste dai lettori
### Qual è il principale campo di ricerca di Manuel Blum?
È specializzato in informatica, concentrandosi in particolare sulla teoria della complessità computazionale, sulla crittografia e sulla verifica dei programmi.
### Quali università hanno impiegato Manuel Blum?
Ha prestato servizio come professore presso l'Università della California, Berkeley, e successivamente come Bruce Nelson Professor of Computer Science presso la Carnegie Mellon University.
