Awards archive

Awards archive

Industry and academic recognition for Microsoft researchers, 1994-2015.

Awards archive

Below is an index of awards given from 1994-2015. For more recent information, please see our main News & Awards page.

2015

  • Jade Alglave

    Royal Society Brian Mercer Award for Innovation. For work on multiprocessor technology, which led to the development of .cat, a standard verification format for hardware chips.

  • Nikolaj Bjorner

    Association for Computing Machinery SIGPLAN Programming Languages Software Award. For creating a highly efficient theorem prover and tool in the SMT (Satisfiability Modulo Theories) class.

  • Chris J.C. Burges

    International Conference on Machine Learning Test of Time Award. For prescient machine learning work published in the 2005 paper, Learning to Rank using Gradient Descent.

  • Luca Cardelli

    ACM SIGPLAN Programming Languages Achievement Award. For significant and lasting contributions to the field of programming languages.

  • Jennifer Chayes

    John von Neumann Lecture, Society for Industrial and Applied Mathematics. For leadership in the research community, as well as seminal contributions to the study of phase transitions in both mathematical physics and the theory of computing.

  • Antonio Criminisi

    The Marr Prize 2015, which recognizes contributions in the field of computer vision. For Deep Neural Decision Forests, written by Peter Kontschieder, Madalina Fiterau, Antonio Criminisi, and Samuel Rota Bulò.

  • Ed Cutrell

    ACM SIGIR Test of Time Paper Award. For research that has had long-lasting influence, including impact on a subarea of information retrieval research, across subareas of information retrieval research, and outside of the information retrieval research community (e.g. non-information retrieval research or industry).

  • Mary Czerwinski

    Fellow, Association for Computing Machinery. For contributions to human-computer interaction and leadership in the CHI community.

  • Leonardo de Moura

    Association for Computing Machinery SIGPLAN Programming Languages Software Award. For creating a highly efficient theorem prover and tool in the SMT (Satisfiability Modulo Theories) class.

  • Li Deng

    IEEE Signal Processing Society Technical Achievement Award. For outstanding contributions to deep learning and to automatic speech recognition.

  • Susan Dumais

    ACM SIGIR Test of Time Paper Award. For research that has had long-lasting influence, including impact on a subarea of information retrieval research, across subareas of information retrieval research, and outside of the information retrieval research community (e.g. non-information retrieval research or industry). Presented for Stuff I’ve Seen: A System for Personal Information Retrieval and Re-Use published at SIGIR in 2003.

  • Susan Dumais

    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 who conduct interdisciplinary, long-term policy research on complex and emerging problems.

  • Cynthia Dwork

    Fellow, Association for Computing Machinery. For contributions to the science of database privacy, cryptography and distributed computing.

  • Eric Horvitz

    International Conference on Multimodal Interaction Sustained Accomplishment Award. For long-standing contributions to the field of multimodal interaction, interfaces, and systems, and who has demonstrated vision in shaping the field, pioneered one or more research directions, and substantially influenced the work of others.

  • Eric Horvitz

    Association for the Advancement of Artificial Intelligence (AAAI) Feigenbaum Prize. For sustained and high-impact contributions to the field of artificial intelligence through the development of computational models of perception, reflection and action, and their application in time-critical decision making, and intelligent information, traffic, and healthcare systems.

  • Gavin Jancke

    ACM SIGIR Test of Time Paper Award. For research that has had long-lasting influence, including impact on a subarea of information retrieval research, across subareas of information retrieval research, and outside of the information retrieval research community (e.g. non-information retrieval research or industry).

  • Ravi Kannan

    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 who conduct interdisciplinary, long-term policy research on complex and emerging problems.

  • Zuzana Kukelova

    ERCIM Cor Baayen Award (best young European computer-science researcher)

  • Kristin Lauter

    Fellow of the American Mathematical Society. For contributions to arithmetic geometry and cryptography as well as service to the community.

  • Ratul Mahajan

    Distinguished Scientist, Association for Computing Machinery. For significant accomplishments or impact within the computing field.

  • Andres Monroy-Hernandez

    Conference on Human Computation & Crowdsourcing (HCOMP 2015) Best Paper Award. For work on Crowdsourcing in the Field: A Case Study Using Local Crowds for Event Reporting.

  • Nachi Nagappan

    Distinguished Scientist, Association for Computing Machinery. For significant accomplishments or impact within the computing field.

  • Sriram Rajamani

    Fellow, Association for Computing Machinery. For his contributions to software analysis and defect detection.

  • Rick Rashid

    Association for Computing Machinery Software System Award. For the design and engineering of the Mach operating system, whose innovative approaches to virtual memory management and microkernel architecture established a foundation for later operating systems on personal computers, tablets, and mobile phones.

  • Sudipta Sengupta

    Fellow, IEEE. For contributions to network design, routing and applications to Internet backbone, data centers, and peer-to-peer systems.

  • Jamie Shotton

    Recipient, TR35 2015. For young innovators whose inventions and research are deemed most exciting by the editors of Technology Review.

  • Don Syme

    Royal Academy of Engineering Silver Medal. For an outstanding personal contribution to United Kingdom engineering by an early to mid-career engineer resulting in market exploitation.

  • Jaime Teevan

    Conference on Human Computation & Crowdsourcing (HCOMP 2015) Best Paper Award. For work on Crowdsourcing in the Field: A Case Study Using Local Crowds for Event Reporting.

  • George Varghese

    Distinguished Alumnus Award, Indian Institute of Technology Bombay. For Technology Innovation Excellence.

  • Andy Wilson

    International Conference on Multimodal Interaction Ten-Year Technical Impact Award. For contributing a seminal paper (TouchLight: An Imaging Touch Screen and Display for Gesture-Based Interaction) with the largest influence in an area within multimodal interaction, interfaces, and systems, and published 10 years or more in the past.

  • Jeannette Wing

    Association for Computing Machinery Distinguished Service Award. For helping the computing community articulate the promise of computation to broad audiences.

  • Christoph Wintersteiger

    Association for Computing Machinery SIGPLAN Programming Languages Software Award. For creating a highly efficient theorem prover and tool in the SMT (Satisfiability Modulo Theories) class.

