Manuel Blum

Manuel Blum is a renowned computer scientist and winner of the 1995 ACM Turing Award. He holds the title of Bruce Nelson University Professor of Computer Science at Carnegie Mellon University's School of Computer Science. Previously, he was a faculty member at the University of California, Berkeley. His work spans theoretical computer science, computational complexity theory, cryptography, and program checking. He has supervised 35 doctoral students, many of whom are leading figures in computer science.

Education: Ph.D. in Mathematics (MIT, 1964), M.S. in Electrical Engineering (MIT, 1961), B.S. in Electrical Engineering (MIT, 1959).

Research focuses on foundational aspects of computing, including cryptographic protocols (e.g., CAPTCHA), program correctness mechanisms, and computational complexity. His contributions to secure human-computer interaction and zero-knowledge proofs are particularly influential.

Teaching highlights include courses on theoretical cryptography and complexity theory. Awards include the ACM Turing Award, ACM Fellow, and UC Berkeley's Distinguished Teaching Award.