Awards and honors

Awards and honors

Microsoft researchers receive a number of accolades for their contributions to scientific research and commitment to advancing computer science.

Awards

2016

  • Bill Thies
    Bill Thies was named a 2016 Fellow of the John D. and Catherine T. MacArthur Foundation for his work creating communication and digital technologies to advance the social and economic well-being of low-income communities in the developing world. He is a leader in the field of Information and Communication Technologies for Development (ICT4D), which sits at the intersection between technology and global development to make technology more accessible and useful to very low income populations.
  • Much of Thies’ work at Microsoft’s research lab in Bangalore, India, leverages his computer science expertise to help people living in rural and isolated communities access the benefits of modern healthcare, information flows and social connections. For example, Thies and collaborators created 99DOTS, an initiative that harnesses basic mobile phones to help doctors ensure tuberculosis patients in rural communities complete their full six-month course of medication, thus limiting the spread of drug-resistant strains of the disease. Other initiatives, such as CGNET Swara and IVR Junction, enable voice-based citizen journalism and the ability to record, post and listen to social media content via basic mobile phones.
  • Simon Peyton Jones and Dimitrios Vytiniotis
    The two researchers have won the 2016 ACM SIGPLAN Most Influential ICFP Paper Award, which recognizes the impact of a paper presented at the International Conference on Functional Programming (ICFP) 10 years earlier. The paper, “Simple unification-based type inference for GADTs,” describes the design and implementation of a programming language feature that enabled programmers to write more efficient and correct-by-construction code in functional languages such as Haskell. The research was conducted when Vytiniotis was an intern with Peyton Jones at Microsoft’s Cambridge, UK, research lab. The award is shared with co-authors Geoffrey Washburn, who also interned with Peyton Jones, and Stephanie Weirich, a professor at the University of Pennsylvania.
  • Programmers use “types” to describe different kinds of data, such as numbers or strings. Algebraic data types are used to describe richer data structures such as trees or graphs. Type systems ensure that data of a given type do not get misused as data of another type – which could lead to program crashes. Providing all type annotations in a computer program is tedious and time-consuming, so programming languages often implement algorithms that infer types from the program context, thus reducing the need for programmer-supplied type annotations. These algorithms had to be revisited when Generalized Algebraic Data Types (GADTs) emerged in the early 2000s to describe stronger invariants about structured data. The design described by Peyton Jones, Vytiniotis and colleagues specifies where and when to use type annotations in programs that manipulate GADTs. The system provided the basis of the first implementation of GADTs in the Glasgow Haskell Compiler.
  • Simon Peyton Jones
    Simon Peyton Jones received the 2016 ACM SIGPLAN Programming Languages Achievement Award for his leading role over the past 30 years in the design, implementation and evolution of Haskell and the Glasgow Haskell Compiler (GHC). Haskell is an advanced, purely functional programming language used by researchers and industry worldwide to produce flexible, maintainable high-quality software that runs everything from backend operations at major financial institutions and social media sites to Pandoc, a free and open-source document converter that grew from academic research. Peyton Jones’s many technical contributions to language design and functional language implementation are a driving force behind the success of Haskell and GHC, according to the Association for Computing Machinery.
  • Beyond his technical expertise, Peyton Jones is widely considered a visionary leader in the field of programming languages as well as a master communicator and champion of computer science education. The top hits on his website, he notes, are to his talks on how to write a great research paper, give a great research talk and write a great grant proposal. But he hopes his biggest impact on society will stem from his work on computing education. He chairs Computing at School, an organization that promotes the teaching of computer science as a subject discipline alongside mathematics and natural science. The group’s advocacy spurred the inclusion of computing in the United Kingdom’s national curriculum from primary school onwards.
  • Steve Hodges
    Steve Hodges and a team of current and former members of Microsoft’s research lab in Cambridge, UK, received the UbiComp 2016 10-year impact award for the paper “SenseCam: A Retrospective Memory Aid.” The paper presents a wearable camera, SenseCam, that takes photos automatically, capturing a digital record of the wearer’s day. Hodges shares the award with paper co-authors Lyndsay Williams, Emma Berry, Shahram Izadi, James Srinivasan, Alex Butler, Gavin Smyth, Narinder Kupur and Ken Woodberry.
  • Microsoft’s initial research with SenseCam, detailed in the paper, demonstrated the device’s potential as a memory aid for patients with conditions such as amnesia and Alzheimer’s disease: Looking through images previously recorded by SenseCam elicits recall of events that otherwise may have been forgotten. The finding spurred further research around the world on the SenseCam’s potential as a memory aid as well as spawned an international conference series and several commercial products.
  • Sebastian Nowozin
    Sebastian Nowozin received the 2016 German Pattern Recognition Award on September 13 at the 38th German Conference on Pattern Recognition for his development of machine learning models and algorithms suitable for solving structured computer vision problems.
  • Josh Benaloh
    Josh Benaloh received the 2016 Pioneer Award in August 2016 from the Electronic Frontier Foundation for his contribution to the “Keys Under Doormats” report. The publication argues against requests from Congress and law enforcement agencies for exceptional access to encrypted data and communications via engineered “backdoors” and other mechanisms. Such mandates are likely to introduce unanticipated and hard to detect security flaws as well as be difficult to govern in a manner that respects human rights and the rule of law, according to the report.
  • The report was published in July 2015 and coordinated by the MIT Internet Policy Research Initiative. The Pioneer Award is shared by Benaloh’s co-authors, including Harold Abelson, Ross Anderson, Steven M. Bellovin, Matt Blaze, Whitfield Diffie, John Gilmore, Matthew Green, Susan Landau, Peter G. Neumann, Ronald L. Rivest, Jeffrey I. Schiller, Bruce Schneier, Michael Specter, and Daniel J. Weitzner.
  • Samin Ishtiaq
    Samin Ishtiaq will be receiving the 2016 CAV Award for the development of Separation Logic and for demonstrating its applicability in the automated verification of programs that mutate data structures. He is winning this award alongside Josh Berdine, a former Microsoft researcher, as well as Cristiano Calcagno, Dino Distefano, Peter O’Hearn, John Reynolds, and Hongseok Yang. The CAV award will be presented at CAV 2016 in Toronto, a conference focused on contributions to the field of computer-aided verification.
  • Samin joined Microsoft Research in April 2008, and he is now a principal research software development engineer in the Programming Principles and Tools group at Microsoft’s Cambridge, UK, research lab.  He is currently working on Project Everest, and in addition to SLAyer –  the tool that implemented some of the ideas responsible for the CAV award –  he has worked on a number of projects including, TERMINATOR, Bio Model Analyzer, and Static Driver Verifier.  Samin has a Master’s in Engineering from Imperial College London, and a PhD in Dependent Type Theory from Queen Mary University of London.
  • Hanna Wallach
    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.
  • Aaron Sidford
    ACM Doctoral Dissertation Award Honorable Mention. For his dissertation, “Iterative Methods, Combinatorial Optimization, and Linear Programming Beyond the Universal Barrier,” which provides the first theoretical improvements in decades for multiple classic problems ranging from linear programming to linear system solving to maximum flow.
  • Robert Schapire
    Member, National Academy of Sciences. For distinguished and continuing achievements in original research.
  • Yuval Peres
    Foreign Associate, National Academy of Sciences. For distinguished and continuing achievements in original research.
  • Adam Fourney
    Bill Buxton Dissertation Award. Given annually for the best doctoral dissertation completed at a Canadian university in the field of Human-Computer Interaction.
  • Cynthia Dwork
    American Philosophical Society, Mathematical and Physical Sciences. Elected to join the first learned society of the United States, founded by Benjamin Franklin, which promotes useful knowledge in the sciences and humanities through excellence in scholarly research, professional meetings, publications, library resources, and community outreach.
  • Simon Peyton Jones
    Fellow, Royal Society. For his pioneering work on functional programming languages and as lead designer of the Glasgow Haskell Compiler, and for his pivotal role in the complete reform of computer science teaching in England in 2014.
  • Eric Horvitz
    ACM-AAAI Allen Newell Award. For contributions to artificial intelligence and human-computer interaction spanning the computing and decision sciences through developing principles and models of sensing, reflection, and rational action.
  • Victor Bahl
    ACM SIGMOBILE Test of Time Paper Award for RADAR: An in-building RF-based user location and tracking system. RADAR was a pioneering system for locating and tracking mobile devices using wireless LAN technology. It anticipated not only the Wi-Fi-based indoor localization solutions widely used by our mobile devices today, but also the growing interest in exploiting wireless infrastructure for goals beyond communications.
  • Venkat Padmanabhan
    ACM SIGMOBILE Test of Time Paper Award for RADAR: An in-building RF-based user location and tracking system. RADAR was a pioneering system for locating and tracking mobile devices using wireless LAN technology. It anticipated not only the Wi-Fi-based indoor localization solutions widely used by our mobile devices today, but also the growing interest in exploiting wireless infrastructure for goals beyond communications.
  • James Scott
    ACM SIGMOBILE Test of Time Paper Award for Place lab: Device positioning using radio beacons in the wild. Place Lab was a seminal effort to achieve accurate localization of mobile devices using existing infrastructure and directly informed techniques that have come to be used in billions of mobile devices.
  • Wolfram Schulte
    IEEE Computer Society 2016 Harlan D. Mills Award. For research and research leadership contributions that have led to major theoretical and practical advances in software verification.
  • Yong Rui
    IEEE Computer Society 2016 Technical Achievement Award. For his pioneering contributions to multimedia analysis and retrieval.
  • Jennifer Tour Chayes
    Honorary Doctorate from Leiden University for numerous breakthroughs in the study of phase transitions, in particular percolation theory and the theory of particle systems.