2014

  • Judith Bishop

    Distinguished Educator, Association for Computing Machinery. For individual contributions and singular impact on the field of computing.

  • Andrew Blake

    Presented the prestigious American Mathematical Society Gibbs Lecture.

  • Jennifer Chayes

    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 who conduct interdisciplinary, long-term policy research on complex and emerging problems.

  • Susan Dumais

    British Computer Society Tony Kent Strix Award. For outstanding contributions to the field of information retrieval.

  • Susan Dumais

    Athena Lecturer Award, from the Association for Computing Machinery’s Council on Women in Computing, which celebrates women researchers who have made fundamental contributions to computer science. For introducing novel algorithms and interfaces for interactive retrieval that have made it easier for people to find, use, and make sense of information.

  • Cynthia Dwork

    Member, National Academy of Sciences. For distinguished and continuing achievements in original research.

  • Parikshit Gopalan, Cheng Huang, Huseyin Simitci, and Sergey Yekhanin

    IEEE Communications Society & Information Theory Society Joint Paper Award. For outstanding papers published in any publication of the Communications Society or the Information Theory Society within the previous three calendar years. Presented for On the Locality of Codeword Symbols.

  • Sumit Gulwani

    Robin Milner Young Researcher Award, from the Association for Computing Machinery’s Special Interest Group on Programming Languages. For being a “highly motivated, creative, and inter-disciplinary researcher whose vision is to empower computer users around the world to be more productive and educated.”

  • Baining Guo

    Member, Canadian Academy of Engineering. For distinguished achievements and career-long service to the engineering profession.

  • Richard Harper

    Member, CHI Academy. Elected by the Association for Computing Machinery’s SIGCHI as an individual who has made substantial contributions to the field of human-computer interaction.

  • Ken Hinckley

    Member, CHI Academy. Elected by the Association for Computing Machinery’s SIGCHI as an individual who has made substantial contributions to the field of human-computer interaction.

  • Eric Horvitz

    Fellow, Association for Computing Machinery. For contributions to artificial intelligence and human-computer interaction.

  • Leslie Lamport

    Fellow, American Academy of Arts & Science. Elected to join one of the United States’ oldest and most prestigious honorary societies, which includes scholars and practitioners from many disciplines and professions who conduct interdisciplinary, long-term policy research on complex and emerging problems.

  • Leslie Lamport

    Fellow, Association for Computing Machinery. For contributions to the theory and practice of distributed and concurrent systems.

  • Leslie Lamport

    A.M. Turing Award, from the Association for Computing Machinery. For fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention of concepts such as causality and logical clocks, safety and liveness, replicated state machines, and sequential consistency.

  • Jaron Lanier

    Peace Prize of the German Book Trade, from the German Publishers and Booksellers Association. For consistently and effectively spotlighting the threats our open society faces when deprived of the power to control its own progress and development.

  • Peter Lee

    Computer Science and Engineering Alumni Merit Award, University of Michigan. In recognition of research, leadership, and service contributions to the field of Computer Science.

  • Ratul Mahajan

    ACM SIGCOMM Test of Time Paper Award. For papers published 10-12 years ago in Computer Communication Review or any SIGCOMM sponsored or co-sponsored conference that is deemed to be an outstanding paper whose contents are still a vibrant and useful contribution today. Presented for Measuring ISP Topologies with Rocketfuel, by Neil Spring, Mahajan, and David Wetherall.

  • Muthu Muthukrishnan

    Imre Simon Test-of-Time Paper Award, which recognizes papers published in the Latin American Theoretical Informatics conference that have the most relevant and lasting impact. For An Improved Data Stream Summary: The Count-Min Sketch and its Applications, written with Graham Cormode of Rutgers University.

  • Jamie Shotton

    IEEE Pattern Analysis and Machine Intelligence Young Researcher Award. For outstanding early career research contributions.

  • Nikhil Srivastava, Adam W. Marcus, and Daniel A. Spielman

    George Pólya Prize, from the Society for Industrial and Applied Mathematics. For a notable contribution in areas of interest to George Pólya, such as approximation theory, complex analysis, number theory, orthogonal polynomials, probability theory, or mathematical discovery and learning.

  • Madhu Sudan

    Infosys Prize 2014, Mathematical Sciences. For seminal contributions to probabilistically checkable proofs and error-correcting codes.

  • John Tang

    Member, CHI Academy. Elected by the Association for Computing Machinery’s SIGCHI as an individual who has made substantial contributions to the field of human-computer interaction.

  • Jaime Teevan

    Anita Borg Early Career Award, from the Committee on the Status of Women in Computing Research. For a woman in computer science and/or engineering who has made significant research contributions and who has contributed to her profession, especially in outreach to women.

  • Chuck Thacker


    Microsoft Career Achievement Award, given to an individual for exceptional contributions to the technology industry across the span of a career.

  • Jun’ichi Tsujii

    Funai Achievement Award, presented to a distinguished individual engaged in research or related business activities in the field of information technology who has produced excellent achievements in the field.

  • George Varghese

    Koji Kobayashi Computers and Communications Award, from the Institute of Electrical and Electronics Engineers. For contributions to the field of network algorithmics and its applications to high-speed packet networks.

  • George Varghese

    2014 SIGCOMM Award. For sustained and diverse contributions to network algorithms, with far-reaching impact in both research and industry.

  • Hanna Wallach

    Selected as one of 35 Women Under 35 Who Are Changing the Tech Industry, by Glamour magazine.

  • Yi-Min Wang

    Distinguished Alumni Award, University of Illinois. For contributions to dependable computing and Web security, and leadership in industrial research.

  • Duncan Watts

    Everett M. Rogers Award, from the Annenberg School for Communication and Journalism at the University of Southern California. For graduate-school research that launched the new science of networks.

  • Ryen White

    British Computer Society Karen Spärck Jones Award. For outstanding early career research in information retrieval and natural language processing.

