Manuel Blum (Caracas,26 april1938) is eenAmerikaanstheoretisch informaticus. Hij ontwikkelde de axiomatischecomplexiteitstheorie en ontving mede daarvoor in 1995 eenTuring Award.
Manuel Blum werd in 1938 geboren inVenezuela maar studeerde in deVerenigde Staten en werkte daar ook zijn hele leven.
Blum haalde aan hetMIT een bachelor- en een mastergraad in elektrotechniek, en daarna promoveerde hij onderMarvin Minsky in dewiskunde. Tijdens zijn promotieonderzoek ontwikkelde hij de axiomatische complexiteitstheorie. Zijn proefschrift schreef hij in 1964.
Na zijn promotie ging Blum in 1967 inBerkeley werken, waar hij opklom tothoogleraar in deinformatica. Sinds 2001 is hij hoogleraar informatica aan deCarnegie Mellon University, waar ook zijn vrouw,Lenore Blum, en zijn zoon,Avrim Blum, als informatica-hoogleraren werken.
Manuel Blums voornaamste onderzoeksgebied is decomplexiteitstheorie, in het bijzonder de axiomatische complexiteitstheorie, een door hem ontwikkeld deelgebied daarvan waarin geabstraheerd wordt van zowel het machinemodel als de complexiteitsmaat. Hiervoor stelde hij deBlum-axioma's op. Hoewel de theorie niet gebaseerd is op een bepaald machinemodel, kunnen in deze theorie wel enkele concrete resultaten worden bewezen. Blum paste de theorie ook toe op decryptografie. In 1995 kreeg hij deTuring Award “in recognition of his contributions to the foundations of computational complexity theory and its application to cryptography and program checking.”
Verder werkt hij onder andere aan selectiealgoritmes die in lineaire tijd werken en was hij medebedenker van de pseudo-ToevalsgeneratorBlum-Blum-Shub en hetBlum-Goldwasser-Cryptosysteem. Bovendien stond hij in het jaar 2000 samen met zijn studenten aan de wieg van decaptcha.
Manuel Blum was de promotor van verschillende informatici, waaronderLen Adleman,Michael Sipser en de latere Turing AwardwinnaarsShafi Goldwasser enSilvio Micali.