Manuel Blum
Manuel Blum | |
---|---|
Website | www |
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
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
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
Some of his other work includes a protocol for
Blum is also known as the advisor of many prominent researchers. Among his Ph.D. students are
See also
- List of Venezuelans
- Graph isomorphism problem
- Non-interactive zero-knowledge proof
- Quantum coin flipping
- Pancake sorting
References
- ^ a b c d Manuel Blum at the Mathematics Genealogy Project.
- ^ ACM Turing Award Citation, retrieved 2010-01-24.
- ^ Manuel Blum at DBLP Bibliography Server
- Microsoft Academic
- S2CID 7008910.
- .
- ^ S2CID 15710280.
- doi:10.1137/0215025.
- ^ "Lenore Blum biography". www-groups.dcs.st-and.ac.uk. Retrieved 16 February 2019.
- .
- ^ "Lenore Blum shocked the community with her sudden resignation from CMU. Here she tells us why". 6 September 2018.
- International Conference on the Theory and Applications of Cryptographic Techniques(EUROCRYPT 2003).