2013

  • Saleema Amershi

    2013 Distinguished Dissertation Award, from the University of Washington Graduate School. For Designing for Effective End-User Interaction with Machine Learning.

  • P. Anandan

    Helmholtz Prize, along with Michael Black, from the International Conference on Computer Vision. For A framework for the robust estimation of optical flow.

  • Victor Bahl

    Outstanding Leadership and Professional Service Award, Institute of Electrical and Electronics Engineers Region 6.

  • Victor Bahl

    SIGMOBILE (Lifetime Achievement) Outstanding Contributions Award, Association of Computing Machinery.

  • Victor Bahl

    MobiSys 2013 Best Paper Award, Energy Characterization and Optimization of Image Sensing Toward Continuous Mobile Vision.

  • Andrew Blake

    Honorary Degree of Doctor of Engineering, The University of Sheffield.

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

  • Luca Cardelli

    Awarded a Royal Society Research Professorship in the Department of Computer Science, University of Oxford.

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

  • Andrew Fitzgibbon

    Royal Academy of Engineering Silver Medal. For outstanding and demonstrated personal contributions to British engineering, resulting in successful market exploitation by an engineer with less than 22 years of full-time employment.

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

  • Dilek Hakkani-Tür

    Fellow, IEEE. For contributions to spoken language processing.

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

  • Eric Horvitz

    Member, National Academy of Engineering. For computational mechanisms for decision-making under uncertainty and with bounded resources.

  • Johannes Kopf

    Eurographics Young Researcher Award 2013. For young researchers who have already made a significant contribution to the field of computer graphics.

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

  • Jitendra Padhye

    Distinguished Scientist, Association for Computing Machinery. For his contributions to the design and analysis of transport control protocols and their broad impact on the research community and networking industry.

  • Matthew Parkinson

    Dahl-Nygaard Junior Prize. For his work on specifying and reasoning about object-oriented programs.

  • Rick Rashid

    Honorary doctoral degree from the University of Science and Technology of China, under the jurisdiction of the Chinese Academy of Sciences.

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

  • Andreas Stolcke

    Fellow, International Speech Communication Association. For contributions to research and leadership in speech and speaker recognition, understanding, and statistical modeling of spoken languages.

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

  • George Varghese

    Koji Kobayashi Computers and Communications Award, from the Institute of Electrical and Electronics Engineers. For contributions to the field of network algorithmics and its applications to high-speed packet networks.

  • Duncan Watts

    Lagrange-CRT Foundation Prize. For outstanding scientific contributions to the field of complexity and complex systems in all disciplines.

  • Duncan Watts

    A.D. White Professor-at-Large, Cornell University. For distinguished achievements in his discipline and life.

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

  • Yongguang Zhang

    Fellow, IEEE. For contributions to software radio technology.

  • Zhengyou Zhang

    Fellow, Association for Computing Machinery. For contributions to computer vision and multimedia.

  • Zhengyou Zhang

    Helmholtz Prize, from the International Conference on Computer Vision. For Flexible Camera Calibration By Viewing a Plane From Unknown Orientations.

  • Yu Zheng

    Recipient, TR35 2013. For young innovators whose inventions and research are deemed most exciting by the editors of Technology Review.

