The Association for Computing Machinery (ACM) has named Raj Reddy, the Mozah Bint Nasser University Professor of Computer Science and Robotics and the founding director of the Robotics Institute, among its latest class of ACM Fellows.
The computing research organization named 52 Fellows this year, including Garth Gibson, CMU professor of computer science, and three Ph.D. alums of CMU.
“These men and women are advancing the art and science of computing with enormous impacts for how we live and work,” said ACM President Vinton G. Cerf. “The impact of their contributions highlights the role of computing in creating advances that range from commonplace applications to extraordinary breakthroughs, and from the theoretical to the practical.”
Reddy was cited by the ACM for pioneering the design and construction of large-scale artificial intelligence systems. The former dean of the School of Computer Science, Reddy in 1994 received the ACM’s Turing Award, its highest honor, for his contributions to artificial intelligence. In 2006, the National Science Foundation presented him its highest honor, the Vannevar Bush Award, for contributions to science and statesmanship in science and on behalf of the nation.
Gibson was cited by the ACM for contributions to the performance and reliability of storage systems. He is the founder of CMU’s Parallel Data Laboratory and was the leader of the Department of Energy’s Petascale Data Storage Institute. He played a key role in developing the Parallel Reconfigurable Observational Environment (PRObE) Center, a computer systems research center that was opened this fall in Los Alamos, NM.
Three Ph.D. graduates of Carnegie Mellon also were named this year: Walter Tichy of Karlsruhe Institute of Technology for contributions to software engineering and revision control systems; Ion Stoica of the University of California, Berkeley, for contributions to networking, distributed systems, and cloud computing; and Benjamin Pierce of the University of Pennsylvania for contributions to the theory and practice of programming languages and their type systems.