Der ACM Turing Award 1995 wurde Manuel Blum in Anerkennung seiner grundlegenden Beiträge zum Bereich der Theorie der Berechnungskomplexität und deren Anwendungen in der Kryptographie und Programmverifikation verliehen. Der 1938 in Caracas geborene venezolanisch-amerikanische Informatiker hat jahrzehntelang die theoretischen Grenzen von Maschinenmodellen und algorithmischer Effizienz vorangetrieben.
Akademische Grundlagen
Blum absolvierte sein Studium am Massachusetts Institute of Technology. Er schloss 1959 seinen Bachelor und 1961 seinen Master in Elektrotechnik ab. Während seiner Zeit am Institut arbeitete er unter der Leitung von Warren S. McCulloch an mathematischen Problemen neuronaler Netze. 1964 promovierte er in Mathematik, wobei seine Doktorarbeit von Marvin Minsky betreut wurde.
Beiträge zur Komplexitätstheorie
In den 1960er Jahren leistete Blum Pionierarbeit bei einer axiomatischen Komplexitätstheorie, die unabhängig von spezifischen Maschinenmodellen funktionierte. Unter Verwendung von Gödel-Nummerierungen und den Blum-Axiomen lieferte seine Forschung bedeutende Ergebnisse, darunter das Kompressionstheorem, das Lückentheorem, das Ehrlichkeitstheorem und das Beschleunigungstheorem. Über diese axiomatischen Grundlagen hinaus umfasst seine Arbeit die Entwicklung des Median-der-Mediane-Algorithmus, des Blum-Blum-Shub-Zufallszahlengenerators und des Blum-Goldwasser-Kryptosystems. Ihm wird auch die Entwicklung von Protokollen wie dem Münzwurf über das Telefon und dem modernen CAPTCHA zugeschrieben.
Karriere und berufliche Zugehörigkeiten
Blum hatte eine langjährige Professur für Informatik an der University of California, Berkeley, inne, wo er bis 2001 blieb. In jenem Jahr nahm er die Bruce-Nelson-Professur für Informatik an der Carnegie Mellon University an. 2018 traten er und seine Frau, Lenore Blum, nach Streitigkeiten über Managementstrukturen und die Behandlung von Mitarbeitern im Rahmen des Projekts Olympus von ihren Positionen an der Carnegie Mellon University zurück. Im Laufe seiner Karriere betreute er zahlreiche Forscher, darunter Leonard Adleman, Shafi Goldwasser, Silvio Micali und Luis von Ahn.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Institutionelle Anerkennung
Blum wurde in mehrere hochrangige akademische Gremien gewählt, darunter 2002 in die National Academy of Sciences und 2006 in die National Academy of Engineering für seine Beiträge zur abstrakten Komplexität und kryptographischen Protokollen. Zu seinen beruflichen Mitgliedschaften zählen die American Academy of Arts and Sciences und die Association for Computing Machinery. Er ist Fellow der American Association for the Advancement of Science, der IACR und der ACM.
Kurze Fakten
- Geboren: 1938, Caracas, Venezuela - Ausbildung: Massachusetts Institute of Technology - Turing Award: 1995 - Arbeitgeber: University of California, Berkeley; Carnegie Mellon University - Staatsbürgerschaft: Vereinigte Staaten; Venezuela - Arbeitsgebiete: Informatik - Hauptbeitrag: Blum-Blum-Shub-Generator - Berufliche Mitgliedschaften: IACR (2012), ACM (2020), AAAS (1983)
Fragen von Lesern
### Was ist Manuel Blums primäres Forschungsgebiet?
Er ist auf Informatik spezialisiert, wobei er sich insbesondere auf die Theorie der Berechnungskomplexität, Kryptographie und Programmprüfung konzentriert.
### Welche Universitäten beschäftigten Manuel Blum?
Er war als Professor an der University of California, Berkeley, und später als Bruce-Nelson-Professor für Informatik an der Carnegie Mellon University tätig.
