Manuel Blum | |
---|---|
Manuel Blum | |
Födelsedatum | 26 april 1938 (84 år) |
Födelseort | Caracas , Venezuela |
Land | |
Vetenskaplig sfär | Informatik |
Arbetsplats | Carnegie Mellon University |
Alma mater | Massachusetts Institute of Technology |
vetenskaplig rådgivare | Marvin Lee Minsky |
Studenter | G. Miller , L. Adleman |
Känd som | Bloom-Blum-Päls-algoritm |
Utmärkelser och priser | Turing Award , etc. |
Hemsida | cs.cmu.edu/~mblum/ |
Mediafiler på Wikimedia Commons |
Manuel Blum ( spanska: Manuel Blum ; född 26 april 1938 , Caracas , Venezuela ) är en datavetare och professor i datavetenskap vid Carnegie Mellon University . Han tilldelades 1995 års Turing Award för sina prestationer i att undersöka grunderna för beräkningskomplexitetsteorin och dess tillämpning på kryptografi och programverifiering .
Manuel Blum föddes i Caracas till nya judiska immigranter från Rumänien ; hans far var urmakare i Chernivtsi . [1] [2] Gick på Massachusetts Institute of Technology , där han fick kandidat- och magisterexamen i elektroteknik och datavetenskap ( 1959 och 1961 ), och sedan en doktorsexamen i matematik 1964 under överinseende av Marvin Minsky [3] . Fram till 1999 arbetade Blume som biträdande professor och professor vid University of California, Berkeley . Sedan dess har han arbetat och undervisat vid Carnegie Mellon University . Hans fru Lenore [4] och son Avrim [5] [6] arbetar som professorer i datavetenskap vid samma universitet .
På 1960-talet utvecklade Blume en axiomatisk teori om beräkningskomplexitet oberoende av exekveringsmaskinmodellen, som bygger på Gödel-numrering . Hans författarskap inkluderar begrepp som åtagandeschemat , urvalsalgoritmen , Bloom-Blum-Shuba-algoritmen , Bloom-Goldwassers publika nyckelkryptosystem och CAPTCHA - botigenkänningsmekanismen .
Under hans ledning fick många studenter doktorsexamen och blev senare kända forskare inom datavetenskap. Bland dem:
av Turingpriset | Vinnare|
---|---|
|
Tematiska platser | |
---|---|
Ordböcker och uppslagsverk |