SCS Faculty: Fellows of the Association for Computing Machinery (ACM)
–The "Fellows" designation is bestowed upon those ACM members who have distinguished themselves by outstanding technical and professional achievements in the field of information technology. Initiated in 1993, the program celebrates the exceptional contributions of the leading members in the computing field. ACM Fellows serve as distinguished colleagues to whom the ACM and its members look for guidance and leadership as the world of computing and information technology evolves.

• Avrim Blum, 2007
  – "For fundamental contributions to computational learning theory, approximation algorithms, online algorithms, and AI planning."

• Randal E. Bryant, 1999
  – "He is best known for Ordered Binary Decision Diagrams, a canonical form for boolean functions. Although originally developed for applications in CAD, this data structure has found many applications in areas such as hardware and software verification, automated theorem proving, and AI planning."

• Edmund M. Clarke, 1998
  – "He is the co-inventor of Model Checking (with his former student Allen Emerson). He and his graduate students helped make Model Checking a tool that can be used to verify finite-state concurrent systems of industrial complexity."

• David J. Farber, 2000
  – "For pioneering contributions in the field of communications, and his extraordinary commitment to making the benefits of communications systems available to the widest possible community."

• Robert Harper, 2005
  – "For contributions to type systems for programming languages"

• Takeo Kanade, 1999
  –"For broad contributions to research in and the advancement of computer science and robotics, and for service to the ACM and the greater computer science and robotics community."

• Peter Lee, 2004

  – "For contributions to the security of mobile code. "

• Gary L. Miller, 2002
  – "For contributions to the design and analysis of algorithms in number theory and computational geometry."

• James H. Morris, 2000
  – "He is responsible for several seminally important ideas in computer science. He was one of the first to use Lambda Calculus to model programming languages, he was one of the developers of "Lazy Evaluation," adn he was co-discoverer of the Knuth-Morris-Pratt string search algorithm. Morris was Principal Scientist and Research Fellow at Xerox Palo Alto Research Center from 1974 until 1982. In 1982 he moved to Carnegie Mellon where he has held a number of positions including Developer of the Campus-wide Network (The Andrew System) and Chairman of the Computer Science Department."

• Brad A. Myers, 2005
  – "For contributions to interactive programming environments."

• Randy Pausch, 2007
  – "For creation of innovative computer technology disseminated through programming environments, educational curricula, and mass consumer entertainment experiences."

• John C. Reynolds, 2001
  – "For research on the use of types in programming languages, for clarifying the semantical basis for types, and for influencing the design of modern programming languages.",

• Mahadev Satyanarayanan, 2002
  – "For contributions to computer systems research in distributed and mobile information access."

• Dana S. Scott, 1994
  – "For their joint paper 'Finite Automataand Their Decision Problem,' which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept. Their (Scott & Rabin) classic paper has been a continuous source of inspiration for subsequent work in this field."

• Mary Shaw, 1996
  – "For significant contributions to software engineering, especially in the areas of software architecture, abstract data types, and software engineering education."

• Daniel P. Siewiorek, 1994
  – "For outstanding contributions in parallel computer architecture, reliability, and computer architecture education."

• Herbert A. Simon, 1994 (in memoriam)
  – "With Allen Newell and J. C. Shaw, invented list processing languages and contructed pioneering programs (e.g., GPS) for problem solving by heuristic search."

• Jeannette M. Wing, 1998
  – "For fundamental contributions to formal methods, programming languages, and programming methodology, and for promoting the use of formal methods in software development."

• Hui Zhang, 2005
  – "For contributions to network architecture, protocols, and algorithms"