2015

  • Sudipta Sengupta
    Fellow, IEEE. For contributions to network design, routing and applications to Internet backbone, data centers, and peer-to-peer systems.
  • 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ò.
  • Mary Czerwinski
    Fellow, Association for Computing Machinery. For contributions to human-computer interaction and leadership in the CHI community.
  • Cynthia Dwork
    Fellow, Association for Computing Machinery. For contributions to the science of database privacy, cryptography and distributed computing.
  • Sriram Rajamani
    Fellow, Association for Computing Machinery. For his contributions to software analysis and defect detection.
  • Ratul Mahajan
    Distinguished Scientist, Association for Computing Machinery. For significant accomplishments or impact within the computing field.
  • Nachi Nagappan
    Distinguished Scientist, Association for Computing Machinery. For significant accomplishments or impact within the computing field.
  • Li Deng
    IEEE Signal Processing Society Technical Achievement Award. For outstanding contributions to deep learning and to automatic speech recognition.
  • 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.
  • 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.
  • 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.
  • 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.
  • Luca Cardelli
    ACM SIGPLAN Programming Languages Achievement Award. For significant and lasting contributions to the field of programming languages.
  • George Varghese
    Distinguished Alumnus Award, Indian Institute of Technology Bombay. For Technology Innovation Excellence.
  • Kristin Lauter
    Fellow of the American Mathematical Society. For contributions to arithmetic geometry and cryptography as well as service to the community.
  • 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.
  • 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).
  • 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).
  • Zuzana Kukelova
    ERCIM Cor Baayen Award (best young European computer-science researcher)
  • Jamie Shotton
    Recipient, TR35 2015. For young innovators whose inventions and research are deemed most exciting by the editors of Technology Review.
  • 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.
  • 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.
  • 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.
  • Jeannette Wing
    Association for Computing Machinery Distinguished Service Award. For helping the computing community articulate the promise of computation to broad audiences.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  •  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.