2012

  • Victor Bahl

    Distinguished Alumni Award, University of Massachusetts Amherst. For distinguished achievement in the public, business, or professional realms.

  • Andrew Blake

    Honorary Degree of Doctor of Science, The University of Edinburgh.

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

  • Luca Cardelli

    Rozenberg Tulip Award in DNA Computing. For his research contributions to theory and software for programming biomolecular systems.

  • Jennifer Chayes

    Inaugural Fellow of the American Mathematical Society.

  • Neil Dalchau

    Tansley Medal, presented by the scientific journal New Phytologist. For outstanding contributions made by scientists early in his or her independent career.

  • Sudipto Das

    Lancaster Dissertation Award. For the best dissertation in mathematics, the physical sciences, and engineering at the University of California, Santa Barbara.

  • Michael Freedman

    Inaugural Fellow of the American Mathematical Society.

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

  • Jonathan Grudin

    Fellow, Association for Computing Machinery. For contributions to human computer interaction with an emphasis on computer supported cooperative work.

  • Sing Bing Kang

    Fellow, Institute of Electrical and Electronics Engineers. For contributions to image-based modeling and rendering.

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

  • Peter Key

    Fellow, Institute of Electrical and Electronics Engineers. For contributions to optimal control of trunk reservations and distributed admission control in communication systems.

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

  • Jin Li

    Fellow, Institute of Electrical and Electronics Engineers. For contributions to multimedia delivery, compression, and storage for real-time communication.

  • Yi Ma

    Fellow, Institute of Electrical and Electronics Engineers. For contributions to computer vision and pattern recognition.

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

  • Henrique Malvar

    Member, National Academy of Engineering. For contributions to multiresolution signal processing and multimedia signal compression and standards.

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

  • Venkat Padmanabhan

    Fellow, Institute of Electrical and Electronics Engineers. For contributions to networked and mobile computing systems.

  • Yuval Peres

    Inaugural Fellow of the American Mathematical Society.

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

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

  • Sudipta Sengupta

    Distinguished member, Association for Computing Machinery. For singular impacts on the dynamic computing field.

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

  • Madhu Sudan

    Inaugural Fellow of the American Mathematical Society.

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

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

  • Moshe Tennenholtz

    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.

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

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

