Awards and honors

Awards and honors

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

Awards

2018

  • Victor Bahl, Michael J. Sinclair

    Victor Bahl, Eugene Shih, and Michael J. Sinclair received a SIGMOBILE Test-of-Time award for their paper on reducing mobile device battery consumption entitled: “Wake on Wireless: An Event Driven Energy Saving Strategy for Battery Operated Devices,” published in ACM MobiCom in 2002.

  • This award recognizes papers that had a significant impact to the SIGMOBILE community over at least a decade. Their paper pioneered the idea of separating data and control channels to minimize overall energy consumption, and the design in the paper was turned into an IEEE 802.11ba standard. Not only was their rigorous experimental approach influential in the mobile computing community, this paper was instrumental in making the smartphone possible.
  • Ranveer Chandra

    Ranveer Chandra received a 2018 Geospatial World Excellence Award at the Geospatial World Forum in Hyderabad, India, for the FarmBeats AI & IoT Agriculture project. The forum is the world’s largest annual gathering of the geospatial community – people who build and use technologies that collect and analyze data about the Earth. The award recognizes FarmBeats’ exemplary use of geospatial tools to cost-efficiently increase global food production via data-driven agriculture.

  • FarmBeats uses TV white spaces, a technology that relies on unused television spectrum, to connect streams of farm data from drones, helium balloons and soil-moisture and pH sensors to analytics tools running locally and in the cloud. “We are building an AI and IoT system for agriculture in the sense that we have come up with new ways to capture a lot of data that previously wasn’t getting captured, to transfer data at very low cost and then, once you have this additional data, applying new machine learning algorithms to make sense of that data,” said Chandra.
  • Jennifer Chayes

    Jennifer Chayes, a Technical Fellow and Managing Director of three Microsoft Research labs (New England, NYC, and Montreal), received the Massachusetts Technology Leadership Council’s (MassTLC) Distinguished Leadership Award.

  • Chayes received the award for her leadership in the areas of machine learning and computational biology. The author of more than 140 academic papers and holder of over 30 patents, she is one of the inventors of the field of graphons, which are widely used in machine learning.
  • Susan Dumais

    Susan Dumais, a leading researcher at the intersection of information retrieval and human-computer interaction, and significant contributor to Microsoft’s search technologies, received the SIGIR 2018 Test of Time Award for the paper entitled Improving Web Search Ranking by Incorporating User Behavior Information. Co-authored by Eugene Agichtein and Eric Brill, it was presented at SIGIR 2006.

  • The SIGIR Test of Time Award recognizes influential research, selected from papers presented 10-12 years previously. This was first paper to systematically combine behavioral interaction signals such as queries and clicks with content matching in a learned web ranking function. The results showed that web search results are much more relevant when user interaction behaviors and feedback are incorporated. Today, user behaviors are an important signal in improving a wide range of web services.
  • Susan Dumais

    Susan Dumais received the Conference on Information and Knowledge Management (CIKM) 2017 inaugural Test of Time Award for being the first author of the paper Inductive Learning Algorithms and Representations for Text Categorization, along with John Platt, David Heckerman, and Mehran Sahami, first published in the Proceedings of CIKM 1998. Eligible papers are those presented at CIKM 2007 or earlier.

  • “This was one of the first research projects that I worked on at Microsoft,” said Dumais. The research compared the effectiveness of five different automatic learning algorithms for text categorization and identified that linear Support Vector Machines (SVMs) were particularly promising because they are accurate, and fast to train and evaluate. This was one of the first papers to combine text mining and machine learning to improve text categorization, and it inspired many other efforts in this area.
  • Roland Fernandez, Bongshin Lee

    George Robertson, Danyel Fisher, Bongshin Lee, John Stasko, and Roland Fernandez received the 2018 Test of Time Award from the IEEE Information Visualization (InfoVis) conference for their 2008 paper, Effectiveness of Animation in Trend Visualization. This award identifies the paper that is most relevant today from those presented at InfoVis ten years ago.

  • Said Fernandez, senior researcher at Microsoft Research, “Our study confirmed that well-presented animations of multidimensional trend data can be an effective tool in engaging audiences and explaining key points. It also revealed that trace and small multiple static views can improve the speed and accuracy of analysis tasks.”
  • Basically, the research compared trend visualization methods to identify trade-offs between ease of analysis and impact of presentation. It has become a model for measuring the efficacy of emerging visualization methods.
  • Butler Lampson

    Butler Lampson, a computing legend and Microsoft researcher who helped create the world’s first personal computer, tablets, printers and word processing programs, was invited to join The Royal Society – the UK’s national science academy, with a fellowship of more than 1,600 of the world’s most eminent scientists – as a foreign member.

  • The invitation to join The Royal Society is the latest honor in a life decorated with awards, including the A.M. Turing Award in 1992. Lampson is also a member of the National Academy of Sciences, the National Academy of Engineering and a Fellow of the Association for Computing Machinery and the American Academy of Arts and Sciences. Learn more about his life and accomplishments on Microsoft Story Labs.
  • Meredith Ringel Morris

    Meredith (Merrie) Ringel Morris, a Principal Researcher and Research Manager at Microsoft Research, received the UIST 2018 Lasting Impact Award for her 2007 paper, co-authored by Eric Horvitz, entitled: “SearchTogether: An interface for collaborative web search.”

  • The award was presented at the 31st ACM User Interface Software and Technology Symposium, held in Berlin, Germany, October 14-17, 2018 (watch the video). Morris’ 2007 paper introduced a prototype of a collaborative searching function that enables groups of remote users to synchronously or asynchronously collaborate, supporting awareness, division of labor and persistence of search queries and results.
  • Morris, who heads the Microsoft’s Ability research group, is also an affiliate professor in the Paul G. Allen School of Computer Science & Engineering at the University of Washington.
  • Jaime Teevan, Stefan Saroiu, and Jingdong Wang

    Jaime Teevan, Stefan Saroiu, and Jingdong Wang have been named Distinguished Members of the Association for Computing Machinery (ACM) for their significant contributions that have revolutionized how we live, work and play. This is an important honor as the ACM Distinguished Member program recognizes up to 10 percent of ACM worldwide membership based on professional experience as well as significant achievements in the computing field. Both Stefan and Jingdong received the award for their Outstanding Engineering Contributions to Computing and Jaime for her Outstanding Scientific Contributions to Computing.

  • Duncan Watts

    Duncan Watts is among seven people elected as an inaugural Fellow of the Network Science Society. The organization serves and represents a research community that coalesced around Watts’ pioneering research that mathematically explains why everyone is within “six degrees of separation” from the President of the United States, or the actor Kevin Bacon.

  • The research, published in 1998, shows “why you should really expect this ‘small-world’ principle to be true and not a weird anomaly,” Watts said. What’s more, he added, the mathematical explanation applies to all kinds of networks and has implications for what happens on networks, from the synchronization of oscillators to the spread of diseases and financial crises.
  • Watts’ research career has since evolved to explaining the dynamics of social search and influence on social networks. “You put a bunch of people together and they become something other than just a bunch of people; they become a firm, or a market, or a culture, or a political party,” he said. “All of these entities have properties that can’t be reduced to the people in them. How that happens has always been the puzzle that I have been getting at in various ways.

 

