Manuel Blum

Source: Wikipedia, the free encyclopedia.

Manuel Blum
Websitewww.cs.cmu.edu/~mblum

Manuel Blum (born 26 April 1938) is a Venezuelan born American computer scientist who received the Turing Award in 1995 "In recognition of his contributions to the foundations of computational complexity theory and its application to cryptography and program checking".[2][3][4][5][6][7][8]

Education

Blum was born to a

MIT, where he received his bachelor's degree and his master's degree in electrical engineering in 1959 and 1961 respectively, and his Ph.D. in mathematics in 1964 supervised by Marvin Minsky.[1][7]

Career

Blum worked as a professor of computer science at the University of California, Berkeley until 2001. From 2001 to 2018, he was the Bruce Nelson Professor of Computer Science at Carnegie Mellon University, where his wife, Lenore Blum,[10] was also a professor of Computer Science.

In 2002, he was elected to the

United States National Academy of Sciences. In 2006, he was elected a member of the National Academy of Engineering
for contributions to abstract complexity theory, inductive inference, cryptographic protocols, and the theory and applications of program checkers.

In 2018 he and his wife Lenore resigned from Carnegie Mellon University to protest against sexism after a change in management structure of Project Olympus led to sexist treatment of her as director and the exclusion of other women from project activities.[11]

Research

In the 60s he developed an axiomatic complexity theory which was independent of concrete machine models. The theory is based on

Blum speedup theorem
.

Some of his other work includes a protocol for

CAPTCHAs.[12]

Blum is also known as the advisor of many prominent researchers. Among his Ph.D. students are

See also

References

  1. ^ a b c d Manuel Blum at the Mathematics Genealogy Project.
  2. ^ ACM Turing Award Citation, retrieved 2010-01-24.
  3. ^ Manuel Blum at DBLP Bibliography Server Edit this at Wikidata
  4. Microsoft Academic
  5. S2CID 7008910
    .
  6. .
  7. ^ .
  8. .
  9. ^ "Lenore Blum biography". www-groups.dcs.st-and.ac.uk. Retrieved 16 February 2019.
  10. .
  11. ^ "Lenore Blum shocked the community with her sudden resignation from CMU. Here she tells us why". 6 September 2018.
  12. International Conference on the Theory and Applications of Cryptographic Techniques
    (EUROCRYPT 2003).