Manuel Blum (geboren am 26. April 1938 in Caracas, Venezuela) ist ein Computerwissenschaftler, der den Turing-Preis 1995 "Als Anerkennung für seine Beiträge zu den Fundamenten der rechenbetonten Kompliziertheitstheorie und seiner Anwendung auf die Geheimschrift und Programm-Überprüfung" erhalten hat.

Lebensbeschreibung

Blum hat MIT beigewohnt, wo er sein Vordiplom und seinen Magisterabschluss in EECS 1959 und 1961 beziehungsweise und sein Dr. in der Mathematik 1964 unter Professor Marvin Minsky erhalten hat.

Er hat als ein Professor der Informatik an der Universität Kaliforniens, Berkeley bis 1999 gearbeitet. 2002 wurde er zur Nationalen USA-Akademie von Wissenschaften gewählt.

Er ist zurzeit der Professor von Bruce Nelson der Informatik an der Universität von Carnegie Mellon, wo seine Frau, Lenore Blum, und Sohn, Avrim Blum, auch Professoren der Informatik sind.

Arbeit

In den 60er Jahren hat er eine axiomatische Kompliziertheitstheorie entwickelt, die von konkreten Maschinenmodellen unabhängig war. Die Theorie basiert auf Gödel numberings und den Axiomen von Blum. Wenn auch die Theorie auf keinem Maschinenmodell basiert, gibt es konkrete Ergebnisse wie der Kompressionslehrsatz, der Lücke-Lehrsatz, der Gerechtigkeitslehrsatz und der Beschleunigungslehrsatz von Blum nach.

Etwas von seiner anderen Arbeit schließt ein Protokoll ein, für eine Münze über ein Telefon, einen geradlinigen Zeitauswahl-Algorithmus, den Pseudozufallszahlengenerator von Blum Blum Shub, der Blum-Goldwasser cryptosystem, und mehr kürzlich CAPTCHAs zu schnipsen.

Unter seinem Dr. sind advisees Leonard Adleman, Shafi Goldwasser, Russell Impagliazzo, Silvio Micali, Gary Miller, Moni Naor, Steven Rudich, Michael Sipser, Umesh Vazirani und Vijay Vazirani, Ronitt Rubinfeld, Luis von Ahn, Nicholas Hopper und Ryan Williams.

Siehe auch

• Kompliziertheitsaxiome von Blum
• Der Beschleunigungslehrsatz von Blum
• Blum Blum Shub
• Blum-Goldwasser cryptosystem

Links

Die Hausseiten von Blum:

• Seite von Carnegie Mellon
• Seite von Berkeley (überholter)