2011

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

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

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

  • Tom Ball

    Fellow, Association for Computing Machinery. For contributions to software analysis and defect detection.

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

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

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

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

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

  • Surajit Chaudhuri

    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.

  • Jennifer Chayes

    Leadership Award, from Women Entrepreneurs in Science & Technology. For demonstrating extraordinary leadership in science and technology.

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

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

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

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

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

  • Tony Hoare

    John von Neumann Medal, Institute of Electrical and Electronics Engineers. For seminal contributions to the scientific foundation of software design.

  • Hugues Hoppe

    Fellow, Association for Computing Machinery. For contributions to computer graphics.

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

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

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

  • Peter Key

    Fellow, Association for Computing Machinery. For contributions to network control and routing.

  • Akash Lal

    Recipient, India TR35. Presented by the editors of Technology Review India, for improving software quality using automated verification.

  • Leslie Lamport

    Member, U.S. National Academy of Sciences. For distinguished and continuing achievements in original research.

  • Shipeng Li

    Fellow, Institute of Electrical and Electronics Engineers. For contributions to the advancement of image and video coding.

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

  • Wei-Ying Ma

    Fellow, Institute of Electrical and Electronics Engineers. For contributions to multimedia information retrieval.

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

  • Dahlia Malkhi

    Fellow, Association for Computing Machinery. For contributions to fault-tolerant distributed computing.

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

  • Yuval Peres

    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).

  • Andrew Phillips

    Recipient, TR35 2011. For young innovators whose inventions and research are deemed most exciting by the editors of Technology Review.

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

  • Abigail Sellen

    Fellow, Royal Academy of Engineering. For being internationally recognized as a leading expert in the field of human-computer interaction.

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

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

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

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

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

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

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

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

2010

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

  • P. Anandan

    Distinguished Alumnus Award, Indian Institute of Technology Madras. For Technology Innovation Excellence.

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

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

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

  • danah boyd

    Recipient, TR35 2010. For young innovators whose inventions and research are deemed most exciting by the editors of Technology Review.

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

  • Doug Burger

    Fellow, Association for Computing Machinery. For contributions to distributed microprocessor architectures and memory systems.

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

  • Ranveer Chandra

    Recipient, TR35 2010. For young innovators whose inventions and research are deemed most exciting by the editors of Technology Review.

  • Jennifer Chayes

    Fellow, Association for Computing Machinery. For contributions to the foundations of dynamic random networks in theoretical computer science.

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

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

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

  • Andrew Herbert

    Appointed an Officer of the Order of the British Empire. For services to computer science.

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

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

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

  • Indrani Medhi

    Recipient, TR35 2010. For young innovators whose inventions and research are deemed most exciting by the editors of Technology Review.

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

  • Roger M. Needham and Michael D. Schroeder

    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.”

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

  • Scott Saponas

    Recipient, TR35 2010. For young innovators whose inventions and research are deemed most exciting by the editors of Technology Review.

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

  • Jian Sun

    Recipient, TR35 2010. For young innovators whose inventions and research are deemed most exciting by the editors of Technology Review.

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

  • Milan Vojnovic

    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.

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

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

