Manuel Blum

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen
Manuel Blum (links),Lenore Blum,Avrim Blum, 1973

Manuel Blum(*26. April1938inCaracas,Venezuela) ist ein US-amerikanischerInformatiker,der 1995 „in Anerkennung seiner Beiträge zu den Grundlagen der algorithmischenKomplexitätstheoriesowie deren Anwendung in derKryptographieund der Fehlerüberprüfung von Programmen “denTuring Awarderhielt.

Blum studierte amMIT,erwarb 1959 seinenBachelorund 1961 seinenMasterinElektrotechnikund erlangte denPh.D.inMathematikunterMarvin Minsky1964. In der Folge war er bis zum Jahr 2000 als Professor fürInformatikan derUniversity of California, Berkeleytätig. 1971 wurde erSloan Research Fellow.

Zuletzt war Manuel Blum Bruce-Nelson-Professor für Informatik an derCarnegie Mellon University,wo auch seine Frau,Lenore Blum,und sein Sohn,Avrim Blum,als Informatikprofessoren lehrten. Im Jahr 2018 traten die Blums aus Protest über angeblichenSexismusan der Carnegie Mellon von allen ihren Positionen zurück.[1]

In den 1960er Jahren entwickelte er eine von konkreten Maschinenmodellen unabhängige axiomatische Komplexitätstheorie basierend auf einerGödel-Nummerierungund denBlumschen Axiomen.Diese Theorie lieferte konkrete Ergebnisse wie dasKompressions-Theorem,denLückensatz von Borodinund das berühmte BlumscheSpeedup-Theorem.

Seine weiteren Arbeiten beinhalten einen zeitlinearen Selektionsalgorithmus (mitVaughan Pratt,Robert Floyd,Robert TarjanundRon Rivest,Median of medianAlgorithmus 1973),[2]denBlum-Blum-Shub-Generator,dasBlum-Goldwasser-Kryptosystemund in neuerer ZeitCAPTCHAs.[3]

Seine Doktoranden haben mit einer ungewöhnlichen Häufigkeit bedeutende akademische Karrieren gemacht, darunterLeonard Adleman,Luis von Ahn,Shafrira Goldwasser,Russell Impagliazzo,Silvio Micali,Gary L. Miller,Moni Naor,Steven Rudich,Michael Sipser,Ryan Williams,sowieUmeshundVijay Vazirani.

Auszeichnungen (Auswahl)

[Bearbeiten|Quelltext bearbeiten]
  1. Lenore Blum shocked the community with her sudden resignation from CMU. Here she tells us why.6. September 2018;.
  2. M. Blum, R. W. Floyd, V. R. Pratt, R. Rivest, R. E. Tarjan,Time bounds for selection,Journal of Computer and System Sciences, Band 7, 1973, S. 448–461.
  3. "CAPTCHA: Using Hard AI Problems for Security". Vorträge der Internationalen Konferenz über Theorie und Anwendung kryptografischer Techniken (EUROCRYPT 2003). Abgerufen: 16. Mai 2021