# Manuel Blum

Manuel Blum (Caracas, 26 april 1938) is een Amerikaans theoretisch informaticus. Hij ontwikkelde de axiomatische complexiteitstheorie en ontving mede daarvoor in 1995 een Turing Award.

## Levensloop

Manuel Blum werd in 1938 geboren in Venezuela maar studeerde in de Verenigde Staten en werkte daar ook zijn hele leven.
Blum haalde aan het MIT een bachelor- en een mastergraad in elektrotechniek, en daarna promoveerde hij onder Marvin Minsky in de wiskunde. Tijdens zijn promotieonderzoek ontwikkelde hij de axiomatische complexiteitstheorie. Zijn proefschrift schreef hij in 1964.
Na zijn promotie ging Blum in 1967 in Berkeley werken, waar hij opklom tot hoogleraar in de informatica. Sinds 2001 is hij hoogleraar informatica aan de Carnegie Mellon University, waar ook zijn vrouw, Lenore Blum, en zijn zoon, Avrim Blum, als informatica-hoogleraren werken.

## Werk

Manuel Blums voornaamste onderzoeksgebied is de complexiteitstheorie, 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 de Blum-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 de cryptografie. In 1995 kreeg hij de Turing 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-Toevalsgenerator Blum-Blum-Shub en het Blum-Goldwasser-Cryptosysteem. Bovendien stond hij in het jaar 2000 samen met zijn studenten aan de wieg van de captcha.
Manuel Blum was de promotor van verschillende informatici, waaronder Len Adleman, Michael Sipser en de latere Turing Awardwinnaars Shafi Goldwasser en Silvio Micali.

## Externe link

* Manuel Blum - Biografie van Manuel Blum op de website van de Turing Award.
1966: Alan J. Perlis · 1967: Maurice V. Wilkes · 1968: Richard Hamming · 1969: Marvin Minsky · 1970: J.H. Wilkinson · 1971: John McCarthy · 1972: Edsger Dijkstra · 1973: Charles W. Bachman · 1974: Donald E. Knuth · 1975: Allen Newell, Herbert Simon · 1976: Michael Rabin, Dana S. Scott · 1977: John Backus · 1978: Robert W. Floyd · 1979: Kenneth E. Iverson · 1980: Tony Hoare · 1981: Edgar F. (Ted) Codd · 1982: Stephen A. Cook · 1983: Ken Thompson, Dennis M. Ritchie · 1984: Niklaus Wirth · 1985: Richard M. Karp · 1986: John Hopcroft, Robert Tarjan · 1987: John Cocke · 1988: Ivan Sutherland · 1989: William Kahan · 1990: Fernando J. Corbató · 1991: Robin Milner · 1992: Butler Lampson · 1993: Juris Hartmanis, Richard E. Stearns · 1994: Edward Feigenbaum, Raj Reddy · 1995: Manuel Blum · 1996: Amir Pnueli · 1997: Douglas Engelbart · 1998: Jim Gray · 1999: Frederick P. Brooks, Jr. · 2000: Andrew Chi-Chih Yao · 2001: Ole-Johan Dahl, Kristen Nygaard · 2002: Ron Rivest, Adi Shamir, Leonard M. Adleman · 2003: Alan Kay · 2004: Vinton G. Cerf, Robert E. Kahn · 2005: Peter Naur · 2006: Frances E. Allen · 2007: Edmund M. Clarke, E. Allen Emerson, Joseph Sifakis · 2008: Barbara Liskov · 2009: Charles Thacker · 2010: Leslie Valiant · 2011: Judea Pearl · 2012: Shafi Goldwasser, Silvio Micali · 2013: Leslie Lamport · 2014: Michael Stonebraker · 2015: Martin Hellman, Whitfield Diffie · 2016: Tim Berners-Lee · 2017: John L. Hennessy, David Patterson · 2018: Yoshua Bengio, Geoffrey Hinton, Yann LeCun · 2019: Patrick M. Hanrahan, Edwin E. Catmull · 2020: Alfred Aho, Jeffrey Ullman · 2021: Jack Dongarra · 2022: Robert Metcalfe · 2023: Avi Wigderson