ACM has recognized 34 of its members for their contributions to both the practical and theoretical aspects of computing and information technology. The new ACM Fellows, from some of the world's leading industries, research labs, and universities made significant advances that are having lasting effects on the lives of citizens throughout the world. Within the corporate sector, Intel Corporation garnered two Fellows, with achievements recognized in mobile and ubiquitous systems, and high performance processors and multimedia architectures. AT&T Labs also had two Fellows, whose contributions were in algorithms and data structures, and the theory of e-commerce and market-based, decentralized computation. Other corporate research facilities with 2005 Fellows were Microsoft Research; IBM Almaden Research Center; and Bell Labs, Lucent Technologies. Their contributions included database query processing; application of logic in computer science; and packet processing and traffic management algorithms. Topping the list of universities with multiple winners was Carnegie Mellon University, with three 2005 ACM Fellows. Their contributions were made in the fields of programming languages, interactive programming environments, and network architecture, protocols and algorithms. Several other universities, including Stanford, Illinois, Georgia Tech, Washington, Berkeley, Wisconsin and Brown, had double award winners, with achievements in a variety of fields. Among the technology areas cited were: verifiable voting systems; software reliability and security; active and semi-structured database systems; high performance discrete-event simulation; theory and computing infrastructure for real time computing systems; shared-memory multiprocessing; and compiler construction. "These individuals deserve our acclaim for their dedication, creativity, and success in pursuing productive careers in information technology," said ACM President David Patterson. "By seizing these opportunities, they demonstrate the astonishing potential for innovation in the computing discipline, and the broad-based, profound and enduring impacts of their achievements for the way we live and work in the 21st Century. On a personal note, I am pleased that I've known and collaborated with many of these new fellows for several years." ACM will formally recognize the new Fellows at its annual Awards Banquet on May 20, 2006, in San Francisco, CA. Additional information about the ACM 2005 Fellows, the awards event, as well as previous ACM Fellows and award winners is available at its Web site. The 2005 ACM Fellows: Thomas E. Anderson University of Washington For contributions in distributed systems and computer networks. Dines Bjrner Technical University of Denmark For contributions to formal methods and for international leadership. Stephen R. Bourne El Dorado Ventures For contributions to the development of UNIX and for effective leadership of ACM. Rodney Brooks Massachusetts Institute of Technology For contributions to artificial intelligence and robotics. Surajit Chaudhuri Microsoft Research For contributions to database query processing and optimization. Keith D. Cooper Rice University For contributions to the theory and practice of compiler construction. David L. Dill Stanford University For contributions to system verification and for leadership in the development of verifiable voting systems. Christophe Diot Thomson Paris Research Lab For contributions to the measurement and analysis of computer networks. Michel Dubois University of Southern California For contributions to multiprocessor memory system design. Michael J. Franklin University of California, Berkeley For contributions to distributed information management. Ophir Frieder Illinois Institute of Technology For contributions to search systems for distributed data. Robert Harper Carnegie Mellon University For contributions to type systems for programming languages. Maurice Herlihy Brown University For contributions to distributed and parallel systems. Phokion G. Kolaitis IBM Almaden Research Center For contributions to logic in computer science. Vipin Kumar University of Minnesota For contributions to the design and analysis of parallel algorithms. T.V. Lakshman Bell Labs, Lucent Technologies For contributions to packet processing and traffic management algorithms. Brad A. Myers Carnegie Mellon University For contributions to interactive programming environments. David M. Nicol University of Illinois, Urbana-Champaign For contributions to discrete-event simulation. Krishna Palem Georgia Institute of Technology For contributions to compiler optimization and embedded computing. Thomas Reps University of Wisconsin, Madison/GrammaTech, Inc. For contributions to automated program analysis and synthesis. Lui Sha University of Illinois, Urbana-Champaign For contributions to real-time systems. Mikkel Thorup AT&T Labs - Research For contributions to algorithms and data structures. Eli Upfal Brown University For contributions to parallel and stochastic networks. Umesh Vazirani University of California, Berkeley For contributions to theoretical computer science and quantum computation. Vijay V. Vazirani Georgia Institute of Technology For contributions to optimization and approximation algorithms. Roy Want Intel Corporation For contributions to mobile and ubiquitous systems. Gerhard Weikum Max-Planck Institute for Informatics For contributions to distributed database systems. Uri C. Weiser Intel Corporation For leadership in superscalar processors and multimedia architectures. Daniel S. Weld University of Washington For contributions to planning algorithms. Michael P. Wellman University of Michigan, Ann Arbor For contributions to market-based and decentralized computation. Jennifer Widom Stanford University For contributions to active and semi-structured database systems. Walter Willinger AT&T Labs - Research For contributions to the analysis of data networks and protocols. David A. Wood University of Wisconsin, Madison For contributions to shared-memory multiprocessing. Hui Zhang Carnegie Mellon University For contributions to network architecture, protocols and algorithms.