2009

  • Martin Abadi

    Fellow, Association for Computing Machinery. Cited for contributions to computer security and verification of computer systems.

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

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

  • Doug Burger

    Fellow, Institute of Electrical and Electronics Engineers, class of 2010. For contributions to memory systems.

  • Doug Burger

    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.

  • Bill Buxton

    Fellow, Association for Computing Machinery. Cited for contributions to the field of human-computer interaction.

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

  • Mary Czerwinski

    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.

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

  • Andrew V. Goldberg

    Fellow, Association for Computing Machinery, for contributions to fundamental theoretical and practical problems in the design and analysis of algorithms.

  • Baining Guo

    Fellow, Institute of Electrical and Electronics Engineers, class of 2010. For contributions to surface modeling and rendering in computer graphics.

  • Tony Hey

    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.

  • Roy Levin

    Fellow, Association for Computing Machinery. Cited for contributions to software and systems.

  • David Lomet

    Fellow, American Association for the Advancement of Science. For meritorious efforts to advance science or its applications.

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

  • Marc Najork

    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.

  • Venkat Padmanabhan

    Distinguished Scientist, Association for Computing Machinery. For significant accomplishments in the computing field.

  • Simon Peyton-Jones

    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.

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

  • Ganesan Ramalingam

    Distinguished Scientist, Association for Computing Machinery. For significant accomplishments in the computing field.

  • Rick Rashid

    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.

  • Yong Rui

    Fellow, Institute of Electrical and Electronics Engineers, class of 2010. For contributions to image and video analysis, indexing, and retrieval.

  • Yong Rui

    Distinguished Scientist, Association for Computing Machinery. For significant accomplishments in the computing field.

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

  • Rick Szeliski

    Fellow, Association for Computing Machinery. Cited for contributions to computational photography.

  • Doug Terry

    Fellow, Association for Computing Machinery. Cited for contributions to distributed computing.

  • Chandramohan A. Thekkath

    Fellow, Association for Computing Machinery, for contributions to operating systems, distributed systems, and scalable storage.

  • Yi-Min Wang

    Fellow, Institute of Electrical and Electronics Engineers, class of 2010. For contributions to dependable computing and Web security.

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

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

2008

  • Andrew Blake

    Fellow, Institute of Electrical and Electronics Engineers. Recognized for contributions to the foundations of segmentation and tracking, and innovation in vision applications.

  • Bill Buxton

    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.

  • Jennifer Chayes

    Fellow, Fields Institute, for outstanding contributions to the Fields Institute, its programs, and to the Canadian mathematical community.

  • Cynthia Dwork

    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.

  • Cynthia Dwork

    Member, National Academy of Engineering. For fundamental contributions to distributed algorithms and the security of cryptosystems.

  • Yuri Gurevich

    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.

  • Leslie Lamport

    John von Neumann Medal, Institute of Electrical and Electronics Engineers. Presented for establishment of the foundations of distributed and concurrent computing.

  • Rick Rashid

    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.”

  • Rick Rashid

    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.

  • Rick Rashid

    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.

  • Oded Schramm

    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.”

  • Michael Schroeder

    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.

2007

  • Martín Abadi

    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.”

  • Martín Abadi

    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.

  • Victor Bahl

    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.

  • Victor Bahl

    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.

  • Victor Bahl

    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.

  • Andrew Birrell

    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”.

  • Christopher M. Bishop

    Fellow, Royal Society of Edinburgh. Elected by standing fellows of a multidisciplinary membership encompassing excellence in the sciences, arts, humanities, professions, industry, and commerce.

  • Andrew Blake

    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.

  • Luca Cardelli

    2007 Senior Dahl-Nygaard Prize. Presented annually to a senior researcher with outstanding career contributions.

  • Michael Cohen

    Fellow, Association for Computing Machinery. Cited for contributions to computer graphics and computer vision.

  • John Douceur

    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.

  • Cynthia Dwork

    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.

  • Hsiao-Wuen Hon

    Fellow, Institute of Electrical and Electronics Engineers. Recognized for contributions to speech-recognition research and product development.

  • Leslie Lamport

    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”.

  • Oded Schramm

    Ostrowski Prize. Presented for outstanding achievements in pure mathematics and the foundations of numerical mathematics.

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

  • Chuck Thacker

    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.

