Naștere |
26 aprilie 1938 Caracas |
---|---|
Naţionalitate | american |
Acasă | Pittsburgh |
Instruire | Institutul de tehnologie din Massachusetts |
Activități | Informatician , profesor universitar |
Soț / soție | Lenore Blum |
Copil | Avrim Blum ( în ) |
Lucrat pentru | Universitatea din California la Berkeley , Universitatea Carnegie-Mellon |
---|---|
Camp | Informatică |
Membru al |
Academia Americană de Științe Academia Americană de Arte și Științe Academia Națională de Inginerie a Statelor Unite |
Supervizor | Marvin Minsky |
Site-ul web | (ro) www.cs.cmu.edu/~mblum |
Premii |
Premiul Turing (1995) Fell IACR (2012) |
Manuel Blum (născut în Caracas pe26 aprilie 1938) este un informatician american , profesor de informatică la Universitatea Carnegie-Mellon .
Blum a fost educat la MIT unde a făcut un doctorat în matematică sub supravegherea lui Marvin Minsky până în 1964.
A supravegheat numeroase teze, inclusiv cele ale lui Leonard Adleman , Shafi Goldwasser , Silvio Micali , Gary L. Miller , Michael Sipser , Steven Rudich , Luis von Ahn , Umesh Vazirani și Vijay Vazirani și Moni Naor .
Este căsătorit cu Lenore Blum .
O mare parte din lucrările lui Blum se concentrează pe calculabilitate și complexitate într-un cadru mai general și abstract decât cadrul obișnuit al mașinilor Turing . Putem cita în special axiomele lui Blum (en) , care redefinesc noțiunile de măsuri de complexitate și clasa de complexitate .
Blum a lucrat, de asemenea, pe multe alte subiecte, cum ar fi criptografia (în special cu criptosistemul Blum-Goldwasser ), generatorul de numere pseudo-aleatorii Blum Blum Shub și algoritmii de selecție . Mai recent, în 2000 , a inventat împreună cu Luis von Ahn , Nicholas Hopper și John Langford, noțiunea de CAPTCHA .
A primit premiul Turing în 1995, ca recunoaștere a contribuțiilor sale la fundamentele teoriei complexității computaționale și a aplicațiilor sale la criptografie și verificarea programelor .