Manuel Blum ( Spanish: Manuel Blum ; born April 26, 1938 , Caracas , Venezuela ) is a scientist in the theory of computer systems, a professor of computer science at Carnegie Mellon University . He was awarded the Turing Prize in 1995 for his achievements in researching the foundations of the theory of computational complexity and their application in cryptography and program verification .
| Manuel Blum | |
|---|---|
| Manuel blum | |
| Date of Birth | April 26, 1938 (81 years old) |
| Place of Birth | Caracas , Venezuela |
| A country | |
| Scientific field | computer science |
| Place of work | Carnegie University - Mellon |
| Alma mater | Massachusetts Institute of Technology |
| supervisor | Marvin Lee Minsky |
| Famous students | G. Miller , L. Adleman |
| Known as | Algorithm Blum - Blum - Fur coat |
| Awards and prizes | Turing Award et al. |
| Site | cs.cmu.edu/~mblum/ |
Content
Biography
Manuel Blum was born in Caracas to a family of recent Jewish immigrants from Romania ; his father was a watchmaker in Chernivtsi . [1] [2] He studied at the Massachusetts Institute of Technology , where he received a bachelor's and master 's degree in electrical engineering and computer science ( 1959 and 1961 ), and then a Ph.D. in mathematics in 1964 under the direction of Marvin Minsky [3] . Until 1999, Blum worked as an assistant professor and professor at the University of California at Berkeley . Since then, he has been working and teaching at Carnegie Mellon University . His wife Lenor [4] and son Avrim [5] [6] work as professors in computer science at the same university .
In the 1960s, Blum developed an axiomatic theory of computational complexity, independent of the model of the executing machine, which is based on Gödel's numbering . His authorship includes such concepts as a commitment scheme , a selection algorithm , the Blum - Blum - Shub algorithm , the Blum - Goldwasser public key cryptosystem , and the CAPTCHA bot recognition engine.
Under his leadership, many students received a Ph.D. and subsequently became famous scientists in the field of computer science. Among them:
- Leonard Adleman
- Dana Angluin
- Gary Miller
- Shafi Goldwasser
- Russell Impagliazzo
Rewards
- 1977 - Distinguished Teaching Award, UC Berkeley
- 1995 - Turing Award "in tribute to his work on the foundations of the theory of computational complexity and its application to cryptography and program verification " [7]
- 2007 - Herbert A. Simon Teaching Award [8]
Notes
- ↑ Love In Caracas
- ↑ Lenore Blum
- ↑ Page of M. Blum Archival copy of October 13, 2006 on the Wayback Machine on the website of the University of California, Berkeley
- ↑ Lenore Blum's Home Page
- ↑ Avrim Blum's home page
- ↑ Dad, mom join son to form a potent computer science team at CMU
- ↑ ACM Award Citation / Manuel Blum (link not available)
- ↑ SCS FACULTY AWARDS
See also
- Axioms of Blum
Links
- Page of M. Blum on Carnegie University website - Mellon
- Page of M. Blum on the website of the University of California, Berkeley