| Manuel Blum | ||
|---|---|---|
|
Manuel Blum og hans familie i 1973. | ||
| Personlig informasjon | ||
| Fødsel |
Døde 26. april 1938 ( 84 år) Caracas ( Venezuela ) | |
| Hjem | pittsburgh | |
| Nasjonalitet | amerikansk | |
| Familie | ||
| Ektefelle | lenore blum | |
| utdanning | ||
| utdannet i | Massachusetts Institute of Technology | |
| doktorgradsveileder | Marvin Minski | |
| Profesjonell informasjon | ||
| Yrke | Teoretisk informatiker og universitetsprofessor | |
| Område | Datavitenskap | |
| Arbeidsgiver | ||
| doktorgradsstudenter | Luis von Ahn , Gary Miller , Leonard Adleman , Shafrira Goldwasser og Silvio Micali | |
| Medlem av | ||
| Nettsted | www.cs.cmu.edu/~mblum | |
| distinksjoner |
| |
Manuel Blum ( Caracas , Venezuela , 26. april 1938 ) er en venezuelansk informatiker kjent for å være den eneste søramerikaneren som har mottatt Turing-prisen i 1995 "Som anerkjennelse av hans bidrag til grunnlaget for beregningskompleksitetsteori og dens anvendelse på kryptografi og programverifisering . " [ 1 ] [ 2 ] [ 3 ] [ 4 ]
Bidragene hans inkluderer Blum Blum Shub pseudo-tilfeldig tallgenerator , Blum-Goldwasser " stream cypher ", og mer nylig Captchas .
Blum ble født i en venezuelansk jødisk familie. [ 5 ] Blum ble utdannet ved Massachusetts Institute of Technology (MIT), og mottok sine bachelor- og mastergrader i EECS i henholdsvis 1959 og 1961, og sin Ph.D. i matematikk i 1964 under veiledning av Marvin Minsky . [ 3 ]
Han jobbet som professor i informatikk ved University of California , Berkeley til 1999. Fra 1999 til 2018 var han professor i informatikk ved Carnegie Mellon University (CMU), hvor hans kone, Lenore Blum . Hun var også informatiker lærer. I 2002 ble han valgt inn i United States National Academy of Sciences .
Han og kona trakk seg fra CMU i 2018 for å protestere mot sexisme.
I løpet av 1960-årene utviklet han en aksiomatisk kompleksitetsteori. Teorien er basert på Gödels nummerering og Blums aksiomer. Selv om teorien ikke er basert på noen maskinmodell, gir den konkrete resultater som kompresjonsteoremet, gapsteoremet, ærlighetsteoremet og Blums akselerasjonsteorem.
Noen av hans andre arbeider inkluderer en protokoll for å kaste en mynt over telefonen, en median av medianer (en lineær tidsvalgalgoritme), Blum Blum Shub pseudo-tilfeldig tallgenerator , Blum-Goldwasser-kryptosystemet, og mer nylig CAPTCHA .
Blum er også kjent som rådgiver for mange fremtredende forskere. Blant doktorgradene er noen av studentene hans Leonard Adleman , Dana Angluin, Shafi Goldwasser , Mor Harchol-Balter, Russell Impagliazzo, Silvio Micali , Gary Miller , Moni Naor, Steven Rudich , Michael Sipser, Ronitt Rubinfeld, Umesh Vazirani, Vijay Vazirani, Lujay Vazirani von Ahn og Ryan Williams. [ 6 ]
| Forgjenger: Edward Feigenbaum , Raj Reddy |
Turing-prisen 1995 |
Etterfølger: Amir Pnueli |