2014

  • 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.
  • Susan Dumais
    British Computer Society Tony Kent Strix Award. For outstanding contributions to the field of information retrieval.
  • Ryen White
    British Computer Society Karen Spärck Jones Award. For outstanding early career research in information retrieval and natural language processing.
  • Andrew Blake
    Presented the prestigious American Mathematical Society Gibbs Lecture.
  • Leslie Lamport
    Fellow, Association for Computing Machinery. For contributions to the theory and practice of distributed and concurrent systems.
  • Eric Horvitz
    Fellow, Association for Computing Machinery. For contributions to artificial intelligence and human-computer interaction.
  • Madhu Sudan
    Infosys Prize 2014, Mathematical Sciences. For seminal contributions to probabilistically checkable proofs and error-correcting codes.
  • Judith Bishop
    Distinguished Educator, Association for Computing Machinery. For individual contributions and singular impact on the field of computing.
  • 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.
  • 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.
  • Hanna Wallach
    Selected as one of 35 Women Under 35 Who Are Changing the Tech Industry, by Glamour magazine.
  • 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.
  • Baining Guo
    Member, Canadian Academy of Engineering. For distinguished achievements and career-long service to the engineering profession.
  • George Varghese
    2014 SIGCOMM Award. For sustained and diverse contributions to network algorithms, with far-reaching impact in both research and industry.
  • 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.
  • 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.”
  • Jamie Shotton
    IEEE Pattern Analysis and Machine Intelligence Young Researcher Award. For outstanding early career research contributions.
  • 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.
  • Cynthia Dwork
    Member, National Academy of Sciences. For distinguished and continuing achievements in original research.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • Chuck Thacker
    Microsoft Career Achievement Award, given to an individual for exceptional contributions to the technology industry across the span of a career.
  • 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.
  • 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.
  • 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.

