Il premio Turing dell'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 all'interno della crittografia e della verifica dei programmi. Nato a Caracas nel 1938, questo informatico venezuelano-americano ha trascorso decenni a far avanzare i confini teorici dei modelli di macchine e dell'efficienza algoritmica.
Fondamenta accademiche
Blum ha proseguito gli studi superiori presso il Massachusetts Institute of Technology. Ha completato la laurea e il master 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 dell'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 anche attribuito lo sviluppo di protocolli come il lancio della moneta al telefono e il moderno CAPTCHA.
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 alla 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 organismi 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. È membro dell'American Association for the Advancement of Science, dell'IACR e dell'ACM.
Fatti rapidi
- 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 - Affiliazioni professionali: IACR (2012), ACM (2020), AAAS (1983)
Domande poste dai lettori
### Qual è il principale campo di ricerca di Manuel Blum?
È specializzato in informatica, concentrandosi specificamente sulla teoria della complessità computazionale, la crittografia e la verifica dei programmi.
### Quali università hanno impiegato Manuel Blum?
Ha lavorato come professore presso l'Università della California, Berkeley, e successivamente come Bruce Nelson Professor of Computer Science presso la Carnegie Mellon University.
