Bloom, Manuel

Manuel Blum ( în spaniolă:  Manuel Blum ; născut la 26 aprilie 1938 , Caracas , Venezuela ) este un informatician și profesor de informatică la Universitatea Carnegie Mellon . A primit premiul Turing din 1995 pentru realizările sale în cercetarea fundamentelor teoriei complexității computaționale și a aplicării acesteia la criptografie și la verificarea programelor .

Biografie

Manuel Blum sa născut la Caracas din imigranți evrei recenti din România ; tatăl său era ceasornicar la Cernăuţi . [1] [2] A urmat cursurile Institutului de Tehnologie din Massachusetts , unde a primit diplome de licență și master în inginerie electrică și informatică ( 1959 și 1961 ), iar apoi un doctorat în matematică în 1964 sub supravegherea lui Marvin . Minsky [3] . Până în 1999, Blume a lucrat ca profesor asistent și profesor la Universitatea din California, Berkeley . De atunci, lucrează și predă la Universitatea Carnegie Mellon . Soția lui Lenore [4] și fiul lui Avrim [5] [6] lucrează ca profesori în informatică la aceeași universitate .

În anii 1960, Blume a dezvoltat o teorie axiomatică a complexității computaționale independentă de modelul mașinii de execuție, care se bazează pe numerotarea Gödel . Paternitatea sa include concepte precum schema de angajament , algoritmul de selecție , algoritmul Bloom-Blum-Shuba , criptosistemul cu cheie publică Bloom-Goldwasser și mecanismul de recunoaștere a botului CAPTCHA .

Sub îndrumarea sa, mulți studenți au primit diplome de doctorat și au devenit ulterior oameni de știință celebri în domeniul informaticii. Printre ei:

• Leonard Adleman
• Dana Angluin
• Gary Miller
• Shafi Goldwasser
• Russell Impagliazzo

Premii

• 1977  - Premiul Distinguished Teaching Award, UC Berkeley
• 1995  - Premiul Turing „în tribut pentru munca sa privind fundamentele teoriei complexității computaționale și aplicarea acesteia la criptografie și verificarea programelor ” [7]
• 2007  - Premiul Herbert A. Simon pentru predare [8]

Note

1. ↑ Dragoste la Caracas . Preluat la 22 martie 2013. Arhivat din original la 8 iulie 2013. (nedefinit)
2. ↑ Lenore Blum . Preluat la 22 martie 2013. Arhivat din original la 21 octombrie 2012. (nedefinit)
3. ↑ Pagina lui M. Blume Arhivată 13 octombrie 2006 la Wayback Machine pe site-ul UC Berkeley  
4. ↑ Pagina de pornire a lui Lenore Blum . Consultat la 8 februarie 2009. Arhivat din original pe 18 decembrie 2008. (nedefinit)
5. ↑ Pagina de start a lui Avrim Blum . Consultat la 8 februarie 2009. Arhivat din original pe 21 martie 2009. (nedefinit)
6. ↑ Tata, mama se alătură fiului pentru a forma o echipă puternică de informatică la CMU . Preluat la 22 martie 2013. Arhivat din original la 8 iulie 2013. (nedefinit)
7. ↑ ACM Award Citation / Manuel Blum  (link nu este disponibil)
8. ↑ PREMIILE SCS FACULTATEA . Consultat la 8 februarie 2009. Arhivat din original pe 9 martie 2009. (nedefinit)

Vezi și

• Axiomele lui Bloom

Link -uri

• Pagina lui M. Blume pe site-ul Universității Carnegie Mellon  (engleză)
• Pagina lui M. Blume de pe site-ul web al Universității din California din Berkeley  (engleză)

Site-uri tematice	Genealogie matematică ResearchGate zbMATH Deschide
Dicționare și enciclopedii	Britannica (online)