2006

  • Andrew Blake

    Silver Medal, Royal Academy of Engineering, for “outstanding contribution to British engineering and commercial development”

  • Surajit Chaudhuri

    Fellow of the Association for Computer Machinery

  • Jennifer Chayes

    Fellow, American Association for the Advancement of Science, for meritorious efforts to advance science or its application.

  • Susan Dumais

    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.

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

  • Tony Hoare

    Fellow, Computer History Museum. Presented for his development of the Quicksort algorithm and for lifelong contributions to the theory of programming languages.

  • Tony Hoare

    Foreign Associate, National Academy of Engineering

  • Jim Kajiya

    Utah Technology Council Hall of Fame inductee

  • Butler Lampson

    Fellow, Computer History Museum. Presented for his fundamental contributions to computer science, including networked personal workstations, operating systems, computer security, and document publishing.

  • Jim Larus

    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.

  • John Platt

    Technical Achievement Award from the Academy of Motion Picture Arts and Sciences

  • George Robertson

    CHI Academy inductee

  • Oded Schramm

    George Pólya Prize, from the Society for Industrial and Applied Mathematics

  • Mike Schroeder

    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.

  • Harry Shum

    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.

  • Harry Shum

    Fellow, Institute of Electrical and Electronics Engineers

  • Chuck Thacker

    2007 John von Neumann Medal. Presented for outstanding achievements in computer-related science and technology.

  • Feng Zhao

    Distinguished Engineer, Association for Computing Machinery

2005

  • Andrew Blake

    Fellow, Royal Society

  • Luca Cardelli

    Fellow, Royal Society

  • Trishul Chilimbi

    Participant, 2005 U.S. Frontiers of Engineering program, National Academy of Engineering

  • Manuel Costa

    ComputerWorld Horizon Award

  • Susan Dumais

    CHI Academy inductee

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

  • Eric Horvitz

    President-Elect, American Association for Artificial Intelligence

  • Butler W. Lampson

    Member of National Academy of Sciences

  • Shuvendu Lahiri

    ACM Outstanding Ph.D. Dissertation Award in Electronic Design Automation

  • Jie Liu

    Participant, 2005 U.S. Frontiers of Engineering program, National Academy of Engineering

  • Milan Vojnovic

    ERCIM Cor Baayen Award (best young European computer-science researcher)

2004

  • Christopher M. Bishop

    Fellow of The Royal Academy of Engineering

  • Luca Cardelli

    Fellow of the Association of Computing Machinery

  • Surajit Chaudhuri

    Association for Computing Machinery Special Interest Group on Management of Data Contributions Award. For creating and maintaining the conference management tool.

  • Li Deng

    Fellow, Institute of Electrical and Electronics Engineers

  • Li Deng

    Fellow of the Acoustical Society of America

  • Jonathan Grudin

    CHI Academy (CHI Fellow)

  • Hugues Hoppe

    Computer Graphics Achievement Award from ACM SIGGRAPH

  • Xuedong Huang

    Top 10 Leader in the Speech Industry

  • Leslie Lamport

    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

  • Butler Lampson

    Draper Prize

  • Paul Larson

    Fellow of the Association of Computing Machinery

  • Henrique Malvar

    Wavelet Pioneer Award, from the Society of Photographic Instrumentation Engineers. For development of lapped transforms and contributions to multiresolution signal processing.

  • Simon Peyton-Jones

    Fellow of the Association of Computing Machinery

  • Mike Schroeder

    Fellow of the Association of Computing Machinery

  • Gary Starkweather

    National Academy of Engineering

  • Rick Szeliski

    Fellow, Institute of Electrical and Electronics Engineers

  • Chuck Thacker

    Draper Prize

  • Lyndsay Williams

    Runner-up prize in Wall Street Journal Innovation Award for SenseCam Project

  • Ken Woodberry

    Runner-up prize in Wall Street Journal Innovation Award for SenseCam Project

  • Zhengyou Zhang

    Fellow, Institute of Electrical and Electronics Engineers

2003

  • Alex Acero

    Fellow, Institute of Electrical and Electronics Engineers

  • Victor Bahl

    ACM Fellow

  • Phil Bernstein

    Elected to the National Academy of Engineering

  • Jennifer Chayes

    National Associate, National Research Council of the National Academies, for extraordinary contributions through pro bono service.

  • Philip Chou

    Fellow, Institute of Electrical and Electronics Engineers

  • Xuedong Huang

    Top 10 Leader in the Speech Industry

  • David Lomet

    Fellow, Institute of Electrical and Electronics Engineers

  • Laci Lovasz

    John von Neumann Medal

  • Rick Rashid

    Elected to the National Academy of Engineering

  • Oded Schramm

    Loeve Prize

  • Oded Schramm

    Henri Poincare Prize

  • Gary Starkweather

    Fellow, Society for Information Display

  • Paul Viola

    Marr Prize

  • Turner Whitted

    Elected to the National Academy of Engineering