2017

  • Sharad Agarwal, Meredith Ringel Morris, and Thomas Zimmermann

    The Association for Computing Machinery, the world’s largest computing society, named Sharad Agarwal, Meredith Ringel Morris and Thomas Zimmerman to the 2017 class of ACM Distinguished Members for their outstanding contributions to the fields of computing and information technology.

  • Agarwal is a mobility and networking researcher who has made contributions to several areas, including wireless data traffic management, latency in multiplayer gaming and geo-distributed online services. Morris conducts research in the areas of human-computer interaction, computer-supported cooperative work, social computing and accessibility. Zimmermann is an empirical software engineering researcher focused on improving programming productivity.
  • Victor Bahl

    Victor Bahl, distinguished scientist and director of mobile and networking research at Microsoft’s research lab in Redmond, Washington, received the 2018 IEEE Koji Kobayashi Computers and Communications Award for contributions to broadband wireless systems. His contributions include the development of Wi-Fi hotspots, multi-radio wireless mesh networks, TV white spaces and other technologies that have delivered affordable internet access to billions of people around the world. “Internet access is a big deal for me,” said Bahl. “The information divide between those who have it and those who don’t leads to an economic divide, which is the source of many serious societal problems.”

  • Bahl pioneered Wi-Fi technology at Microsoft, building a wireless network for the company in 1997. In 1999, he deployed the world’s first free public Wi-Fi hotspot at a shopping center near Microsoft headquarters in Redmond. He also built an indoor-GPS system based on mapping Wi-Fi signals to create a radio frequency database that allows users to infer position based on signal strength.
  • Other efforts to increase affordable broadband wireless access include the development of wireless mesh networks, which allow neighbors to connect their home Wi-Fi networks together to allow greater community access. His work in TV white spaces, which enables broadband internet communications on unused spectrum, was influential on U.S. government communications policy to make the unused spectrum available to the public. A key to his success on these and other projects, he said, is to “take a holistic view,” including user demographics, government regulations and policies, and business needs, and then build the technologies. “Do whatever it takes.”
  • Chris Bishop

    Chris Bishop, a world-renowned expert in artificial intelligence and machine learning, was elected a Fellow of the Royal Society, the oldest scientific academy in continuous existence. The Royal Society was founded in the 1660s to recognize, promote and support excellence in science and to encourage the development and use of science for the benefit of humanity.

  • Adding an expert in artificial intelligence to the society’s ranks “reflects the emergence of machine learning as the most transformational technology in computing,” said Bishop. “Machine learning underpins the current excitement around artificial intelligence.” As a fellow, he plans to work on public engagement around machine learning.
  • A.J. Brush

    A. J. Brush received the 2017 Alumni Achievement Award from the Paul G. Allen School of Computer Science and Engineering at the University of Washington. Brush is a human-computer interaction researcher with a love for building experimental platforms and prototypes that enable researchers to live in the imagined future. In 2004, for example, she built and field tested a prototype of a computer for the kitchen that users can interact with using their voices.

  • From 2012 to 2015, Brush co-led the Lab of Things, a platform for performing experimental research on devices and sensors used in homes to help people with everything from energy management to healthcare monitoring.
  • Currently, Brush is embedded with the Cortana group at Microsoft where she is applying her research to technologies that enable hands-free interaction with the digital personal assistant across devices and platforms. Examples include technologies that allow use of Cortana above the lock screen of personal computers and the Invoke, the upcoming Harman Kardon smart speaker that is powered by Cortana. “It is awesome to see people use stuff that you’ve made,” noted Brush.
  • Jonathan Carlson

    The HIV Vaccine Trials Network honored Jonathan Carlson with an inaugural Bonnie Mathieson Young Investigator Award for his leading role in research that leveraged machine learning and the trials network’s data to show how HIV variants that are pre-adapted to an individual’s immune response lead to more rapid disease progression than other variants. The finding suggests that HIV finds and exploits predictable holes in the immune system and supports efforts to develop vaccines that target relatively conserved regions of the virus.

  • To perform the research, Carlson and his colleagues developed a method to measure the extent of adaptation of an HIV strain to a person’s potential immune response and used this metric to predict the rate of disease progression in that person. The findings were published June 22, 2016, in Nature Medicine. The HIV Vaccine Trials Network Bonnie Mathieson Young Investigator Award recognizes young investigators who have published an outstanding first author, co-first author, or senior author paper with the network in the previous year. Bonnie Mathieson is a strong advocate for the HIV vaccine field within the NIH Office of AIDS Research.
  • Henry Cohn

    The American Mathematical Society honored Henry Cohn with the 2018 Levi I. Conant Prize for his article, “A Conceptual Breakthrough in Sphere Packing,” which was published in the February 2017 issue of the Notices of the AMS. The annual award recognizes the best expository paper published in either the Notices of the AMS or the Bulletin of the AMS.

  • The sphere packing problem concerns how to put the maximum number of spheres, or balls, of a given size in a high-dimensional space. The problem is intuitively simple to describe, but mathematically challenging to analyze. Cohn’s article tells the story behind Ukrainian mathematician Maryna Viazovska’s solution to the sphere packing problem in eight dimensions and how Cohn, Viazovska and colleagues subsequently used similar ideas to solve the sphere packing problem in 24 dimensions .
  • “Why should we care about the sphere packing problem?” Cohn writes in his award-winning article. “Two obvious reasons are that it is a natural geometric problem in its own right and a toy model for granular materials. A more surprising application is that sphere packings are error-correcting codes for a continuous communication channel.”
  • Susan Dumais

    Susan Dumais and colleagues received the Test of Time Award from the Association for Computing Machinery Special Interest Group on Information Retrieval (SIGIR) for their 1988 paper, Information Retrieval Using a Singular Value Decomposition Model of Latent Semantic Structure. The paper describes a method for automatic indexing and retrieval of information by learning a representation that accounts for relationships between synonyms such as doctor and physician as well as distinguishes between different meanings of the same words such as crane, which is both a bird and tool. Search queries using the method return more robust and relevant results than methods that use exact word matches in documents.

  • “Words like doctor and physician, even though they might never occur in the same document, do occur within similar contexts, for example things like a person in the hospital or a patient in an emergency,” said Dumais. “The system automatically learns what words are related to each other by the company they keep.” The concepts described in the paper “continue to resonate within the information retrieval, natural language processing and machine learning communities,” noted the Association for Computing Machinery in a special issue of the SIGIR Forum. Dumais shares the award with co-authors George Furnas, Scott Deerwester, Thomas Landauer, Richard Harshman, Lynn Streeter, and Karen Lochbaum.
  • 2017 Gödel Prize

    The 2017 Gödel Prize for outstanding paper in theoretical computer science was awarded to Cynthia Dwork along with former Microsoft Research colleagues Frank McSherry, Kobbi Nissim and Adam Smith for “Calibrating Noise to Sensitivity in Private Data Analysis.” The paper describes a method that allows users of statistical databases to learn details about populations as a whole while protecting the privacy of individuals in the population. The research, which was done at Microsoft’s Silicon Valley research lab, is foundational to ongoing work in the field of differential privacy. Dwork describes differential privacy as “a definition of privacy tailored to privacy-preserving data analysis.”

  • A preliminary version of the paper was presented at the Third Theory of Cryptography Conference in 2006 and formally published in the Journal of Privacy and Confidentiality, Volume 7, Issue 3, 2016. The Gödel Prize is named in honor of Kurt Gödel, who had an immense impact on scientific and philosophical thinking in the 20th century. The European Association for Theoretical Computer Science and the Association for Computing Machinery Special Interest Group on Algorithms and Computational Machinery jointly sponsor the annual prize.
  • High Efficiency Video Coding

    High Efficiency Video Coding, a technology standard that helps deliver ultra-high definition video to everything from smartphones to stadium displays, received a 2017 Primetime Engineering Emmy Award from the Academy of Television Arts & Sciences. Gary Sullivan, who works on these standards as an engineer with Microsoft’s research organization, serves as co-chair of the Joint Collaborative Team on Video Coding, which developed the standard. Learn more about the award here.

  • Hsiao-Wuen Hon

    The Beijing Municipal Government presented a 2014-2016 Great Wall Friendship Award to Hsiao-Wuen Hon, corporate vice president of Microsoft, chairman of Microsoft Asia-Pacific R&D group and managing director of Microsoft Research Asia. Hon was chosen for extraordinary contributions in the fields of science and technology research, talent cultivation, university cooperation, environmental protection, intelligent cities and the construction of the innovation ecosystem. The award is also a recognition of Microsoft’s contributions to developing Beijing into a global center for scientific and technological innovation.

  • Eric Horvitz

    Eric Horvitz was elected a Fellow of the American College of Medical Informatics for making significant and sustained contributions to the field of medical informatics. The field of medical informatics harnesses data gathered throughout health and healthcare to improve outcomes, lower costs, increase safety and promote the use of high-quality services.

  • Kori Inkpen

    The 2017 Canadian Human Computer Communications Society Achievement Award was presented to Kori Inkpen at Graphics Interface 2017 for her many contributions to the field of human-computer interaction. Throughout her career, Inkpen’s work has focused on the design and evaluation of computer tools that support collaborative activity for children and adults. She is also a strong advocate and mentor for young women in computer science.

  • As a doctoral student at the University of British Columbia, she studied how multiplayer computer games could encourage children to learn about math and science, and how subtle changes in the user interface could affect the nature of the collaboration. The work sparked a long-term interest in studying how children use technology, which informs the design of user interfaces for both children and adults.
  • As a professor at Simon Fraser University and, later, Dalhousie University, she studied collaboration technologies such as multi-user tabletops and techniques for collaboration across multi-display environments such as handheld and wall-mounted displays. In 2008, she joined Microsoft Research, where she studies collaboration technologies across domains including work, home, education, healthcare and fun. She is currently investigating the potential of live video streaming to connect people in new ways.
  • Simon Peyton Jones

    The British Computer Society honored Simon Peyton Jones with the Distinguished Fellowship award for outstanding contributions to the advancement of computing. Peyton Jones has played a leading role since 1987 in the definition of Haskell, an advanced, purely functional programming language used by researchers and industry worldwide. The Distinguished Fellowship award is primarily for his efforts to advance the development of computer science education in the United Kingdom, according to the British Computer Society.

  • In 2008, Peyton Jones established Computing at School, an organization that promotes the teaching of computer science as a formal 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. “It is hugely significant that now all children in England will be introduced to the principles and discipline of computer science,” the Distinguished Fellowship award citation reads. “Simon’s foresight and expertise has placed England at the forefront of this issue throughout the world.”
  • The British Computer Society has awarded 31 Distinguished Fellowships since 1971, and other recipients include Grace Hopper and Bill Gates.
  • John Krumm

    John Krumm received a 10-Year Impact Award for his 2007 paper, Inference Attacks on Location Tracks, at the 2017 ACM Ubicomp Conference, a gathering of experts in pervasive and ubiquitous computing. The paper exposed real-world privacy vulnerabilities associated with GPS-enabled devices and spurred ongoing research efforts to design useful location-based technologies and services that simultaneously protect the privacy of individual users.

  • For the paper, Krumm successfully developed and deployed attack techniques to infer the identities of real people from anonymized, raw GPS data and then attempted to thwart these types of attacks with various data-corruption techniques thought to protect location privacy. “The bottom line was you had to corrupt the data so much to stop the attacks from working that the data wasn’t terribly useful anymore,” said Krumm. “That was a surprise and a good lesson.”
  • The paper is widely cited and routinely used in university courses that teach location privacy, he noted. Securing location privacy, he added, remains an area of active research. “That is partly because the public’s concerns over location privacy have yet to catch up to the real risks,” he said. Risks include economic harm, unwelcome advertisements, embarrassing revelations and stalkers.
  • Leslie Lamport

    Leslie Lamport received an honorary degree from Brandeis University, where he earned both his master’s (’63) and PhD (’72) in mathematics. Lamport’s pioneering work in principled distributed computing includes the development of protocols that allow computer systems to cooperate, avoid errors and resolve confusion, the university noted. The work is foundational to the Internet and cloud computing platforms.

  • Lamport is well known in computing circles for the Paxos algorithm, which guarantees the safety of computer code shared by multiple networks, including unreliable systems. Lamport is also the initial developer of the document-preparation system LaTeX, which is widely used in academia. Among many other distinctions and honors, Lamport received the 2013 A.M. Turing Award, known as the Nobel Prize of computing.
  • Jennifer Listgarten and Nicolo Fusi

    The Cambridge Chamber of Commerce in Massachusetts honored Jennifer Listgarten, Nicolo Fusi and their colleague John Doench at the Broad Institute of MIT and Harvard with a 2017 Visionary Award for their application of machine learning techniques to improve the accuracy and efficiency of CRISPR, a gene-editing technology that is transforming industries from healthcare to agriculture.

  • Project Catapult

    Technology news website GeekWire named Microsoft’s Project Catapult the Innovation of the Year at its 2017 GeekWire Awards ceremony. The initiative “puts the company at the forefront of field programmable gate arrays, of FPGAs,” according to GeekWire. The technology is at the heart of what Microsoft calls “the world’s first hyperscale AI supercomputer.”

  • Seeing AI

    The Northwest Access Fund honored the Seeing AI project team with the Best Practices Award for a Large Business. Seeing AI is a smartphone camera application for the blind and low-vision community that harnesses the power of artificial intelligence to turn the visual world into an audible experience with descriptions of people, texts and objects.

  • The Northwest Access Fund provides financial assistance to people with disabilities in Washington and Oregon to purchase assistive technology. The fund’s recognition of Seeing AI validates Microsoft’s initiative to empower people to be more independent, noted Anirudh Koul, a senior data scientist with Microsoft AI & Research and project lead for Seeing AI.
  • Peng Shi

    The Association for Computing Machinery Special Interest Group on Electronic Commerce (ACM SIGecom) honored Microsoft post-doctoral researcher Peng Shi with the 2017 SIGecom Doctoral Dissertation Award for his dissertation, “Prediction and Optimization in School Choice,” submitted to the Massachusetts Institute of Technology Sloan School of Management in 2016. The research explores how data-driven optimization can better match students to public schools according to their preferences. “It is an important problem because everyone wants their child to go to the best school for them, but it is a difficult problem because resources like good schools and transportation are limited,” said Shi.

  • The dissertation builds on research Shi conducted in 2013 to help improve school choice in Boston by exploring methods to predict choice behavior of parents. A key question was how to optimize plans in such a way that they present parents with the best choices for their children while at the same time promote neighborhood cohesion and limit transportation costs. Shi said the research is helping to improve school choice, but the underlying problem of school quality persists. “Better assignment is not magic,” he said. “We still need good teachers.”
  • As a post-doctoral researcher at Microsoft, Shi expanded his work to the system for assigning subsidized housing to city residents with limited means. He presented this research at the 18th ACM Conference on Economics and Computation. Shi plans to continue his research on matching markets as a professor at the USC Marshall School of Business, a position he started in June. James Wright, also a Microsoft post-doctoral researcher, received an honorable mention for the 2017 SIGecom Doctoral Dissertation Award for his dissertation, “Modeling human behavior in strategic settings,” submitted to the University of British Columbia in 2016.
  • Jaime Teevan, Susan Dumais, and Eric Horvitz

    Jaime Teevan, Susan Dumais, and Eric Horvitz received the 2017 Test of Time Award from the Association for Computing Machinery’s Special Interest Group on Information Retrieval for their 2005 paper, Personalizing Search via Automated Analysis of Interests and Activities. The research developed a framework for exploring ways to personalize search results and foreshadows modern search-engine technology that improves the search experience by incorporating information gleaned about individuals from their activity on the internet.

  • The team found that interpreting users’ search queries using contextual cues, such as their location and the time of year, as well as long-term interests and short-term needs inferred from data such as personal search histories, allows a search engine to return more relevant results than when the same results are returned for everyone at every time and in every location. “You can improve a search engine or a recommendation algorithm if you use a variety of contextual factors to better understand the query,” said Dumais.
  • Charles P. Thacker

    The late Charles P. Thacker was honored with the ACM – IEEE CS Eckert-Mauchly Award for fundamental networking and distributed computing contributions. Thacker, known as Chuck to friends and colleagues, designed the Alto, the first modern personal computer with a mouse and graphical user interface, in the early 1970s at Xerox’s Palo Alto Research Center. He also was a key player in the development of Ethernet, a system for connecting computers into a local area network, the first multiprocessor workstation and Microsoft’s Tablet PC. “Often hailed as an ‘engineer’s engineer,’ Thacker made fundamental contributions across the full breadth of computer development,” noted ACM and IEEE CS in an announcement about the recognition.

  • Indrani Medhi Thies

    Indrani Medhi Thies received the 2017 Social Impact Award from the Association for Computing Machinery’s Special Interest Group on Computer-Human Interaction, which recognizes individuals who apply human-computer interaction research to pressing social needs. Thies is a researcher in the Technology for Emerging Markets group in Microsoft’s research lab Bangalore, India, where her primary focus is on user interfaces for low-literate and novice technology users.

  • For example, Thies spent hundreds of hours in the field with low-income, low-literate communities across India, the Philippines and South Africa gathering data for the development of PC and mobile-phone applications that combine voice, video and graphics to help low-literate users secure jobs, obtain health information and make financial transactions. She also pioneered a video search system for low-literate farmers to find and watch agricultural extension videos in their own language and dialect.