2013

  • Victor Bahl
    Outstanding Leadership and Professional Service Award, Institute of Electrical and Electronics Engineers Region 6.
  • Luca Cardelli
    Awarded a Royal Society Research Professorship in the Department of Computer Science, University of Oxford.
  • Yu Zheng
    Recipient, TR35 2013. For young innovators whose inventions and research are deemed most exciting by the editors of Technology Review.
  • Zhengyou Zhang
    Fellow, Association for Computing Machinery. For contributions to computer vision and multimedia.
  • Dilek Hakkani-Tür
    Fellow, IEEE. For contributions to spoken language processing.
  • Yongguang Zhang
    Fellow, IEEE. For contributions to software radio technology.
  • 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.
  • Zhengyou Zhang
    Helmholtz Prize, from the International Conference on Computer Vision. For Flexible Camera Calibration By Viewing a Plane From Unknown Orientations.
  • 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.
  • Rick Rashid
    Honorary doctoral degree from the University of Science and Technology of China, under the jurisdiction of the Chinese Academy of Sciences.
  • 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.
  • Saleema Amershi
    2013 Distinguished Dissertation Award, from the University of Washington Graduate School. For Designing for Effective End-User Interaction with Machine Learning.
  • Johannes Kopf
    Eurographics Young Researcher Award 2013. For young researchers who have already made a significant contribution to the field of computer graphics.
  • 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.
  • 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.
  • Duncan Watts
    Lagrange-CRT Foundation Prize. For outstanding scientific contributions to the field of complexity and complex systems in all disciplines.
  • 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.
  • Victor Bahl
    SIGMOBILE (Lifetime Achievement) Outstanding Contributions Award, Association of Computing Machinery.
  • 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.
  • Victor Bahl
    MobiSys 2013 Best Paper Award, Energy Characterization and Optimization of Image Sensing Toward Continuous Mobile Vision.
  • 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.
  • Eric Horvitz
    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.
  • Andrew Blake
    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.”
  • Luca Cardelli
    Rozenberg Tulip Award in DNA Computing. For his research contributions to theory and software for programming biomolecular systems.
  • Andrew Blake
    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.
  • Jonathan Grudin
    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.
  • Michael Freedman
    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.
  • 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.

2011

  • 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.
  • 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.
  • 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).
  • 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.
  • 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.
  • 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 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.”
  • 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.
  • 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.
  • David Lomet
    Fellow, American Association for the Advancement of Science. For meritorious efforts to advance science or its applications.
  • Doug Burger
    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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • Martin Abadi
    Fellow, Association for Computing Machinery. Cited for contributions to computer security and verification of computer systems.
  • Bill Buxton
    Fellow, Association for Computing Machinery. Cited for contributions to the field of human-computer interaction.
  • Roy Levin
    Fellow, Association for Computing Machinery. Cited for contributions to software and systems.
  • 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.

2008

  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.”
  • Leslie Lamport
    John von Neumann Medal, Institute of Electrical and Electronics Engineers. Presented for establishment of the foundations of distributed and concurrent computing.
  • 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.
  • Andrew Blake
    Fellow, Institute of Electrical and Electronics Engineers. Recognized for contributions to the foundations of segmentation and tracking, and innovation in vision applications.
  • Cynthia Dwork
    Member, National Academy of Engineering. For fundamental contributions to distributed algorithms and the security of cryptosystems.
  • Jennifer Chayes
    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.
  • 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.
  • 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.”
  • 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”.
  • 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”.
  • 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.
  • 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.
  • 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
    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.
  • Michael Cohen
    Fellow, Association for Computing Machinery. Cited for contributions to computer graphics and computer vision.
  • Oded Schramm
    Ostrowski Prize. Presented for outstanding achievements in pure mathematics and the foundations of numerical mathematics.
  • 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.
  • 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.
  • Luca Cardelli
    2007 Senior Dahl-Nygaard Prize. Presented annually to a senior researcher with outstanding career contributions.
  • 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.

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.
  • 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.
  • 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.
  • Tony Hoare
    Fellow, Computer History Museum. Presented for his development of the Quicksort algorithm and for lifelong contributions to the theory of programming languages.
  • 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.
  • Chuck Thacker
    2007 John von Neumann Medal. Presented for outstanding achievements in computer-related science and technology.
  • 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.
  • 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.
  • Feng Zhao
    Distinguished Engineer, Association for Computing Machinery
  • Andrew Blake
    Silver Medal, Royal Academy of Engineering, for “outstanding contribution to British engineering and commercial development”
  • Oded Schramm
    George Pólya Prize, from the Society for Industrial and Applied Mathematics
  • Jim Kajiya
    Utah Technology Council Hall of Fame inductee
  • George Robertson
    CHI Academy inductee
  • John Platt
    Technical Achievement Award from the Academy of Motion Picture Arts and Sciences
  • Surajit Chaudhuri
    Fellow of the Association for Computer Machinery
  • Harry Shum
    Fellow, Institute of Electrical and Electronics Engineers
  • Tony Hoare
    Foreign Associate, National Academy of Engineering
  • Jennifer Chayes
    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.
  • Butler W. Lampson
    Member of National Academy of Sciences
  • Andrew Blake
    Fellow, Royal Society
  • Luca Cardelli
    Fellow, Royal Society
  • Susan Dumais
    CHI Academy inductee
  • Trishul Chilimbi
    Participant, 2005 U.S. Frontiers of Engineering program, National Academy of Engineering
  • Jie Liu
    Participant, 2005 U.S. Frontiers of Engineering program, National Academy of Engineering
  • Eric Horvitz
    President-Elect, American Association for Artificial Intelligence
  • Manuel Costa
    ComputerWorld Horizon Award
  • Milan Vojnovic
    ERCIM Cor Baayen Award (best young European computer-science researcher)
  • Shuvendu Lahiri
    ACM Outstanding Ph.D. Dissertation Award in Electronic Design Automation

