SCS Faculty: Fellows of the Association for Computing Machinery (ACM)
– The ACM Fellows Program was established by Council in 1993 to recognize and honor outstanding ACM members for their achievements in computer science and information technology and for their significant contributions to the mission of the ACM. The ACM Fellows serve as distinguished colleagues to whom the ACM and its members look for guidance and leadership as the world of information technology evolves.

• Guy Blelloch, 2011
  – "For contributions to parallel computing."

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

• Manuel Blum, 2020
  – "For contributions to the foundations of computational complexity theory and its application to cryptography and program checking."

• 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."

• Justine Cassell, 2016
  – "For contributions to human-computer interaction and advocacy for empowerment and voice through technology."

• 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."

• Lorrie Faith Cranor, 2014
  – "For contributions to research and education in usable privacy and security."
  Release

• Christos Faloutsos, 2010
  – "For contributions to data mining, indexing, factals, and power laws."

• 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."

• Jodi Forlizzi, 2020
  – "For contributions to design research in human-computer interaction."

• David Garlan, 2013
  – "For contributions to the development of software architecture as a discipline in software engineering."

• Garth Gibson, 2012
  – "For contributions to the performance and reliability of storage systems."

• Anupam Gupta, 2021
  – "For contributions to approximation algorithms, online algorithms, stochastic algorithms and metric embeddings."

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

• Jason Hong, 2022
  – "For contributions to ubiquitous computing and to usable privacy and security."

• Farnam Jahanian, 2009
  – "For contributions to the dependability and security of networks and systems."

• 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."

• Sara Kiesler, 2010
  –"For contributions to human-computer interaction."

• Robert Kraut, 2011
  – "For contributions to human-computer interaction."

• Peter Lee, 2004
  – "For contributions to the security of mobile code."

• Matthew T. Mason, 2021
  – "For contributions to robotic manipulation and manipulation path planning."

• 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."

• Todd C. Mowry, 2016
  – "For contributions to software prefetching and thread-level speculation."

• 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."

• Frank Pfenning, 2015
  – "For contributions to the logical foundations of automatic theorem proving and types for programming languages."

• Raj Reddy, 2012
  – "For pioneering the design and construction of large-scale artificial intelligence systems."

• 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."

• Tuomas Sandholm, 2008
  – "For contributions to combinatorial auctions and mechanism design."

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

• Dana S. Scott,(Emeritus) 1994
  – "For their joint paper 'Finite Automata and 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."

• Srinivasan Seshan, 2019
  – "For contributions to computer networking, mobile computing and wireless communications."

• 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."

• Manuela Veloso, 2016
  – "For contributions to the field of artificial intelligence, in particular in planning, learning, multiagent systems and robotics."

• 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."

• Eric Xing, 2022
  – "For contributions to algorithms, architectures, and applications in machine learning."

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