2016

  • 2016 ACM Fellows and Distinguished Members

    Eight computer scientists at Microsoft research labs around the world have been honored as Fellows of the Association of Computing Machinery, the world’s largest computing society. The organization also named five Microsoft researchers to their list of Distinguished Members.

  • The honors recognize the individuals’ significant contributions and impact to computer science across a range of disciplines and highlight the “tremendous respect, reputation and visibility of Microsoft researchers in the external scientific and engineering community,” said Jeannette Wing, corporate vice president, Microsoft Research.
  • The ACM Fellows are: Ricardo Bianchini, Xuedong Huang, Ravi Kannan, K. Rustan M. Leino, Venkat Padmanabhan, Ganesan Ramalingam, Abigail Sellen, and Sudipta Sengupta. ACM Distinguished Scientists are Gang Hua, Suman Nath, Tao Mei, and Yu Zheng. Tie-Yan Liu was named an ACM Distinguished Engineer
  • 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.

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

    Philip Bernstein has been named a fellow of the American Association for the Advancement of Science (AAAS). The association’s Section on Information, Computing and Communication selected Bernstein for his distinguished contributions to database systems, particularly data integration and transaction processing, and co-designing the database engine for Microsoft SQL Azure, a commercial database system.

  • Data integration, Bernstein explains, involves the design and development of tools that help computers interpret data that is stored and organized in different ways across multiple databases. Transaction processing allows for the reliable operation of interactive, scalable and fault-tolerant systems such as online banking, e-commerce and servers for interactive games. “I like to do work that has a direct effect on the way computers are used,” says Bernstein, who is among the 391 AAAS members elevated to the rank of fellow this year.
  • 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.

  • DNA Storage

    A collaboration between researchers at Microsoft and the University of Washington to develop a system that uses synthetic DNA as a medium for archiving digital information received a 2016 Popular Science Best of What’s New Award in the Software category. The project team announced in July the successful storage and retrieval of a record 200 megabytes of data on molecular strands of synthetic genetic material that occupied a speck smaller than a pencil tip at the base of a test tube. The feat signaled to the scientific community that a committed multidisciplinary team is on track to realize the promise of DNA storage, according to project participants.

  • Since the 1960s, scientists have considered DNA the ultimate storage medium. It is compact and durable – capable of holding a sprawling data center’s worth of digital information in the space of a few sugar cubes for millennia. Recent breakthroughs from the biotechnology industry in the manipulation of DNA laid the groundwork for the storage project to succeed, the team notes. Going forward, the researchers are focused on automating the process of storage and retrieval from end to end to enable wide adoption of the technology. The award is shared by principal project researchers Karin Strauss and Doug Carmean at Microsoft and Luis Ceze and Georg Seelig at the University of Washington along with two dozen other colleagues across the research and academic organizations.
  • 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.

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

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

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

    The Universal Scientific Education and Research Network recognized Lucas Joppa with the 2016 USERN Prize in Formal Science at a ceremony in Tehran, Iran. The early career award recognizes scientists under the age of 40 for novel advancements or achievements in scientific education, research or serving humanity. USERN was inaugurated in 2015 to promote interdisciplinary science that freely crosses geopolitical borders in the pursuit of knowledge.

  • Joppa is a conservation scientist at Microsoft, where his research focuses on ways to harness the power of computer technology to monitor the pulse of the natural world. His projects range from the development of low power and open source GPS devices for tracking wildlife to the creation of high-resolution maps of ecosystems impacted by human activities. The USERN Prize, he notes, allows him to continue to push for technological innovation through conservation science with an aim to sustain Earth’s natural operating system.
  • Meredith Ringel Morris

    Meredith Ringel Morris received the 2016 10-year impact award at the Association for Computing Machinery International Conference on Interactive Surfaces and Spaces for the paper “Reading Revisited: Evaluating the Usability of Digital Display Surfaces for Active Reading Tasks.” The research compared the use of pen and paper to state-of-the-art hardware and software to accomplish reading tasks common in business settings. The results shaped design guidelines for next-generation reading technologies.

  • “Many factors ultimately influence a design,” notes Morris. “But it is certainly the case that many of Microsoft’s hardware and software products released since this paper came out 10 years ago do adhere to the design guidelines that we suggest in the paper, demonstrating how technology to support active reading has evolved.” For example, Microsoft’s current family of Surface products allow users to annotate digital documents with their fingers, keyboard and stylus – “something we found lacking but desirable in our study 10 years ago,” she says. The award is shared with study co-authors A.J. Bernheim Brush and Brian Meyers.
  • 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.

  • Venkat Padmanabhan

    Venkat Padmanabhan received the 2016 Shanti Swarup Bhatnagar Prize for Engineering Sciences from the Council of Scientific and Industrial Research India for his pioneering work on indoor localization, smartphone-based sensing and mobile communication. The award recognizes outstanding work in science and technology that was primarily conducted in India. Padmanabhan is a principal researcher at Microsoft Research India where he founded the Mobility, Networks and Systems group.

  • Early in his career, Padmanabhan and colleagues designed RADAR, an indoor positioning system that determines a mobile device’s location based on a map of a wireless network’s radio frequency signal strength. In recent years, he and colleagues have built on that research, leveraging data collected by sensors on mobile devices to determine the device’s location and target ads at their users. An ongoing research project involves the development of a system that leverages sensors on smartphones including cameras and accelerometers to monitor drivers and their driving in the context of fleet vehicles such as cabs with a view to improving safety.
  • Padmanabhan’s body of research “has resulted in academic and industry wide impact and also technology transfer to Microsoft’s products,” CSIR noted in the award citation.
  • 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.

  • Yuval Peres

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

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

  • Ant Rowstron

    Ant Rowstron received the 2016 Mark Weiser Award from the Association for Computing Machinery’s Special Interest Group on Operating Systems (SIGOPS). The annual award, notes SIGOPS, honors an individual who has demonstrated creativity and innovation in operating systems research with “contributions that are highly creative, innovative, and possibly high-risk.”

  • Rowstron has made many contributions to the field, including pioneering work on Pastry, a scalable, decentralized system that provides a dictionary-like service for storing and retrieving information known as a distributed hash table, or DHT. His most recent work focuses on datacenter computers, known as rack-scale computers, to try to understand how to build flexible and efficient systems for the future cloud.
  • Yong Rui

    IEEE Computer Society 2016 Technical Achievement Award. For his pioneering contributions to multimedia analysis and retrieval.

  • Robert Schapire

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

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

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

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

  • Jaime Teevan

    Jaime Teevan received the 2016 Karen Spärck Jones award from the British Computer Society Information Retrieval Specialist Group for “technically strong and exceptionally creative contributions to the intersection of information retrieval, user experience and social media.” Teevan, a principal researcher in the Context, Learning and User Experience for Search group, is best known for her work on personalized search, including development of the first personalized search algorithm for Microsoft’s search engine Bing.

  • Her current information-retrieval research focuses on slowing the search process – trading in the gratification of instantaneous search results for high-quality, personally relevant results delivered over extended periods of time. “It is ironic,” she writes, “that a few milliseconds matter so much when over half of our interactions with a search engine involve multiple queries and take minutes or even hours.” Another area of current research is on selfsourcing, a way to breakdown large tasks into tiny microtasks that take seconds to complete, thus helping people productively use snippets of time.
  • 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.
  • 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.

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