2002

  • Ciprian Chelba

    Computer, Speech and Language Paper Award

  • Richard Draves

    Participant in the Defense Science Study Group

  • Eric Horvitz

    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.

  • Jim Kajiya

    National Academy of Engineering Member

  • David Lomet

    ACM Fellow

  • Henrique Malvar

    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

  • George Robertson

    Fellow of the Association for Computing Machinery

  • David Salesin

    ACM Fellow

  • Oded Schramm

    Clay Research Award

  • Gary Starkweather

    Inducted into the Industry Hall of Fame

  • Curtis Wong

    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

  • Victor Bahl

    ACM SIGMOBILE Distinguished Service Award

  • Tom Barclay

    USGS John Wesley Powell Award

  • Gordon Bell

    Eta Kappa Nu Eminent Members Award

  • Phil Bernstein

    Computing Research Association Member, Board of Directors

  • Phil Bernstein

    Fellow of the Association for Computing Machinery

  • Andrew Blake

    Marr Prize, International Conference on Computer Vision

  • Jim Gray

    American Academy of Arts and Sciences Fellow

  • Jim Gray

    USGS John Wesley Powell Award

  • David Heckerman

    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”

  • Darko Kirovski

    ACM Outstanding PACM Outstanding Ph.D. Dissertation Award in Electronic Design Automation

  • David Lomet

    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)

  • Oded Schramm

    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

  • Jim Blinn

    National Academy of Engineering Member

  • Geoff Davis

    Institute of Electrical and Electronics Engineers Leon K. Kirchmayer Prize Paper Award

  • Yuri Gurevich

    Gurevich Symposium (a part of CSL 2000)

  • Tony Hoare

    Kyoto Prize

  • Tony Hoare

    Knight Bachelor

  • Xuedong Huang

    Fellow, Institute of Electrical and Electronics Engineers

  • Stephen Robertson

    ACM SIGIR Gerard Salton Award

  • David Wilson

    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.

  • David Wilson

    2000 INFORMS Award for an Outstanding Publication in the Field of Simulation

  • Hongjiang Zhang

    ACM Service Award

  • Ya-Qin Zhang

    Institute of Electrical and Electronics Engineers Jubilee Golden Medal Award

1999

  • Jim Blinn

    Coons Award — Lifetime Achievement Award for Computer Graphics

  • Laci Lovasz

    Wolf Prize

  • Laci Lovasz

    Knuth Prize

1998

  • Jennifer Chayes

    American Mathematical Society Vice President

  • Michael Cohen

    SIGGRAPH Computer Graphics Achievement Award

  • Jim Gray

    Charles Babbage Award, Institute of Electrical and Electronics Engineers Computer Society

  • Jim Gray

    Presidential Advisory Committee on High Performance Next Generation Internet and Info

  • Jim Gray

    ACM A.M. Turing Award

  • Yuri Gurevich

    Dr Honoris Causa, University of Limburg, Belgium

  • Yuri Gurevich

    Research Excellence Award, University of Michigan College of Engineering

  • David Lomet

    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

  • Stephen Robertson

    The Tony Kent Strix Award

  • Ya-Qin Zhang

    Outstanding Young Electrical Engineer of the Year, U.S.

1997

  • Yuri Gurevich

    Research Excellence Award, University of Michigan College of Engineering

  • Henrique Malvar

    Fellow, Institute of Electrical and Electronics Engineers. For extraordinary accomplishments deemed fitting of this prestigious grade elevation.

1996

  • Victor Bahl

    Digital Equipment Corp. Doctoral Engineering Fellowship Award

  • Jim Blinn

    MacArthur Fellow

  • Yuri Gurevich

    Faculty Recognition Award, University of Michigan

1995

1994

  • Victor Bahl

    Digital Equipment Corp. Doctoral Engineering Fellowship Award

  • Phil Bernstein

    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.

  • Yuri Gurevich

    Teaching Excellence Award, University of Michigan EECS Department