Blomst, Manuel

Manuel Blum ( spansk:  Manuel Blum ; født 26. april 1938 , Caracas , Venezuela ) er en datalog og professor i datalogi ved Carnegie Mellon University . Han blev tildelt Turing-prisen i 1995 for sine resultater med at forske i grundlaget for beregningsmæssig kompleksitetsteori og dens anvendelse på kryptografi og programverifikation .

Biografi

Manuel Blum blev født i Caracas af nylige jødiske immigranter fra Rumænien ; hans far var urmager i Chernivtsi . [1] [2] Gik på Massachusetts Institute of Technology , hvor han modtog bachelor- og mastergrader i elektroteknik og datalogi ( 1959 og 1961 ), og derefter en Ph.D. i matematik i 1964 under tilsyn af Marvin Minsky [3] . Indtil 1999 arbejdede Blume som adjunkt og professor ved University of California, Berkeley . Siden da har han arbejdet og undervist på Carnegie Mellon University . Hans kone Lenore [4] og søn Avrim [5] [6] arbejder som professorer i datalogi ved det samme universitet .

I 1960'erne udviklede Blume en aksiomatisk teori om beregningskompleksitet uafhængig af udførelsesmaskinemodellen, som er baseret på Gödel-nummerering . Hans forfatterskab omfatter begreber som forpligtelsesordningen , udvælgelsesalgoritmen , Bloom-Blum-Shuba-algoritmen , Bloom-Goldwassers offentlige nøglekryptosystem og CAPTCHA - botgenkendelsesmekanismen .

Under hans vejledning modtog mange studerende ph.d.-grader og blev senere berømte videnskabsmænd inden for datalogi. Blandt dem:

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

Priser

• 1977  - Distinguished Teaching Award, UC Berkeley
• 1995  - Turing Award "som hyldest til hans arbejde med grundlaget for teorien om beregningsmæssig kompleksitet og dens anvendelse på kryptografi og programverifikation " [7]
• 2007  - Herbert A. Simons undervisningspris [8]

Noter

1. ↑ Kærlighed i Caracas . Hentet 22. marts 2013. Arkiveret fra originalen 8. juli 2013. (ubestemt)
2. ↑ Lenore Blum . Hentet 22. marts 2013. Arkiveret fra originalen 21. oktober 2012. (ubestemt)
3. ↑ M. Blumes side Arkiveret 13. oktober 2006 på Wayback Machine på UC Berkeleys  hjemmeside
4. ↑ Lenore Blums hjemmeside . Hentet 8. februar 2009. Arkiveret fra originalen 18. december 2008. (ubestemt)
5. ↑ Avrim Blums hjemmeside . Hentet 8. februar 2009. Arkiveret fra originalen 21. marts 2009. (ubestemt)
6. ↑ Far, mor slutter sig til søn for at danne et potent datalogiteam på CMU . Hentet 22. marts 2013. Arkiveret fra originalen 8. juli 2013. (ubestemt)
7. ↑ ACM Award Citation / Manuel Blum  (link ikke tilgængeligt)
8. ↑ SCS FAKULTETSPRISER . Hentet 8. februar 2009. Arkiveret fra originalen 9. marts 2009. (ubestemt)

Se også

• Blooms aksiomer

Links

• M. Blumes side på hjemmesiden for Carnegie Mellon University  (engelsk)
• M. Blumes side på webstedet for University of California i Berkeley  (engelsk)

Tematiske steder	Matematisk genealogi ResearchGate zbMATH Åbn
Ordbøger og encyklopædier	Britannica (online)