2004

  • Surajit Chaudhuri
    Association for Computing Machinery Special Interest Group on Management of Data Contributions Award. For creating and maintaining the conference management tool.
  • Henrique Malvar
    Wavelet Pioneer Award, from the Society of Photographic Instrumentation Engineers. For development of lapped transforms and contributions to multiresolution signal processing.
  • 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
  • Li Deng
    Fellow, Institute of Electrical and Electronics Engineers
  • Rick Szeliski
    Fellow, Institute of Electrical and Electronics Engineers
  • Zhengyou Zhang
    Fellow, Institute of Electrical and Electronics Engineers
  • Luca Cardelli
    Fellow of the Association of Computing Machinery
  • Paul Larson
    Fellow of the Association of Computing Machinery
  • Simon Peyton-Jones
    Fellow of the Association of Computing Machinery
  • Mike Schroeder
    Fellow of the Association of Computing Machinery
  • 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
  • Christopher M. Bishop
    Fellow of The Royal Academy of Engineering
  • Xuedong Huang
    Top 10 Leader in the Speech Industry
  • Li Deng
    Fellow of the Acoustical Society of America
  • Jonathan Grudin
    CHI Academy (CHI Fellow)
  • Hugues Hoppe
    Computer Graphics Achievement Award from ACM SIGGRAPH
  • Butler Lampson
    Draper Prize
  • Gary Starkweather
    National Academy of Engineering
  • Chuck Thacker
    Draper Prize

2003

  • Alex Acero
    Fellow, Institute of Electrical and Electronics Engineers
  • Victor Bahl
    ACM Fellow
  • Phil Bernstein
    Elected to the National Academy of Engineering
  • Philip Chou
    Fellow, Institute of Electrical and Electronics Engineers
  • Laci Lovasz
    John von Neumann Medal
  • David Lomet
    Fellow, Institute of Electrical and Electronics Engineers
  • 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
  • Jennifer Chayes
    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
  • 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

  • Darko Kirovski
    ACM Outstanding PACM Outstanding Ph.D. Dissertation Award in Electronic Design Automation
  • 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”
  • 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

  • Xuedong Huang
    Fellow, Institute of Electrical and Electronics Engineers
  • 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
  • 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
  • Ya-Qin Zhang
    Institute of Electrical and Electronics Engineers Jubilee Golden Medal Award
  • Hongjiang Zhang
    ACM Service 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
  • 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.
  • Yuri Gurevich
    Research Excellence Award, University of Michigan College of Engineering

1997

  • Henrique Malvar
    Fellow, Institute of Electrical and Electronics Engineers. For extraordinary accomplishments deemed fitting of this prestigious grade elevation.
  • Yuri Gurevich
    Research Excellence Award, University of Michigan College of Engineering

1996

  • Victor Bahl
    Digital Equipment Corp. Doctoral Engineering Fellowship Award
  • Jim Blinn
    MacArthur Fellow
  • Yuri Gurevich
    Faculty Recognition Award, University of Michigan

1995

1994

  • 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.
  • Victor Bahl
    Digital Equipment Corp. Doctoral Engineering Fellowship Award
  • Yuri Gurevich
    Teaching Excellence Award, University of Michigan EECS Department