Manuel Blum

Manuel Blum (til venstre), Lenore Blum , Avrim Blum, 1973

Manuel Blum (født 26. april 1938 i Caracas , Venezuela ) er en amerikansk datavitenskapsmann som mottok Turing-prisen i 1995 “i anerkjennelse av hans bidrag til grunnleggende teorier om algoritmisk kompleksitet og dens anvendelse i kryptografi og programfeilkontroll” .

Liv

Blum studerte ved MIT , kjøpte 1959 sin bachelor og 1961, sin master i elektroteknikk og fikk sin doktorgrad. i matematikk under Marvin Minsky 1964. Deretter var han aktiv frem til 2000 som professor i informatikk ved University of California, Berkeley . I 1971 ble han Sloan Research Fellow .

Senest var Manuel Blum Bruce Nelson professor i informatikk ved Carnegie Mellon University , hvor hans kone, Lenore Blum , og sønnen, Avrim Blum , også lærte informatikkprofessorer. I 2018 trakk Blums seg fra alle stillinger i protest mot påstått sexisme i Carnegie Mellon.

jobb

På 1960-tallet utviklet han en aksiomatisk kompleksitetsteori som var uavhengig av spesifikke maskinmodeller og basert på Gödel-nummerering og Blums aksiomer . Denne teorien ga konkrete resultater som kompresjonssetningen , Borodins gapssetning og den berømte Blums Speedup-teoremet .

Hans andre verk inkluderer en tidslinjær valgalgoritme , Blum-Blum-Shub-Generator , Blum-Goldwasser-kryptosystemet og nylig CAPTCHAs .

Hans doktorgradsstudenter har gjort betydelige akademiske karrierer med en uvanlig frekvens, inkludert Leonard Adleman , Shafrira Goldwasser , Russell Impagliazzo , Silvio Micali , Gary L. Miller , Moni Naor , Steven Rudich , Michael Sipser , Ryan Williams , og Umesh og Vijay Vazirani .

Priser (utvalg)

• 1986: Invitert foredragsholder på den internasjonale kongressen for matematikere i Berkeley (Hvordan bevise et teorem slik at ingen andre kan gjøre krav på det)
• 1987: Fellow of the IEEE
• 1988: Fellow of the American Association for the Advancement of Science
• 1995: Turing Award og stipendiat av American Academy of Arts and Sciences
• 2002: Medlem av National Academy of Sciences

weblenker

• Blums nettsted ved University of Berkeley (engelsk)

Individuelle bevis

1. ^ Lenore Blum sjokkerte samfunnet med sin plutselige avgang fra CMU. Her forteller hun oss hvorfor . 6. september 2018.
2. ^ "CAPTCHA: Bruk av harde AI-problemer for sikkerhet". Foredrag på den internasjonale konferansen om teori og anvendelse av kryptografiske teknikker (EUROCRYPT 2003). Tilgang: 16. mai 2021