2013
| Lintao Zhang | Most Cited Paper, from the Design Automation Conference to celebrate its 50th anniversary, along with Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, and Sharad Malik. For publishing the most-cited paper in the conference’s 50-year history, Chaff: Engineering an Efficient SAT Solver. |
| Duncan Watts | A.D. White Professor-at-Large, Cornell University. For distinguished achievements in his discipline and life. |
| Sudipto Das | Jim Gray Doctoral Dissertation Award, from the Association for Computing Machinery’s Special Interest Group on Management of Data. For excellent research by doctoral candidates in the database field. |
| Eric Horvitz | Member, CHI Academy. Elected by the Association for Computing Machinery’s Special Interest Group on Computer-Human Interaction as an individual who has made substantial contributions to the field of human-computer interaction. |
|
George Robertson |
Lifetime Achievement in Research Award, from the Association for Computing Machinery’s Special Interest Group on Computer-Human Interaction. For outstanding contributions to the study of human-computer interaction. |
| Moshe Tennenholtz | Allen Newell Award, along with Yoav Shoham. Presented by the Association for Computing Machinery and the Association for the Advancement of Artificial Intelligence. For fundamental contributions at the intersection of computer science, game theory, and economics, most particularly in multiagent systems and social coordination (broadly construed), which have yielded major contributions to all three disciplines. |
| Andrew Goldberg | Fellow, Society for Industrial and Applied Mathematics. For exemplary research, for outstanding service to the community, and for advancing the fields of applied mathematics and computational science. |
| danah boyd | Inductee, SXSW Interactive Festival Hall of Fame. For essential members of the interactive community who have made numerous contributions to the underlying SXSW goals of creativity, innovation, and inspiration. |
| Eyal Lubetzky |
Rollo Davidson Prize, awarded each year to young probabilists by the Rollo Davidson Trust. For work on the dynamics of the Ising model and for proof of the cut-off phenomenon. |
|
|
Member, National Academy of Engineering. For computational mechanisms for decision-making under uncertainty and with bounded resources. |
| Matthew Parkinson | Dahl-Nygaard Junior Prize. For his work on specifying and reasoning about object-oriented programs. |
| Honorary Degree of Doctor of Engineering, The University of Sheffield. |
2012
| David P. Wipf | IEEE Signal Processing Society Best Paper Award, along with Bhaskar D. Rao. For a paper of exceptional merit dealing with a subject related to the Society’s technical scope published in one of the society’s solely owned periodicals within the past five years. Presented for the paper An Empirical Bayesian Strategy for Solving the Simultaneous Sparse Approximation Problem. |
| Sudipto Das | Lancaster Dissertation Award. For the best dissertation in mathematics, the physical sciences, and engineering at the University of California, Santa Barbara. |
| Desney Tan | Kavli Fellow, from the U.S. National Academy of Sciences and The Kavli Foundation. Awarded to top scholars and scientists under the age of 45 working at the “frontiers of science.” |
| Rozenberg Tulip Award in DNA Computing. For his research contributions to theory and software for programming biomolecular systems. | |
| Honorary Degree of Doctor of Science, The University of Edinburgh. | |
| Henrique Malvar | Corresponding member, Brazilian Academy of Sciences. Membership in the Academy recognizes the most important Brazilian researchers who, due to the leadership they perform in the advance of scientific and technological activities of the country, can be considered the most legitimate representatives of the national scientific community. |
| Fellow, Association for Computing Machinery. For contributions to human computer interaction with an emphasis on computer supported cooperative work. | |
| Vipul Goyal | Named to Forbes magazine’s 30 Under 30 list, under the Science and Healthcare category. The list celebrates exceptional young people who are reinventing the world. |
| Jennifer Chayes | Inaugural Fellow of the American Mathematical Society. |
| Inaugural Fellow of the American Mathematical Society. | |
| Yuval Peres | Inaugural Fellow of the American Mathematical Society. |
| Madhu Sudan | Inaugural Fellow of the American Mathematical Society. |
| Peter Key |
Fellow, Institute of Electrical and Electronics Engineers. For contributions to optimal control of trunk reservations and distributed admission control in communication systems. |
| Yi Ma |
Fellow, Institute of Electrical and Electronics Engineers. For contributions to computer vision and pattern recognition. |
| Feng Wu |
Fellow, Institute of Electrical and Electronics Engineers. For contributions to visual data compression and communication. |
| Geoffrey Zweig |
Fellow, Institute of Electrical and Electronics Engineers. For contributions to advanced speech recognition. |
| Sudipta Sengupta | Distinguished member, Association for Computing Machinery. For singular impacts on the dynamic computing field. |
| Yong Rui | Fellow, International Association of Pattern Recognition. For contributions to visual pattern analysis, recognition, and retrieval. |
| Yong Rui | Fellow, SPIE, the international society for optics and photonics. For achievements in image processing, analysis, and understanding. |
| Thomas Moscibroda |
Swiss NCCR MICS Research on Communications Award, presented by the Swiss National Science Federation’s National Center of Competence in Research for contributions to the area of Mobile Communications & Information Systems (MICS) during the last 10 years. |
| Rustan Leino |
Most Influential PLDI Paper Award 2012, along with Cormac Flanagan, Mark Lillibridge, Greg Nelson, James B. Saxe, and Raymie Stata. For Extended Static Checking for Java, chosen as the most influential paper presented during the Programming Language Design and Implementation conference in 2002. |
| Moshe Tennenholtz | Economic Theory Fellow, by the Society for the Advancement of Economic Theory. For scientific excellence, originality, and leadership; high ethical standards; and scholarly and creative achievement. |
| Neeraj Kayal | Indian National Science Academy Medal for Young Scientists. Presented to young scientists of extraordinary promise and creativity who have made notable research contributions in science and technology. |
| Andrew Blake | Member, U.K. Engineering and Physical Sciences Research Council. For academic and business skills that can help scientific communities address major challenges facing the United Kingdom. |
| Kevin Schofield | Lifetime Service Award, from the Association for Computing Machinery’s Special Interest Group on Computer Human Interaction (SIGCHI), for extended services to the SIGCHI community at large over a number of years. |
| Victor Bahl | Distinguished Alumni Award, University of Massachusetts Amherst. For distinguished achievement in the public, business, or professional realms. |
| Sing Bing Kang | Fellow, Institute of Electrical and Electronics Engineers. For contributions to image-based modeling and rendering. |
| Jin Li | Fellow, Institute of Electrical and Electronics Engineers. For contributions to multimedia delivery, compression, and storage for real-time communication. |
| Venkat Padmanabhan | Fellow, Institute of Electrical and Electronics Engineers. For contributions to networked and mobile computing systems. |
| Jamie Shotton | Microsoft Technical Achievement Award, presented to the Kinect Skeletal Tracking Team, which also included Momin Al-Ghosien, Matt Bronder, Robert Craig, Mark Finocchio, Alex Kipman, Samuel Mann, Parham Mohadjer, and Craig Peeper. For an outstanding and innovative technical achievement that has profoundly transformed the world of software and addressed some of the most urgent technological challenges facing the world today. |
| Henrique Malvar | Member, National Academy of Engineering. For contributions to multiresolution signal processing and multimedia signal compression and standards. |
| Neil Dalchau | Tansley Medal, presented by the scientific journal New Phytologist. For outstanding contributions made by scientists early in his or her independent career. |
| Autonomous Agents Research Award, from the Association for Computing Machinery’s Special Interest Group on Artificial Intelligence. For substantial and sustained contributions to the foundations of multi-agent systems. |
2011
| Association for Computing Machinery Special Interest Group on Management of Data Edgar F. Codd Innovations Award. For his seminal contributions to research that led to practical tools for automated physical database design. | |
| Aleksander Madry | Honorable Mention, 2011 Doctoral Dissertation Awards from the Association for Computing Machinery. For his dissertation From Graphs to Matrices, and Back: New Techniques for Graph Algorithms, nominated by the Massachusetts Institute of Technology. |
| David Steurer | Honorable Mention, 2011 Doctoral Dissertation Awards from the Association for Computing Machinery. For his dissertation On the Complexity of Unique Games and Graph Expansion, nominated by Princeton University. |
| Lintao Zhang, Conor Madigan, Matthew Moskewicz, and Sharad Malik |
Ten Year Retrospective Most Influential Paper Award, from the International Conference on Computer-Aided Design. For the 2001 paper Efficient Conflict Driven Learning in Boolean Satisfiability Solver. |
| Tony Hoare | Distinguished Achievement Award, from the Association for Computing Machinery’s Special Interest Group on Programming Languages. For seminal engineering and scientific contributions to programming languages. |
| Martín Abadi | Fellow, American Association for the Advancement of Science. For distinguished contributions to computer security, verification of computer systems, and object-oriented programming languages. |
| Tom Ball | Fellow, Association for Computing Machinery. For contributions to software analysis and defect detection. |
| Baining Guo | Fellow, Association for Computing Machinery. For contributions to computer graphics. |
| David Heckerman | Fellow, Association for Computing Machinery. For contributions to reasoning and decision-making under uncertainty. |
| Hugues Hoppe | Fellow, Association for Computing Machinery. For contributions to computer graphics. |
| Peter Key | Fellow, Association for Computing Machinery. For contributions to network control and routing. |
| Dahlia Malkhi | Fellow, Association for Computing Machinery. For contributions to fault-tolerant distributed computing. |
| Jie Liu | Distinguished Member, Association for Computing Machinery. For significant advances in computing technology that have dramatically influenced progress in science, engineering, business, and many other areas of human endeavor. |
| Ben Zorn | Distinguished Member, Association for Computing Machinery. For significant advances in computing technology that have dramatically influenced progress in science, engineering, business, and many other areas of human endeavor. |
| Miguel Castro | Mark Weiser Award, from the Association for Computing Machinery’s Special Interest Group on Operating Systems. For an individual who has demonstrated creativity and innovation in operating-systems research. |
| Victor Bahl and Ming Zhang |
Open Internet App Award, from the FCC Open Internet Challenge, along with Z. Morley Mao, Feng Qian, Cheng Chen, Junxiang Huang, Yutong Pei, Zhiyun Qian, Birjodh Tiwanta, Zhaoguang Wang, and Qiang Xu of the University of Michigan. For MobiPerf: Mobile Network Measurement System, an app that furthers the understanding of Internet connectivity and network science. |
| Victor Bahl and Ming Zhang |
People’s Choice App Award, from the FCC Open Internet Challenge, along with Z. Morley Mao, Feng Qian, Cheng Chen, Junxiang Huang, Yutong Pei, Zhiyun Qian, Birjodh Tiwanta, Zhaoguang Wang, and Qiang Xu of the University of Michigan. For MobiPerf: Mobile Network Measurement System, an app that furthers the understanding of Internet connectivity and network science. |
| Georges Gonthier | EADS Foundation Grand Prize in Computer Science, presented by France’s Académie des sciences. For a scientist in a French laboratory who has made exceptional contributions to the vitality and influence of computer-science research while building outstanding cooperation with industry. |
| Ken Hinckley, Jeff Pierce, Mike Sinclair, and Eric Horvitz |
Lasting Impact Award, presented during the 24th Association for Computing Machinery Symposium on User Interface Software and Technology (UIST). For the authors whose paper appeared in the UIST conference 10 years ago and has been the most influential since then. The award is for the UIST 2000 paper Sensing Techniques for Mobile Interaction. |
| Susan Dumais | Member, National Academy of Engineering. For innovation and leadership in organizing, accessing, and interacting with information. |
| Andrew Goldberg | Farkas Prize, from the INFORMS Optimization Society. For his outstanding contributions to the field of optimization. |
| Phil Bernstein | 10-Year Award, along with Jayant Madhavan and Erhard Rahm, presented during the 37th International Conference on Very Large Data Bases (VLDB). For the authors whose paper appeared in the VLDB conference 10 years ago and has had the most impact on database research. The award is for the 2001 VLDB paper Generic Schema Matching with Cupid. |
| Andrew Phillips | Recipient, TR35 2011. For young innovators whose inventions and research are deemed most exciting by the editors of Technology Review. |
| Jim Kajiya | Steven Anson Coons Award, from the Association for Computing Machinery's Special Interest Group on Computer Graphics and Interactive Techniques. For career contribution to computer graphics and interactive techniques. |
| Richard Szeliski | Computer Graphics Achievement Award, from the Association for Computing Machinery's Special Interest Group on Computer Graphics and Interactive Techniques. For outstanding achievement in computer graphics and interactive techniques. |
| Ming Zhang | Co-winner, Federal Communications Commission Open Internet App Award, along with University of Michigan colleagues Zhaoguang Wang, Zhiyun Qian, Qiang Xu, and Z. Morley Mao, for MobiPerf, a lightweight, accurate mobile-network measurement tool. |
| Abigail Sellen | Fellow, Royal Academy of Engineering. For being internationally recognized as a leading expert in the field of human-computer interaction. |
| Karin Strauss | Participant, 2011 U.S. Frontiers of Engineering Symposium, sponsored by the National Academy of Engineering. For engineers aged 30-45 who are performing exceptional engineering research and technical work in industry, academia, and government. |
| Jennifer Chayes | Leadership Award, from Women Entrepreneurs in Science & Technology. For demonstrating extraordinary leadership in science and technology. |
| Andrew Blake, Andrew Fitzgibbon, Jamie Shotton, Mat Cook, and Toby Sharp | MacRobert Award, from The Royal Academy of Engineering. For machine-learning work on the human-motion capture in Kinect for Xbox 360, enabling controller-free gaming and opening up a whole new future for human interaction with computers. |
| Bryan Parno | 2010 Doctoral Dissertation Award, from the Association for Computing Machinery. For resolving the tension between adequate security protections and the features and performance that users expect in a digitized world. |
| Christopher M. Bishop | Rooke Medal, by the Royal Academy of Engineering. For contributions to the academy’s aims and work through initiative in promoting engineering to the public. |
| Leslie Lamport | Member, U.S. National Academy of Sciences. For distinguished and continuing achievements in original research. |
| Ravi Kannan | Knuth Prize, from the Association for Computing Machinery’s Special Interest Group on Algorithms and Computation Theory. For developing influential algorithmic techniques aimed at solving longstanding computational problems. |
| Eric Horvitz | Fellow, American Academy of Arts and Sciences. For contributions to academy studies of science and technology policy, global security, social policy and American institutions, the humanities, and education. |
| danah boyd | Named one of 2011’s Young Global Leaders by the World Research Forum. For outstanding leadership, professional accomplishments, commitment to society, and potential to contribute to shaping the world’s future. |
| Aishwarya Lakshmi Ratan | Recipient, India TR35. Presented by the editors of Technology Review India for creating a hybrid paper, pen, and digital-slate solution for a low-cost digital record-management system. |
| Akash Lal | Recipient, India TR35. Presented by the editors of Technology Review India, for improving software quality using automated verification. |
| Shipeng Li | Fellow, Institute of Electrical and Electronics Engineers. For contributions to the advancement of image and video coding. |
| Wei-Ying Ma | Fellow, Institute of Electrical and Electronics Engineers. For contributions to multimedia information retrieval. |
| Abigail Sellen | Member, CHI Academy. Elected by the Association for Computing Machinery’s Special Interest Group on Computer Human Interaction as an individual who has made extensive contributions to the study of human-computer interaction and has led the shaping of the field. |
| David P. Robbins Prize—along with Mike Paterson, Mikkel Thorup, Peter Winkler, and Uri Zwick—from the Mathematical Association of America. For their innovative work reported in two papers appearing in American Mathematical Monthly: Overhang (January 2009) and Maximum Overhang (December 2009). | |
| Victor Bahl | Fellow, American Association for the Advancement of Science. For distinguished contributions to the field of mobile and wireless systems and services and for passionate visionary leadership of the mobile computing community. |
| Tony Hoare | John von Neumann Medal, Institute of Electrical and Electronics Engineers. For seminal contributions to the scientific foundation of software design. |
| Sudipta Sengupta |
William R. Bennett Prize, from the Institute of Electrical and Electronics Engineers. For the paper Oblivious Routing of Highly Variable Traffic in Service Overlays and IP Backbones, written along with Murali Kodialam, T. V. Lakshman, and James B. Orlin. |
2010
| David Lomet | Association for Computing Machinery Special Interest Group on Management of Data Contributions Award. For outstanding leadership as editor-in chief of the IEEE Data Engineering Bulletin, a key forum for dissemination of emerging ideas in academia and industry. |
| Mary Czerwinski | Member, CHI Academy. Elected by the Association for Computing Machinery’s Special Interest Group on Computer Human Interaction, for outstanding contributions to the practice and understanding of human-computer interaction. |
| Andrew Blake | Elected to the Council of the Royal Society, the oldest scientific academy in continuous existence, by the Society fellows, leading scientists from the United Kingdom and Commonwealth countries. |
| Mary Czerwinski | Lifetime Service Award, from the Association for Computing Machinery’s Special Interest Group on Computer Human Interaction (SIGCHI), for extended services to the SIGCHI community at large over a number of years. |
| Doug Burger | Fellow, Association for Computing Machinery. For contributions to distributed microprocessor architectures and memory systems. |
| Jennifer Chayes | Fellow, Association for Computing Machinery. For contributions to the foundations of dynamic random networks in theoretical computer science. |
| danah boyd | Communication and Information Technologies Section of the American Sociological Association Award for Public Sociology 2010. For specific achievement in teaching, the development or use of a communication or information technology, or the dissemination of knowledge that advances public understanding or engagement with the sociology of communications or the sociology of information technology. |
| Wei-Ying Ma | Distinguished member, Association for Computing Machinery. For members with at least 15 years of professional experience who have achieved significant accomplishments or made a significant impact on the computing field. |
| Ramachandran Ramjee | Distinguished member, Association for Computing Machinery. For members with at least 15 years of professional experience who have achieved significant accomplishments or made a significant impact on the computing field. |
| Alec Wolman | Distinguished member, Association for Computing Machinery. For members with at least 15 years of professional experience who have achieved significant accomplishments or made a significant impact on the computing field. |
| Victor Bahl | Outstanding Engineer Award, Region 6 Northwest Area of the Institute of Electrical and Electronics Engineers. Presented for the development of functionally novel, energy-efficient, high-capacity wireless systems for ubiquitous access and services, and for passionate visionary leadership in the mobile computing and communications community. |
| The Association for Computing Machinery’s SIGMETRICS Rising Star Researcher Award. Presented for outstanding contributions to the analysis and performance-oriented design of computer systems and services. | |
| Butler W. Lampson | Recipient, SIGOPS Hall of Fame Award, recognizing the most influential operating-systems papers that have appeared at least 10 years previously. Recognized for co-writing “Crash Recovery in a Distributed Data Storage System.” |
|
Roger M. Needham and |
Recipients, SIGOPS Hall of Fame Award, recognizing the most influential operating-systems papers that have appeared at least 10 years previously. Recognized for co-writing “Using Encryption for Authentication in Large Networks of Computers.” |
| Jim Gray | Recipient, SIGOPS Hall of Fame Award, recognizing the most influential operating-systems papers that have appeared at least 10 years previously. Recognized for co-writing “The Recovery Manager of the System R Database Manager.” |
| A.J. Bernheim Brush | Recipient, 2010 Borg Early Career Award. Presented annually by the Committee on the Status of Women in Computing Research to a woman in computer science and/or engineering who has made significant research contributions and who has contributed to her profession, especially in the outreach to women. |
| danah boyd | Recipient, TR35 2010. For young innovators whose inventions and research are deemed most exciting by the editors of Technology Review. |
| Ranveer Chandra | Recipient, TR35 2010. For young innovators whose inventions and research are deemed most exciting by the editors of Technology Review. |
| Indrani Medhi | Recipient, TR35 2010. For young innovators whose inventions and research are deemed most exciting by the editors of Technology Review. |
| Scott Saponas | Recipient, TR35 2010. For young innovators whose inventions and research are deemed most exciting by the editors of Technology Review. |
| Jian Sun | Recipient, TR35 2010. For young innovators whose inventions and research are deemed most exciting by the editors of Technology Review. |
| P. Anandan | Inductee, Nebraska Hall of Computing. For individuals with ties to Nebraska who have made significant contributions to one of more of the fields of computer and information science and engineering, the development and utilization of computing technology, and computing education. |
| Burton Smith | Fellow, American Academy of Arts & Sciences. Elected to join one of the United States’ oldest and most prestigious honorary societies, which includes scholars and practitioners from many disciplines and professions that conducts interdisciplinary, long-term policy research on complex and emerging problems. |
| Madhu Sudan | Fellow, American Academy of Arts & Sciences. Elected to join one of the United States’ oldest and most prestigious honorary societies, which includes scholars and practitioners from many disciplines and professions that conducts interdisciplinary, long-term policy research on complex and emerging problems. |
| Hong-Jiang Zhang | Recipient of the Institute of Electrical and Electronics Engineers’ Computer Society Technical Achievement Awards for 2010. For pioneering contributions to multimedia content-analysis systems. |
| Indrani Medhi | India TR35, for outstanding innovators under the age of 35 from India, as chosen by the Technology Review’s India Edition. For her work in designing text-free user interfaces for illiterate and semi-literate users. |
| Chuck Thacker | A.M. Turing Award, Association for Computing Machinery. For the pioneering design and realization of the first modern personal computer—the Alto at Xerox PARC—and seminal inventions and contributions to local area networks (including the Ethernet), multiprocessor workstations, snooping cache coherence protocols, and tablet personal computers. |
| P. Anandan | Distinguished Alumnus Award, Indian Institute of Technology Madras. For Technology Innovation Excellence. |
| Doug Burger | Edith and Peter O’Donnell Award, from the Academy of Medicine, Engineering and Science of Texas. For Texas-based researchers whose work meets the highest standards of exemplary professional performance, creativity, and resourcefulness. |
| Andrew Herbert | Appointed an Officer of the Order of the British Empire. For services to computer science. |
2009
| Alexandre Proutiere | The Association for Computing Machinery’s SIGMETRICS Rising Star Researcher Award. Presented for significant contributions to the analysis and design of distributed control mechanisms in wired and wireless data networks. |
| Fellow, American Association for the Advancement of Science. For meritorious efforts to advance science or its applications. | |
| Eric Horvitz | Fellow, American Association for the Advancement of Science. For distinguished contributions to artificial intelligence, especially advances in methods that enable computing systems to learn, reason, and make decisions under uncertainty and bounded resources. |
| David Lomet | Fellow, American Association for the Advancement of Science. For meritorious efforts to advance science or its applications. |
| Fellow, Institute of Electrical and Electronics Engineers, class of 2010. For contributions to memory systems. | |
| Baining Guo | Fellow, Institute of Electrical and Electronics Engineers, class of 2010. For contributions to surface modeling and rendering in computer graphics. |
| Yong Rui | Fellow, Institute of Electrical and Electronics Engineers, class of 2010. For contributions to image and video analysis, indexing, and retrieval. |
| Frank Soong | Fellow, Institute of Electrical and Electronics Engineers, class of 2010. For contributions to speech processing. |
| Madhu Sudan | Fellow, Institute of Electrical and Electronics Engineers, class of 2010. For development of list-decoding algorithms for error-correcting codes and probabilistically checkable proofs. |
| Yi-Min Wang | Fellow, Institute of Electrical and Electronics Engineers, class of 2010. For contributions to dependable computing and Web security. |
| Feng Zhao | Fellow, Institute of Electrical and Electronics Engineers, class of 2010. For contributions to networked embedded computing and sensor networks. |
| Wenwu Zhu | Fellow, Institute of Electrical and Electronics Engineers, class of 2010. For contributions to video communication over the Internet and wireless. |
| Ratul Mahajan | Rising Star Award 2009, Association for Computing Machinery’s Special Interest Group on Data Communications. For a researcher no older than 35 who has made outstanding research contributions to the field of communication networks during this early part of his or her career. |
| Andrew V. Goldberg | Fellow, Association for Computing Machinery, for contributions to fundamental theoretical and practical problems in the design and analysis of algorithms. |
| Chandramohan A. Thekkath | Fellow, Association for Computing Machinery, for contributions to operating systems, distributed systems, and scalable storage. |
| Mary Czerwinski | Distinguished Scientist, Association for Computing Machinery. For significant accomplishments in the computing field. |
| Venkat Padmanabhan | Distinguished Scientist, Association for Computing Machinery. For significant accomplishments in the computing field. |
| Rich Draves | Distinguished Scientist, Association for Computing Machinery. For significant accomplishments in the computing field. |
| Ganesan Ramalingam | Distinguished Scientist, Association for Computing Machinery. For significant accomplishments in the computing field. |
| Yong Rui | Distinguished Scientist, Association for Computing Machinery. For significant accomplishments in the computing field. |
| Ted Wobber | Distinguished Scientist, Association for Computing Machinery. For significant accomplishments in the computing field. |
| Lintao Zhang | 2009 CAV Award, 21st International Conference on Computer Aided Verification. Presented for his contributions to creating high-performance Boolean satisfiability solvers. |
| Judith Bishop | Outstanding Service Award, International Federation for Information Processing (IFIP). Given for services rendered to IFIP on recommendation of technical-committee chairs and approval by the organization’s Internal Awards Committee. |
| Andrew Blake | Computer Vision Significant Researcher Award, recognizing individual researchers whose work has had a significant impact and following in Computer Vision and related fields. |
| Susan Dumais |
Gerard Salton Award, presented every three years by the Association for Computing Machinery’s Special Interest Group on Information Retrieval to an individual who has made significant, sustained, and continuing contributions to research in information retrieval. |
|
Career Achievement, 2009 Microsoft Technical Recognition Award. Given to an individual for exceptional contributions to the technology industry across the span of a career, for contributions that are of lasting and major importance to the industry. Microsoft career-related achievement is a significant component of this award. | |
| Fellow, British Computer Society. For those who hold a senior IT position or have an established reputation of eminence or authority in the field of IT and who have a minimum of five years’ IT practitioner experience. | |
| Christopher M. Bishop | Corresponding Academician, Real Academia de Ingeniería (Spanish academy of engineering), for outstanding contributions to education in, research on, and applications of learning machines. |
| Byron Cook |
Roger Needham Award, sponsored by Microsoft Research and established in memory of the late Roger Needham, founder of Microsoft Research Cambridge. Presented by the British Computer Society for a distinguished research contribution in computer science by a researcher based in the United Kingdom who has received a Ph.D. within the last 10 years. |
|
Distinguished Scientist, Association for Computing Machinery. Designates ACM members with at least 15 years of professional experience who have had significant accomplishments or impact in the computing field. | |
|
Distinguished Scientist, Association for Computing Machinery. Designates ACM members with at least 15 years of professional experience who have had significant accomplishments or impact in the computing field. | |
|
Fellow, Association for Computing Machinery. Cited for contributions to computer security and verification of computer systems. | |
|
Fellow, Association for Computing Machinery. Cited for contributions to the field of human-computer interaction. | |
|
Fellow, Association for Computing Machinery. Cited for contributions to software and systems. | |
|
Fellow, Association for Computing Machinery. Cited for contributions to computational photography. | |
|
Fellow, Association for Computing Machinery. Cited for contributions to distributed computing. |
2008
|
Recipient, SIGOPS Hall of Fame Award, recognizing the most influential operating-systems papers that have appeared in the peer-reviewed literature at least 10 years previously. Recognized for co-writing “Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures.” | |
|
Recipient, Institute of Electrical and Electronics Engineers Emanuel R. Piore Award. For contributions to the design of modern operating systems, and for innovation and leadership in industrial research. | |
|
Member, Academia Europaea. Elected for lifetime achievement in computer science. Academia Europaea is a non-governmental association consisting of scientists and scholars who collectively aim to promote learning, education, and research. Members include leading experts in physical sciences and technology, biological sciences and medicine, mathematics, letters and humanities, social and cognitive sciences, economics, and the law. | |
|
Fellow, American Academy of Arts & Sciences. Elected, by a broad-based membership of scholars and practitioners, for pre-eminent contributions to the field of computer science and to society at large. | |
| Sudipta Sengupta | Leonard G. Abraham Prize, from the Institute of Electrical and Electronics Engineers. For the paper Preconfiguring IP over-Optical Networks to Handle Router Failures and Unpredictable Traffic, written along with Murali Kodialam, T. V. Lakshman, and James B. Orlin. |
|
Fellow, American Academy of Arts & Sciences. Elected, by a broad-based membership of scholars and practitioners, for pre-eminent contributions to the field of computer science and to society at large. | |
|
National Information Systems Security Award, from the National Institute of Standards and Technology and the National Security Agency. Presented for scientific or technological breakthroughs, outstanding leadership, highly distinguished authorship, or significant long-term contributions in the computer security field. | |
|
Foreign Member, The Royal Swedish Academy of Sciences. The Royal Academy announcement stated: “His most important work is probably the introduction and profound study of Stochastic Loewner Evolution, which in a totally new way connects probability theory and complex analysis. This work is one of the biggest advances in probability theory in many years.” | |
|
John von Neumann Medal, Institute of Electrical and Electronics Engineers. Presented for establishment of the foundations of distributed and concurrent computing. | |
|
CHI Lifetime Achievement Award, Association for Computing Machinery’s Special Interest Group on Computer-Human Interaction. Presented for outstanding contributions to the study of human-computer interaction, recognizing the very best work in shaping the field and awarded for a lifetime of innovation and leadership. | |
|
Fellow, Institute of Electrical and Electronics Engineers. Recognized for contributions to the foundations of segmentation and tracking, and innovation in vision applications. | |
|
Member, National Academy of Engineering. For fundamental contributions to distributed algorithms and the security of cryptosystems. | |
| Fellow, Fields Institute, for outstanding contributions to the Fields Institute, its programs, and to the Canadian mathematical community. |
2007
| Desney Tan | Recipient, TR35 2007. Presented by MIT Technology Review to the world’s top 35 innovators under the age of 35, for his work on brain-computer interfaces. |
|
Fellow, Institute of Electrical and Electronics Engineers, class of 2008. Recognized for contributions to the design of wireless networks and systems, and leadership in mobile computing and communications. | |
|
Recipient, SIGOPS Hall of Fame Award, recognizing the most influential operating-systems papers that have appeared in the peer-reviewed literature at least 10 years previously. Recognized for co-writing “A Logic of Authentication.” | |
|
Recipient, SIGOPS Hall of Fame Award, recognizing the most influential operating-systems papers that have appeared in the peer-reviewed literature at least 10 years previously. Recognized for writing "Time, Clocks and the Ordering of Events in a Distributed System". | |
|
Recipient, SIGOPS Hall of Fame Award, recognizing the most influential operating-systems papers that have appeared in the peer-reviewed literature at least 10 years previously. Recognized for co-writing "Implementing Remote Procedure Calls". | |
|
The Mountbatten Medal from the Institution of Engineering and Technology. For an outstanding individual contribution to the promotion of electronics or information technology and their application. | |
|
Fellow, Royal Society of Edinburgh. Elected by standing fellows of a multidisciplinary membership encompassing excellence in the sciences, arts, humanities, professions, industry, and commerce. | |
|
SIGSAC Outstanding Innovation Award, the Association for Computing Machinery’s Special Interest Group on Security, Audit and Control. Presented for outstanding and innovative technical contributions to the field of computer and communication security that have had lasting impact in furthering or understanding the theory and/or development of commercial systems. | |
|
Distinguished Lecturer, Institute of Electrical and Electronics Engineers Communications Society. To benefit existing members and chapters, in response to a request from at least one chapter chair. | |
|
Distinguished Speaker, Association for Computing Machinery. Invited to give presentations on various computing and information-technology topics to local communities of practitioners, researchers, and students. | |
|
Fellow, Association for Computing Machinery. Cited for contributions to computer graphics and computer vision. | |
|
Ostrowski Prize. Presented for outstanding achievements in pure mathematics and the foundations of numerical mathematics. | |
|
Distinguished Engineer, Association for Computing Machinery (ACM). Recognizes ACM members with at least 15 years of professional experience and five years of continuous professional membership who have achieved significant accomplishments or have made a significant impact on the computing field. | |
|
Fellow, Computer History Museum. Presented for leading development of the Xerox PARC Alto and for innovations in networked personal-computer systems and laser-printing technologies. | |
|
2007 Senior Dahl-Nygaard Prize. Presented annually to a senior researcher with outstanding career contributions. | |
|
Co-winner, 2007 Edsger W. Dijkstra Prize in Distributed Computing. Presented each year to an outstanding paper on the principles of distributed computing, the significance and impact of which on the theory and/or practice of distributed computing has been evident for at least a decade. Recognized for Consensus in the Presence of Partial Synchrony, which was written by Dwork, Nancy Lynch, and Larry Stockmeyer and which appeared in the Journal of the ACM in April 1988. | |
|
Andrew Herbert |
Fellow, The Royal Academy of Engineering. Recognized for engineering leadership, as director of Microsoft Research Cambridge, and for important contributions to the development of Internet and wireless technology. |
|
Fellow, Institute of Electrical and Electronics Engineers. Recognized for contributions to speech-recognition research and product development. |
2006
|
Albert Greenberg |
Fellow, Association for Computing Machinery. Recognized for contributions to computing and information technology that are having lasting effects on the lives of people throughout the world, in particular his contributions to Internet measurement and engineering. |
|
Fellow, Association for Computing Machinery. Recognized for contributions to computing and information technology that are having lasting effects on the lives of people throughout the world, in particular his contributions to computer vision and computer graphics. | |
|
Fellow, Association for Computing Machinery. Recognized for contributions to computing and information technology that are having lasting effects on the lives of people throughout the world, in particular her research contributions to information retrieval and human-computer interaction. | |
|
Fellow, Computer History Museum. Presented for his development of the Quicksort algorithm and for lifelong contributions to the theory of programming languages. | |
|
Fellow, Computer History Museum. Presented for his fundamental contributions to computer science, including networked personal workstations, operating systems, computer security, and document publishing. | |
|
2007 John von Neumann Medal. Presented for outstanding achievements in computer-related science and technology. | |
|
Fellow, Association for Computing Machinery. Recognized for contributions to computing and information technology that are having lasting effects on the lives of people throughout the world, in particular his contributions to programming languages, compilers, and computer architecture. | |
|
Outstanding Innovation Award, Association for Computing Machinery's Special Interest Group for Security, Audit and Control, for outstanding and innovative technical contributions to the field of computer and communication security that have had lasting impact in furthering or understanding the theory and/or development of commercial systems. | |
|
Distinguished Engineer, Association for Computing Machinery | |
|
Silver Medal, Royal Academy of Engineering, for "outstanding contribution to British engineering and commercial development" | |
|
George Pólya Prize, from the Society for Industrial and Applied Mathematics | |
|
Utah Technology Council Hall of Fame inductee | |
|
CHI Academy inductee | |
|
Technical Achievement Award from the Academy of Motion Picture Arts and Sciences | |
|
Fellow of the Association for Computer Machinery | |
|
Fellow, Institute of Electrical and Electronics Engineers | |
|
Foreign Associate, National Academy of Engineering | |
|
Fellow, American Association for the Advancement of Science, for meritorious efforts to advance science or its application. |
2005
| Sumit Gulwani | Outstanding Dissertation Award, Association for Computing Machinery Special Interest Group on Programming Languages. Presented annually to the author of the outstanding doctoral dissertation in the area of programming languages. |
|
Member of National Academy of Sciences | |
|
Fellow, Royal Society | |
|
Fellow, Royal Society | |
|
CHI Academy inductee | |
|
Participant, 2005 U.S. Frontiers of Engineering program, National Academy of Engineering | |
|
Participant, 2005 U.S. Frontiers of Engineering program, National Academy of Engineering | |
|
President-Elect, American Association for Artificial Intelligence | |
|
ComputerWorld Horizon Award | |
|
ERCIM Cor Baayen Award (best young European computer-science researcher) | |
|
ACM Outstanding Ph.D. Dissertation Award in Electronic Design Automation |
2004
| Association for Computing Machinery Special Interest Group on Management of Data Contributions Award. For creating and maintaining the conference management tool. | |
| Wavelet Pioneer Award, from the Society of Photographic Instrumentation Engineers. For development of lapped transforms and contributions to multiresolution signal processing. | |
|
Recipient, Institute of Electrical and Electronics Engineers Emanuel R. Piore Award. For seminal contributions to the theory and practice of concurrent programming and fault-tolerant computing | |
|
Fellow, Institute of Electrical and Electronics Engineers | |
|
Fellow, Institute of Electrical and Electronics Engineers | |
|
Fellow, Institute of Electrical and Electronics Engineers | |
|
Fellow of the Association of Computing Machinery | |
|
Fellow of the Association of Computing Machinery | |
|
Fellow of the Association of Computing Machinery | |
|
Fellow of the Association of Computing Machinery | |
|
Lyndsay Williams |
Runner-up prize in Wall Street Journal Innovation Award for SenseCam Project |
|
Runner-up prize in Wall Street Journal Innovation Award for SenseCam Project | |
|
Fellow of The Royal Academy of Engineering | |
|
Xuedong Huang |
Top 10 Leader in the Speech Industry |
|
Fellow of the Acoustical Society of America | |
|
CHI Academy (CHI Fellow) | |
|
Computer Graphics Achievement Award from ACM SIGGRAPH | |
|
Draper Prize | |
|
Gary Starkweather |
National Academy of Engineering |
|
Draper Prize |
2003
| Alex Acero | Fellow, Institute of Electrical and Electronics Engineers |
|
ACM Fellow | |
|
Elected to the National Academy of Engineering | |
|
Fellow, Institute of Electrical and Electronics Engineers | |
|
Laci Lovasz |
John von Neumann Medal |
|
Fellow, Institute of Electrical and Electronics Engineers | |
|
Elected to the National Academy of Engineering | |
|
Loeve Prize | |
|
Henri Poincare Prize | |
|
Gary Starkweather |
Fellow, Society for Information Display |
|
Marr Prize | |
|
Elected to the National Academy of Engineering | |
| National Associate, National Research Council of the National Academies, for extraordinary contributions through pro bono service. | |
|
Xuedong Huang |
Top 10 Leader in the Speech Industry |
2002
|
Ciprian Chelba |
Computer, Speech and Language Paper Award |
|
Participant in the Defense Science Study Group | |
|
Fellow, Association for the Advancement of Artificial Intelligence. For significant contributions to principles and applications of probability and utility in computation, including reasoning and decision making under limited resources, human-computer interaction, and machine learning. | |
|
National Academy of Engineering Member | |
|
ACM Fellow | |
| Technical Achievement Award, Signal Processing Society of the Institute of Electrical and Electronics Engineers. Presented to a person who, over a period of years, has made outstanding technical contributions to theory and/or practice in technical areas, as demonstrated by publications, patents, or recognized impact on the field. | |
|
Roger Needham |
Clifford Paterson Lecture at the Royal Society |
|
Fellow of the Association for Computing Machinery | |
|
David Salesin |
ACM Fellow |
|
Clay Research Award | |
|
Gary Starkweather |
Inducted into the Industry Hall of Fame |
|
NextMedia’s work won an academy award from the British Academy of Film and Television Arts in the Online Learning category | |
|
Ya-Qin Zhang |
Distinguished Alumni Award, George Washington University |
2001
|
Darko Kirovski |
ACM Outstanding PACM Outstanding Ph.D. Dissertation Award in Electronic Design Automation |
|
ACM SIGMOBILE Distinguished Service Award | |
|
Tom Barclay |
USGS John Wesley Powell Award |
|
Eta Kappa Nu Eminent Members Award | |
|
Computing Research Association Member, Board of Directors | |
|
Fellow of the Association for Computing Machinery | |
|
Marr Prize, International Conference on Computer Vision | |
|
American Academy of Arts and Sciences Fellow | |
|
USGS John Wesley Powell Award | |
|
AAAI Fellow | |
|
Tony Hoare |
Honorary Doctorate of Oxford Brookes University |
|
Kamal Jain |
Optimization Award of INFORMS (Institute for Operations Research and the Management Sciences) for his paper “A Factor 2 Approximation Algorithm for the Generalized Steiner Network Problem” |
|
Institute of Electrical and Electronics Engineers Meritorious Service Award, for innovative service as Editor of the IEEE Data Engineering Bulletin, including performing its transformation to highly usable electronic form | |
|
Laci Lovasz |
Gödel Prize for paper “Interactive Proofs and the Hardness of Approximating Cliques” |
|
Laci Lovasz |
Corvin Chain Award |
|
Roger Needham |
Commander of the Order of the British Empire (CBE) |
|
Salem Prize in Mathematics | |
|
Kentaro Toyama |
Marr Prize, International Conference on Computer Vision |
|
Ya-Qin Zhang |
Best Paper Award in Institute of Electrical and Electronics Engineers Transactions on Circuits and Systems for Video Technology |
|
Wenwu Zhu |
Best Paper Award in Institute of Electrical and Electronics Engineers Transactions on Circuits and Systems for Video Technology |
2000
|
Xuedong Huang |
Fellow, Institute of Electrical and Electronics Engineers |
|
National Academy of Engineering Member | |
|
Geoff Davis |
Institute of Electrical and Electronics Engineers Leon K. Kirchmayer Prize Paper Award |
|
Gurevich Symposium (a part of CSL 2000) | |
|
Kyoto Prize | |
|
Knight Bachelor | |
|
ACM SIGIR Gerard Salton Award | |
|
Rollo Davidson Prize, awarded each year to young probabilists by the Rollo Davidson Trust. For work on the dynamics of the Ising model and for proof of the cut-off phenomenon.. | |
|
2000 INFORMS Award for an Outstanding Publication in the Field of Simulation | |
|
Ya-Qin Zhang |
Institute of Electrical and Electronics Engineers Jubilee Golden Medal Award |
|
ACM Service Award |
1999
|
Coons Award — Lifetime Achievement Award for Computer Graphics | |
|
Laci Lovasz |
Wolf Prize |
|
Laci Lovasz |
Knuth Prize |
1998
|
American Mathematical Society Vice President | |
|
SIGGRAPH Computer Graphics Achievement Award | |
|
Charles Babbage Award, Institute of Electrical and Electronics Engineers Computer Society | |
|
Presidential Advisory Committee on High Performance Next Generation Internet and Info | |
|
ACM A.M. Turing Award | |
|
Dr Honoris Causa, University of Limburg, Belgium | |
|
ACM SIGMOD Conference Best Paper Award | |
|
Roger Needham |
Faraday Medal Institution of Electrical Engineers |
|
Roger Needham |
U.K. Defense Scientific Advisory Council Register of Independent Members |
|
The Tony Kent Strix Award | |
|
Ya-Qin Zhang |
Outstanding Young Electrical Engineer of the Year, U.S. |
1997
|
|
Fellow, Institute of Electrical and Electronics Engineers. For extraordinary accomplishments deemed fitting of this prestigious grade elevation. |
1994
|
Association for Computing Machinery Special Interest Group on Management of Data Edgar F. Codd Innovations Award. For innovative and highly significant contributions of enduring value to the development, understanding, or use of database systems and databases. |
Multiyear Awards
|
1962 and 1966 |
Young Mathematician Award of the Ural Math Society (USSR) | |
|
Michael H. Freedman |
1980-1983 |
Alfred P. Sloan Fellow |
|
Michael H. Freedman |
1984-1989 |
MacArthur Foundation Fellow |
|
1989-1992 |
Fannie and John Hertz Foundation Fellow | |
|
1990-1991 |
Distinguished Faculty Achievement Award, University of Michigan | |
|
1991-1996 |
MacArthur Fellow | |
|
1993-1994 |
Teaching Excellence Award, University of Michigan EECS Department | |
|
1993-1995 |
Heisenberg Fellowship | |
|
1994-1996 |
Digital Equipment Corp. Doctoral Engineering Fellowship Award | |
|
1995-1996 |
Faculty Recognition Award, University of Michigan | |
|
1997-1998 |
Research Excellence Award, University of Michigan College of Engineering | |
|
2000-2001 |
ACM Oustanding PACM Outstanding Ph.D. Dissertation Award in Electronic Design Automation | |
|
2002-2003 |
Participant in the Defense Science Study Group |
