BIG DATA
Association for Computing Machinery Names 38 Fellows
The Association for Computing Machinery (ACM) has recognized 38 of its members for their contributions to computing technology that have brought advances in the way people live and work throughout the world. The 2007 ACM Fellows, from the world's leading universities, industries, and research labs, created innovations in a range of computing disciplines that affect theory and practice, education and entertainment, industry and commerce. 
"These men and women are the inventors of technology that impacts our society in profound and tangible ways every day," said ACM President Stuart Feldman. They have pushed the boundaries of their respective computing disciplines to create remarkable achievements that have the potential to make our world more accessible, more secure, and more advanced. Their selection as 2007 ACM Fellows offers us an opportunity to recognize their dedicated leadership in this dynamic field, and to honor their contributions to solving complex problems, expanding the impact of technology, and advancing the quality of life for people everywhere."
Within the corporate sector, the 2007 Fellows named from Microsoft Research, including one from Microsoft China, were cited for contributions ranging from computer graphics to video and image content analysis and retrieval. Other corporate entities with 2007 Fellows were Intel Corp., Yahoo!, and Bell Labs Research, Alcatel-Lucent. Their respective contributions include mathematical foundations for optimizing compilers, algorithms and Web technology, and data semantics for Web services.
Among the list of universities with 2007 ACM Fellows was Stanford University, whose five fellows were respectively recognized for achievements in artificial intelligence, compilers and program analysis, computational biology, complexity theory, and computer science education. Carnegie Mellon University's three Fellows were honored for learning theory and algorithms, using programming environments in education and entertainment, and computer-aided design of integrated circuits and systems. The Hebrew University in Jerusalem, Israel had two Fellows, who were cited for database theory and fault-tolerant distributed computing. New York University's Courant Institute of Mathematical Sciences two recipients were recognized for symbolic computer graphics and system verification. The University of Southern California's two ACM Fellows were honored for advances in parallel, distributed and reconfigurable computing, and modeling and nanorobotics.
Other U.S. universities with 2007 ACM Fellows include: the University of Chicago; Cornell University; University of Delaware; the University of Illinois at Urbana -Champaign; Northeastern University; the University of Pennsylvania; Princeton University; the University of Michigan Ann Arbor; the University of Massachusetts Amherst; Massachusetts Institute of Technology; and the University of California at Berkeley, Los Angeles and Riverside. ACM Fellows from these institutions were cited for achievements in parallel and reconfigurable computing; verification of reactive and hybrid systems; design of scalable, reliable Internet services; security and public policy of information technology; complexity theory; multiprocessor computers and compiler optimization techniques; computer vision; computational biology; memory management; computer-supported collaborative work; parallel computing; computer graphics; and type theory and program analysis.
Outside of North America, the universities with 2007 ACM Fellows include Victoria University in Melbourne, Australia; Oxford University in England; and University of Edinburgh in Scotland. Fellows from these universities were recognized for contributions to software design; compatibility and complexity theory; artificial intelligence theory and database systems; and programming languages theory. In addition, ACM named a Fellow from École Polytechnique Federale de Lausanne (EPFL) in Switzerland for excellence in functional and object-oriented programming languages; and an independent consultant was named for his contributions to networking standards and Internet applications. Finally, one 2007 ACM Fellow had a dual affiliation with the University of Madeira in Funchal, Portugal and Constantine & Lockwood, Ltd., an international design consulting firm in Massachusetts.
ACM will formally recognize the 2007 Fellows at its annual Awards Banquet on June 21, 2008, in San Francisco, CA. Additional information about the ACM 2007 Fellows, the awards event, as well as previous ACM Fellows and award winners is available at its Web site.
2007 ACM Fellows
- Anant Agarwal, Massachusetts Institute of Technology
For contributions to parallel and reconfigurable computing
- Rajeev Alur, University of Pennsylvania
For contributions to specification and verification of reactive and hybrid systems
- Utpal Banerjee, Intel Corp.
For contributions to mathematical foundations of optimizing parallelizing compilers
- Catriel Beeri, The Hebrew University
For contributions to database theory
- Avrim Blum, Carnegie Mellon University
For contributions to learning theory and algorithms
- Eric A. Brewer, University of California, Berkeley
For contributions to design of scalable, reliable Internet services
- Andrei Z. Broder, Yahoo! Research
For contributions to algorithms and web technology
- Michael F. Cohen, Microsoft Research
For contributions to computer graphics and computer vision
- Larry L. Constantine, University of Madeira, Constantine & Lockwood, Ltd.
For contributions to software design
- Danny Dolev, The Hebrew University
For contributions to fault-tolerant distributed computing
- Rodney Graham Downey, Victoria University
For contributions to computability and complexity theory
- Edward Feigenbaum, Stanford University
For contributions to artificial intelligence
- Edward W. Felten, Princeton University
For contributions to security and the public policy of information technology
- Lance J. Fortnow, University of Chicago
For contributions to complexity theory
- Guang R. Gao, University of Delaware
For contributions to multiprocessor computers and compiler optimization techniques
- Georg Gottlob, Oxford University
For contributions to theory of artificial intelligence and database systems
- Richard Hull, Bell Labs Research, Alcatel-Lucent
For contributions to data semantics and web services
- Daniel P. Huttenlocher, Cornell University
For contributions to computer vision
- Tao Jiang, University of California, Riverside
For contributions to computational biology and computational complexity
- John C. Klensin, Consultant
For contributions to networking standards and internet applications
- Monica S. Lam, Stanford University
For contributions to compilers and program analysis
- Marc Levoy, Stanford University
For contributions to computer graphics
- Bhubaneswar Mishra, Courant Institute of Mathematical
Sciences
For contributions to symbolic computation and computational biology
- J. Eliot B. Moss, University of Massachusetts, Amherst
For contributions to transactions and memory management
- Rajeev Motwani, Stanford University
For contributions to algorithms and complexity theory
- Martin Odersky, Ecole Polytechnique Federale de
Lausanne
For contributions to functional and object-oriented programming languages
- Gary M. Olson, University of Michigan, Ann Arbor
For contributions to computer-supported collaborative work
- David Padua, University of Illinois at Urbana-Champaign
For contributions to compiler support for parallel computing
- Randy Pausch, Carnegie Mellon University
For contributions to use of programming environments in education and entertainment
- Amir Pnueli, New York University
For contributions to program and system verification
- Viktor K. Prasanna, University of Southern California
For contributions to parallel, distributed and reconfigurable computing
- Aristides A. G. Requicha, University of Southern California
For contributions to solid modeling and nanorobotics
- Eric S. Roberts, Stanford University
For contributions to computer science education
- Demetri Terzopoulos, University of California, Los Angeles
For contributions to computer graphics and vision
- Donald E. Thomas, Carnegie Mellon University
For contributions to computer-aided design of integrated circuits and systems
- Philip Wadler, Edinburgh University
For contributions to theory of programming languages
- Mitchell Wand, Northeastern University
For contributions to type theory and program analysis
- HongJiang Zhang, Microsoft - Advanced Technology Center, Beijing
For contributions to content-based analysis and retrieval of multimedia
"These men and women are the inventors of technology that impacts our society in profound and tangible ways every day," said ACM President Stuart Feldman. They have pushed the boundaries of their respective computing disciplines to create remarkable achievements that have the potential to make our world more accessible, more secure, and more advanced. Their selection as 2007 ACM Fellows offers us an opportunity to recognize their dedicated leadership in this dynamic field, and to honor their contributions to solving complex problems, expanding the impact of technology, and advancing the quality of life for people everywhere."
Within the corporate sector, the 2007 Fellows named from Microsoft Research, including one from Microsoft China, were cited for contributions ranging from computer graphics to video and image content analysis and retrieval. Other corporate entities with 2007 Fellows were Intel Corp., Yahoo!, and Bell Labs Research, Alcatel-Lucent. Their respective contributions include mathematical foundations for optimizing compilers, algorithms and Web technology, and data semantics for Web services.
Among the list of universities with 2007 ACM Fellows was Stanford University, whose five fellows were respectively recognized for achievements in artificial intelligence, compilers and program analysis, computational biology, complexity theory, and computer science education. Carnegie Mellon University's three Fellows were honored for learning theory and algorithms, using programming environments in education and entertainment, and computer-aided design of integrated circuits and systems. The Hebrew University in Jerusalem, Israel had two Fellows, who were cited for database theory and fault-tolerant distributed computing. New York University's Courant Institute of Mathematical Sciences two recipients were recognized for symbolic computer graphics and system verification. The University of Southern California's two ACM Fellows were honored for advances in parallel, distributed and reconfigurable computing, and modeling and nanorobotics.
Other U.S. universities with 2007 ACM Fellows include: the University of Chicago; Cornell University; University of Delaware; the University of Illinois at Urbana -Champaign; Northeastern University; the University of Pennsylvania; Princeton University; the University of Michigan Ann Arbor; the University of Massachusetts Amherst; Massachusetts Institute of Technology; and the University of California at Berkeley, Los Angeles and Riverside. ACM Fellows from these institutions were cited for achievements in parallel and reconfigurable computing; verification of reactive and hybrid systems; design of scalable, reliable Internet services; security and public policy of information technology; complexity theory; multiprocessor computers and compiler optimization techniques; computer vision; computational biology; memory management; computer-supported collaborative work; parallel computing; computer graphics; and type theory and program analysis.
Outside of North America, the universities with 2007 ACM Fellows include Victoria University in Melbourne, Australia; Oxford University in England; and University of Edinburgh in Scotland. Fellows from these universities were recognized for contributions to software design; compatibility and complexity theory; artificial intelligence theory and database systems; and programming languages theory. In addition, ACM named a Fellow from École Polytechnique Federale de Lausanne (EPFL) in Switzerland for excellence in functional and object-oriented programming languages; and an independent consultant was named for his contributions to networking standards and Internet applications. Finally, one 2007 ACM Fellow had a dual affiliation with the University of Madeira in Funchal, Portugal and Constantine & Lockwood, Ltd., an international design consulting firm in Massachusetts.
ACM will formally recognize the 2007 Fellows at its annual Awards Banquet on June 21, 2008, in San Francisco, CA. Additional information about the ACM 2007 Fellows, the awards event, as well as previous ACM Fellows and award winners is available at its Web site.
2007 ACM Fellows
- Anant Agarwal, Massachusetts Institute of Technology
For contributions to parallel and reconfigurable computing
- Rajeev Alur, University of Pennsylvania
For contributions to specification and verification of reactive and hybrid systems
- Utpal Banerjee, Intel Corp.
For contributions to mathematical foundations of optimizing parallelizing compilers
- Catriel Beeri, The Hebrew University
For contributions to database theory
- Avrim Blum, Carnegie Mellon University
For contributions to learning theory and algorithms
- Eric A. Brewer, University of California, Berkeley
For contributions to design of scalable, reliable Internet services
- Andrei Z. Broder, Yahoo! Research
For contributions to algorithms and web technology
- Michael F. Cohen, Microsoft Research
For contributions to computer graphics and computer vision
- Larry L. Constantine, University of Madeira, Constantine & Lockwood, Ltd.
For contributions to software design
- Danny Dolev, The Hebrew University
For contributions to fault-tolerant distributed computing
- Rodney Graham Downey, Victoria University
For contributions to computability and complexity theory
- Edward Feigenbaum, Stanford University
For contributions to artificial intelligence
- Edward W. Felten, Princeton University
For contributions to security and the public policy of information technology
- Lance J. Fortnow, University of Chicago
For contributions to complexity theory
- Guang R. Gao, University of Delaware
For contributions to multiprocessor computers and compiler optimization techniques
- Georg Gottlob, Oxford University
For contributions to theory of artificial intelligence and database systems
- Richard Hull, Bell Labs Research, Alcatel-Lucent
For contributions to data semantics and web services
- Daniel P. Huttenlocher, Cornell University
For contributions to computer vision
- Tao Jiang, University of California, Riverside
For contributions to computational biology and computational complexity
- John C. Klensin, Consultant
For contributions to networking standards and internet applications
- Monica S. Lam, Stanford University
For contributions to compilers and program analysis
- Marc Levoy, Stanford University
For contributions to computer graphics
- Bhubaneswar Mishra, Courant Institute of Mathematical
Sciences
For contributions to symbolic computation and computational biology
- J. Eliot B. Moss, University of Massachusetts, Amherst
For contributions to transactions and memory management
- Rajeev Motwani, Stanford University
For contributions to algorithms and complexity theory
- Martin Odersky, Ecole Polytechnique Federale de
Lausanne
For contributions to functional and object-oriented programming languages
- Gary M. Olson, University of Michigan, Ann Arbor
For contributions to computer-supported collaborative work
- David Padua, University of Illinois at Urbana-Champaign
For contributions to compiler support for parallel computing
- Randy Pausch, Carnegie Mellon University
For contributions to use of programming environments in education and entertainment
- Amir Pnueli, New York University
For contributions to program and system verification
- Viktor K. Prasanna, University of Southern California
For contributions to parallel, distributed and reconfigurable computing
- Aristides A. G. Requicha, University of Southern California
For contributions to solid modeling and nanorobotics
- Eric S. Roberts, Stanford University
For contributions to computer science education
- Demetri Terzopoulos, University of California, Los Angeles
For contributions to computer graphics and vision
- Donald E. Thomas, Carnegie Mellon University
For contributions to computer-aided design of integrated circuits and systems
- Philip Wadler, Edinburgh University
For contributions to theory of programming languages
- Mitchell Wand, Northeastern University
For contributions to type theory and program analysis
- HongJiang Zhang, Microsoft - Advanced Technology Center, Beijing
For contributions to content-based analysis and retrieval of multimedia 