December 10, 2015
Two CyLab faculty members have just been inducted as Association for Computing Machinery (ACM) fellows, a recognition only given to the top 1% of ACM members for their outstanding accomplishments in computing and information technology. This year, ACM recognized 42 of its members as fellows for their significant contributions to the development and application of computing in areas from data management and spoken-language processing to robotics and cryptography.
Kevin Fall, the Deputy Director and Chief Technology Officer of Carnegie Mellon’s Software Engineering Institute, was selected for his contributions to delay-tolerant networking. Frank Pfenning, Professor and Head of the Computer Science Department at Carnegie Mellon, was selected for contributions to the logical foundations of automatic theorem proving and types for programming languages.
"Whether they work in leading universities, corporations, or research laboratories, these newly minted ACM Fellows are responsible for the breakthroughs and industrial innovations that are transforming society at every level," said ACM President Alexander L. Wolf. "At times, the contributions of a Fellow may include enhancements to a device that immediately impacts our daily lives. At other times, new research discoveries lead to theoretical advances that, while perhaps not immediately perceptible, have substantial long-term impacts."
Fall, an adjunct professor in SCS's Institute for Software Research, directs the research and development portfolio of the SEI's technical programs in cybersecurity and software engineering. Before joining the SEI in 2013, he was a principal engineer at Qualcomm and Intel, where he worked on adaptive video streaming technology and networking-related programs. Fall was co-founder of NetBoost Corp., where he was responsible for architecture and design of a software framework for programming network processors.
Pfenning earned his doctorate in mathematics at Carnegie Mellon in 1987 and joined CSD in 1988. His research focuses on applications of mathematical logic in computer science, including the design of programming languages, systems for reasoning about computer programs and logics for ensuring computer security. He also played a key role in an update of the introductory computer science curriculum that CSD began implementing in 2010, developing a new course called Principles of Imperative Computation.
The 2015 ACM Fellows have been cited for contributions to key computing fields including software research, data mining, computer graphics, computer and mobile systems, system security, multiprocessor and memory architecture design, and research in sensor networks.
ACM will formally recognize the 2015 Fellows at the annual Awards Banquet, to be held in San Francisco in June. Additional information about the 2015 ACM Fellows, the awards event, as well as previous ACM Fellows and award winners is available on the ACM Awards site.
Read full ACM press release.
See all CyLab News articles