„Manuel Blum“ – Versionsunterschied

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen
[gesichtete Version][gesichtete Version]
Inhalt gelöscht Inhalt hinzugefügt
K +Normdaten
Zeile 23: Zeile 23:
* [http://www.cs.berkeley.edu/~blum/ Blums Website an der Universität von Berkeley] (englisch)
* [http://www.cs.berkeley.edu/~blum/ Blums Website an der Universität von Berkeley] (englisch)
{{Navigationsleiste Träger des Turing-Awards}}
{{Navigationsleiste Träger des Turing-Awards}}

{{Normdaten|TYP=p|VIAF=196550860|GNDName=179618032|GNDCheck=2013-11-13}}

{{SORTIERUNG:Blum, Manuel}}
{{SORTIERUNG:Blum, Manuel}}
[[Kategorie:Turing-Preisträger]]
[[Kategorie:Turing-Preisträger]]
Zeile 30: Zeile 33:
[[Kategorie:Hochschullehrer (Pittsburgh)]]
[[Kategorie:Hochschullehrer (Pittsburgh)]]
[[Kategorie:US-Amerikaner]]
[[Kategorie:US-Amerikaner]]
[[Kategorie:Fellow der American Association for the Advancement of Science]]
[[Kategorie:Geboren 1938]]
[[Kategorie:Geboren 1938]]
[[Kategorie:Mann]]
[[Kategorie:Mann]]
[[Kategorie:Fellow der American Association for the Advancement of Science]]


{{Personendaten
{{Personendaten

Version vom 13. November 2013, 12:20 Uhr

Manuel Blum (* 26. April 1938 in Caracas, Venezuela) ist ein US-amerikanischer Informatiker, der 1995 „in Anerkennung seiner Beiträge zu den Grundlagen der algorithmischen Komplexitätstheorie sowie deren Anwendung in der Kryptographie und der Fehlerüberprüfung von Programmen“ den Turing Award erhielt.

Manuel Blum (links), Lenore Blum, Avrim Blum, 1973

Leben

Blum studierte am MIT, erwarb 1959 seinen Bachelor und 1961 seinen Master in Elektrotechnik und erlangte den Ph.D. in Mathematik unter Marvin Minsky 1964. In der Folge war er bis zum Jahr 2000 als Professor für Informatik an der University of California, Berkeley tätig.

Derzeit ist er Bruce-Nelson-Professor für Informatik an der Carnegie Mellon University, wo auch seine Frau, Lenore Blum, und sein Sohn, Avrim Blum, als Informatikprofessoren lehren.

Arbeit

In den 1960er Jahren entwickelte er eine von konkreten Maschinenmodellen unabhängige axiomatische Komplexitätstheorie basierend auf einer Gödel-Nummerierung und den Blumschen Axiomen. Diese Theorie lieferte konkrete Ergebnisse wie das Kompressions-Theorem, den Lückensatz von Borodin und das berühmte Blumsche Speedup-Theorem.

Seine weiteren Arbeiten beinhalten einen zeitlinearen Selektionsalgorithmus, den Blum-Blum-Shub-Generator, das Blum-Goldwasser-Kryptosystem und in neuerer Zeit CAPTCHAs.

Seine Doktoranden haben mit einer ungewöhnlichen Häufigkeit bedeutende akademische Karrieren gemacht, darunter Leonard Adleman, Shafrira Goldwasser, Russell Impagliazzo, Silvio Micali, Gary L. Miller, Moni Naor, Steven Rudich, Michael Sipser, sowie Umesh und Vijay Vazirani.

Auszeichnungen (Auswahl)