Microsoft researchers receive a number of accolades for their contributions to scientific research and commitment to advancing computer science.
Awards
2017
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.”
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.
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.”
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 SGIR Forum. Dumais shares the award with co-authors George Furnas, Scott Deerwester, Thomas Landauer, Richard Harshman, Lynn Streeter and Karen Lochbaum.
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.
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.
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.”
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.
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.
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.”
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.
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
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.
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.
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.
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.
“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.
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.
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.
Bill Thies Bill Thies was named a 2016 Fellow of the John D. and Catherine T. MacArthur Foundation for his work creating communication and digital technologies to advance the social and economic well-being of low-income communities in the developing world. He is a leader in the field of Information and Communication Technologies for Development (ICT4D), which sits at the intersection between technology and global development to make technology more accessible and useful to very low income populations.
Much of Thies’ work at Microsoft’s research lab in Bangalore, India, leverages his computer science expertise to help people living in rural and isolated communities access the benefits of modern healthcare, information flows and social connections. For example, Thies and collaborators created 99DOTS, an initiative that harnesses basic mobile phones to help doctors ensure tuberculosis patients in rural communities complete their full six-month course of medication, thus limiting the spread of drug-resistant strains of the disease. Other initiatives, such as CGNET Swara and IVR Junction, enable voice-based citizen journalism and the ability to record, post and listen to social media content via basic mobile phones.
Simon Peyton Jones and Dimitrios Vytiniotis The two researchers have won the 2016 ACM SIGPLAN Most Influential ICFP Paper Award, which recognizes the impact of a paper presented at the International Conference on Functional Programming (ICFP) 10 years earlier. The paper, “Simple unification-based type inference for GADTs,” describes the design and implementation of a programming language feature that enabled programmers to write more efficient and correct-by-construction code in functional languages such as Haskell. The research was conducted when Vytiniotis was an intern with Peyton Jones at Microsoft’s Cambridge, UK, research lab. The award is shared with co-authors Geoffrey Washburn, who also interned with Peyton Jones, and Stephanie Weirich, a professor at the University of Pennsylvania.
Programmers use “types” to describe different kinds of data, such as numbers or strings. Algebraic data types are used to describe richer data structures such as trees or graphs. Type systems ensure that data of a given type do not get misused as data of another type – which could lead to program crashes. Providing all type annotations in a computer program is tedious and time-consuming, so programming languages often implement algorithms that infer types from the program context, thus reducing the need for programmer-supplied type annotations. These algorithms had to be revisited when Generalized Algebraic Data Types (GADTs) emerged in the early 2000s to describe stronger invariants about structured data. The design described by Peyton Jones, Vytiniotis and colleagues specifies where and when to use type annotations in programs that manipulate GADTs. The system provided the basis of the first implementation of GADTs in the Glasgow Haskell Compiler.
Simon Peyton Jones
Simon Peyton Jones received the 2016 ACM SIGPLAN Programming Languages Achievement Award for his leading role over the past 30 years in the design, implementation and evolution of Haskell and the Glasgow Haskell Compiler (GHC). Haskell is an advanced, purely functional programming language used by researchers and industry worldwide to produce flexible, maintainable high-quality software that runs everything from backend operations at major financial institutions and social media sites to Pandoc, a free and open-source document converter that grew from academic research. Peyton Jones’s many technical contributions to language design and functional language implementation are a driving force behind the success of Haskell and GHC, according to the Association for Computing Machinery.
Beyond his technical expertise, Peyton Jones is widely considered a visionary leader in the field of programming languages as well as a master communicator and champion of computer science education. The top hits on his website, he notes, are to his talks on how to write a great research paper, give a great research talk and write a great grant proposal. But he hopes his biggest impact on society will stem from his work on computing education. He chairs Computing at School, an organization that promotes the teaching of computer science as a subject discipline alongside mathematics and natural science. The group’s advocacy spurred the inclusion of computing in the United Kingdom’s national curriculum from primary school onwards.
Steve Hodges
Steve Hodges and a team of current and former members of Microsoft’s research lab in Cambridge, UK, received the UbiComp 2016 10-year impact award for the paper “SenseCam: A Retrospective Memory Aid.” The paper presents a wearable camera, SenseCam, that takes photos automatically, capturing a digital record of the wearer’s day. Hodges shares the award with paper co-authors Lyndsay Williams, Emma Berry, Shahram Izadi, James Srinivasan, Alex Butler, Gavin Smyth, Narinder Kupur and Ken Woodberry.
Microsoft’s initial research with SenseCam, detailed in the paper, demonstrated the device’s potential as a memory aid for patients with conditions such as amnesia and Alzheimer’s disease: Looking through images previously recorded by SenseCam elicits recall of events that otherwise may have been forgotten. The finding spurred further research around the world on the SenseCam’s potential as a memory aid as well as spawned an international conference series and several commercial products.
Josh Benaloh
Josh Benaloh received the 2016 Pioneer Award in August 2016 from the Electronic Frontier Foundation for his contribution to the “Keys Under Doormats” report. The publication argues against requests from Congress and law enforcement agencies for exceptional access to encrypted data and communications via engineered “backdoors” and other mechanisms. Such mandates are likely to introduce unanticipated and hard to detect security flaws as well as be difficult to govern in a manner that respects human rights and the rule of law, according to the report.
The report was published in July 2015 and coordinated by the MIT Internet Policy Research Initiative. The Pioneer Award is shared by Benaloh’s co-authors, including Harold Abelson, Ross Anderson, Steven M. Bellovin, Matt Blaze, Whitfield Diffie, John Gilmore, Matthew Green, Susan Landau, Peter G. Neumann, Ronald L. Rivest, Jeffrey I. Schiller, Bruce Schneier, Michael Specter, and Daniel J. Weitzner.
Samin Ishtiaq
Samin Ishtiaq will be receiving the 2016 CAV Award for the development of Separation Logic and for demonstrating its applicability in the automated verification of programs that mutate data structures. He is winning this award alongside Josh Berdine, a former Microsoft researcher, as well as Cristiano Calcagno, Dino Distefano, Peter O’Hearn, John Reynolds, and Hongseok Yang. The CAV award will be presented at CAV 2016 in Toronto, a conference focused on contributions to the field of computer-aided verification.
Samin joined Microsoft Research in April 2008, and he is now a principal research software development engineer in the Programming Principles and Tools group at Microsoft’s Cambridge, UK, research lab. He is currently working on Project Everest, and in addition to SLAyer – the tool that implemented some of the ideas responsible for the CAV award – he has worked on a number of projects including, TERMINATOR, Bio Model Analyzer, and Static Driver Verifier. Samin has a Master’s in Engineering from Imperial College London, and a PhD in Dependent Type Theory from Queen Mary University of London.
Hanna Wallach Borg Early Career Award, from the Committee on the Status of Women in Computing Research. For a woman in computer science and/or engineering who has made significant research contributions and who has contributed to her profession, especially in outreach to women.
Adam Fourney Bill Buxton Dissertation Award. Given annually for the best doctoral dissertation completed at a Canadian university in the field of Human-Computer Interaction.
Cynthia Dwork American Philosophical Society, Mathematical and Physical Sciences. Elected to join the first learned society of the United States, founded by Benjamin Franklin, which promotes useful knowledge in the sciences and humanities through excellence in scholarly research, professional meetings, publications, library resources, and community outreach.
Simon Peyton Jones Fellow, Royal Society. For his pioneering work on functional programming languages and as lead designer of the Glasgow Haskell Compiler, and for his pivotal role in the complete reform of computer science teaching in England in 2014.
Eric Horvitz ACM-AAAI Allen Newell Award. For contributions to artificial intelligence and human-computer interaction spanning the computing and decision sciences through developing principles and models of sensing, reflection, and rational action.
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.
Jennifer Tour Chayes Honorary Doctorate from Leiden University for numerous breakthroughs in the study of phase transitions, in particular percolation theory and the theory of particle systems.
2015
Sudipta Sengupta Fellow, IEEE. For contributions to network design, routing and applications to Internet backbone, data centers, and peer-to-peer systems.
Antonio Criminisi
The Marr Prize 2015, which recognizes contributions in the field of computer vision. For Deep Neural Decision Forests, written by Peter Kontschieder, Madalina Fiterau, Antonio Criminisi, and Samuel Rota Bulò.
Mary Czerwinski
Fellow, Association for Computing Machinery. For contributions to human-computer interaction and leadership in the CHI community.
Cynthia Dwork
Fellow, Association for Computing Machinery. For contributions to the science of database privacy, cryptography and distributed computing.
Sriram Rajamani
Fellow, Association for Computing Machinery. For his contributions to software analysis and defect detection.
Ratul Mahajan
Distinguished Scientist, Association for Computing Machinery. For significant accomplishments or impact within the computing field.
Nachi Nagappan
Distinguished Scientist, Association for Computing Machinery. For significant accomplishments or impact within the computing field.
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.
Susan Dumais
ACM SIGIR Test of Time Paper Award. For research that has had long-lasting influence, including impact on a subarea of information retrieval research, across subareas of information retrieval research, and outside of the information retrieval research community (e.g. non-information retrieval research or industry). Presented for Stuff I’ve Seen: A System for Personal Information Retrieval and Re-Use published at SIGIR in 2003.
Ed Cutrell
ACM SIGIR Test of Time Paper Award. For research that has had long-lasting influence, including impact on a subarea of information retrieval research, across subareas of information retrieval research, and outside of the information retrieval research community (e.g. non-information retrieval research or industry).
Gavin Jancke
ACM SIGIR Test of Time Paper Award. For research that has had long-lasting influence, including impact on a subarea of information retrieval research, across subareas of information retrieval research, and outside of the information retrieval research community (e.g. non-information retrieval research or industry).
Zuzana Kukelova
ERCIM Cor Baayen Award (best young European computer-science researcher)
Jamie Shotton
Recipient, TR35 2015. For young innovators whose inventions and research are deemed most exciting by the editors of Technology Review.
Jennifer Chayes
John von Neumann Lecture, Society for Industrial and Applied Mathematics. For leadership in the research community, as well as seminal contributions to the study of phase transitions in both mathematical physics and the theory of computing.
Don Syme
Royal Academy of Engineering Silver Medal. For an outstanding personal contribution to United Kingdom engineering by an early to mid-career engineer resulting in market exploitation.
Jeannette Wing
Association for Computing Machinery Distinguished Service Award. For helping the computing community articulate the promise of computation to broad audiences.
Nikolaj Bjorner
Association for Computing Machinery SIGPLAN Programming Languages Software Award. For creating a highly efficient theorem prover and tool in the SMT (Satisfiability Modulo Theories) class.
Leonardo de Moura
Association for Computing Machinery SIGPLAN Programming Languages Software Award. For creating a highly efficient theorem prover and tool in the SMT (Satisfiability Modulo Theories) class.
Christoph Wintersteiger
Association for Computing Machinery SIGPLAN Programming Languages Software Award. For creating a highly efficient theorem prover and tool in the SMT (Satisfiability Modulo Theories) class.
Susan Dumais
Fellow, American Academy of Arts & Sciences. Elected to join one of the United States’ oldest and most prestigious honorary societies, which includes scholars and practitioners from many disciplines and professions who conduct interdisciplinary, long-term policy research on complex and emerging problems.
Ravi Kannan
Fellow, American Academy of Arts & Sciences. Elected to join one of the United States’ oldest and most prestigious honorary societies, which includes scholars and practitioners from many disciplines and professions who conduct interdisciplinary, long-term policy research on complex and emerging problems.
Rick Rashid
Association for Computing Machinery Software System Award. For the design and engineering of the Mach operating system, whose innovative approaches to virtual memory management and microkernel architecture established a foundation for later operating systems on personal computers, tablets, and mobile phones.
Jade Alglave
Royal Society Brian Mercer Award for Innovation. For work on multiprocessor technology, which led to the development of .cat, a standard verification format for hardware chips.
Eric Horvitz
Association for the Advancement of Artificial Intelligence (AAAI) Feigenbaum Prize. For sustained and high-impact contributions to the field of artificial intelligence through the development of computational models of perception, reflection and action, and their application in time-critical decision making, and intelligent information, traffic, and healthcare systems.
2014
George Varghese
Koji Kobayashi Computers and Communications Award, from the Institute of Electrical and Electronics Engineers. For contributions to the field of network algorithmics and its applications to high-speed packet networks.
Ryen White
British Computer Society Karen Spärck Jones Award. For outstanding early career research in information retrieval and natural language processing.
Andrew Blake
Presented the prestigious American Mathematical Society Gibbs Lecture.
Leslie Lamport
Fellow, Association for Computing Machinery. For contributions to the theory and practice of distributed and concurrent systems.
Eric Horvitz
Fellow, Association for Computing Machinery. For contributions to artificial intelligence and human-computer interaction.
Madhu Sudan
Infosys Prize 2014, Mathematical Sciences. For seminal contributions to probabilistically checkable proofs and error-correcting codes.
Judith Bishop
Distinguished Educator, Association for Computing Machinery. For individual contributions and singular impact on the field of computing.
Peter Lee
Computer Science and Engineering Alumni Merit Award, University of Michigan. In recognition of research, leadership, and service contributions to the field of Computer Science.
Yi-Min Wang
Distinguished Alumni Award, University of Illinois. For contributions to dependable computing and Web security, and leadership in industrial research.
Duncan Watts
Everett M. Rogers Award, from the Annenberg School for Communication and Journalism at the University of Southern California. For graduate-school research that launched the new science of networks.
Hanna Wallach
Selected as one of 35 Women Under 35 Who Are Changing the Tech Industry, by Glamour magazine.
Jun’ichi Tsujii
Funai Achievement Award, presented to a distinguished individual engaged in research or related business activities in the field of information technology who has produced excellent achievements in the field.
Baining Guo
Member, Canadian Academy of Engineering. For distinguished achievements and career-long service to the engineering profession.
George Varghese
2014 SIGCOMM Award. For sustained and diverse contributions to network algorithms, with far-reaching impact in both research and industry.
Ratul Mahajan
ACM SIGCOMM Test of Time Paper Award. For papers published 10-12 years ago in Computer Communication Review or any SIGCOMM sponsored or co-sponsored conference that is deemed to be an outstanding paper whose contents are still a vibrant and useful contribution today. Presented for Measuring ISP Topologies with Rocketfuel, by Neil Spring, Mahajan, and David Wetherall.
Parikshit Gopalan, Cheng Huang, Huseyin Simitci, and Sergey Yekhanin
IEEE Communications Society & Information Theory Society Joint Paper Award. For outstanding papers published in any publication of the Communications Society or the Information Theory Society within the previous three calendar years. Presented for On the Locality of Codeword Symbols.
Sumit Gulwani
Robin Milner Young Researcher Award, from the Association for Computing Machinery’s Special Interest Group on Programming Languages. For being a “highly motivated, creative, and inter-disciplinary researcher whose vision is to empower computer users around the world to be more productive and educated.”
Jamie Shotton
IEEE Pattern Analysis and Machine Intelligence Young Researcher Award. For outstanding early career research contributions.
Jaron Lanier
Peace Prize of the German Book Trade, from the German Publishers and Booksellers Association. For consistently and effectively spotlighting the threats our open society faces when deprived of the power to control its own progress and development.
Cynthia Dwork
Member, National Academy of Sciences. For distinguished and continuing achievements in original research.
Nikhil Srivastava, Adam W. Marcus, and Daniel A. Spielman
George Pólya Prize, from the Society for Industrial and Applied Mathematics. For a notable contribution in areas of interest to George Pólya, such as approximation theory, complex analysis, number theory, orthogonal polynomials, probability theory, or mathematical discovery and learning.
Jaime Teevan
Anita Borg Early Career Award, from the Committee on the Status of Women in Computing Research. For a woman in computer science and/or engineering who has made significant research contributions and who has contributed to her profession, especially in outreach to women.
Jennifer Chayes
Fellow, American Academy of Arts & Sciences. Elected to join one of the United States’ oldest and most prestigious honorary societies, which includes scholars and practitioners from many disciplines and professions who conduct interdisciplinary, long-term policy research on complex and emerging problems.
Leslie Lamport
Fellow, American Academy of Arts & Science. Elected to join one of the United States’ oldest and most prestigious honorary societies, which includes scholars and practitioners from many disciplines and professions who conduct interdisciplinary, long-term policy research on complex and emerging problems.
Susan Dumais
Athena Lecturer Award, from the Association for Computing Machinery’s Council on Women in Computing, which celebrates women researchers who have made fundamental contributions to computer science. For introducing novel algorithms and interfaces for interactive retrieval that have made it easier for people to find, use, and make sense of information.
Leslie Lamport A.M. Turing Award, from the Association for Computing Machinery. For fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention of concepts such as causality and logical clocks, safety and liveness, replicated state machines, and sequential consistency.
Chuck Thacker Microsoft Career Achievement Award, given to an individual for exceptional contributions to the technology industry across the span of a career.
Richard Harper
Member, CHI Academy. Elected by the Association for Computing Machinery’s SIGCHI as an individual who has made substantial contributions to the field of human-computer interaction.
Ken Hinckley
Member, CHI Academy. Elected by the Association for Computing Machinery’s SIGCHI as an individual who has made substantial contributions to the field of human-computer interaction.
John Tang
Member, CHI Academy. Elected by the Association for Computing Machinery’s SIGCHI as an individual who has made substantial contributions to the field of human-computer interaction.
Jitendra Padhye
Distinguished Scientist, Association for Computing Machinery. For his contributions to the design and analysis of transport control protocols and their broad impact on the research community and networking industry.
Rick Rashid
Honorary doctoral degree from the University of Science and Technology of China, under the jurisdiction of the Chinese Academy of Sciences.
Andreas Stolcke
Fellow, International Speech Communication Association. For contributions to research and leadership in speech and speaker recognition, understanding, and statistical modeling of spoken languages.
Johannes Kopf
Eurographics Young Researcher Award 2013. For young researchers who have already made a significant contribution to the field of computer graphics.
George Varghese
Koji Kobayashi Computers and Communications Award, from the Institute of Electrical and Electronics Engineers. For contributions to the field of network algorithmics and its applications to high-speed packet networks.
Andrew Fitzgibbon
Royal Academy of Engineering Silver Medal. For outstanding and demonstrated personal contributions to British engineering, resulting in successful market exploitation by an engineer with less than 22 years of full-time employment.
Duncan Watts
Lagrange-CRT Foundation Prize. For outstanding scientific contributions to the field of complexity and complex systems in all disciplines.
Lintao Zhang
Most Cited Paper, from the Design Automation Conference to celebrate its 50th anniversary, along with Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, and Sharad Malik. For publishing the most-cited paper in the conference’s 50-year history, Chaff: Engineering an Efficient SAT Solver.
Victor Bahl
SIGMOBILE (Lifetime Achievement) Outstanding Contributions Award, Association of Computing Machinery.
Duncan Watts
A.D. White Professor-at-Large, Cornell University. For distinguished achievements in his discipline and life.
Sudipto Das
Jim Gray Doctoral Dissertation Award, from the Association for Computing Machinery’s Special Interest Group on Management of Data. For excellent research by doctoral candidates in the database field.
Eric Horvitz
Member, CHI Academy. Elected by the Association for Computing Machinery’s Special Interest Group on Computer-Human Interaction as an individual who has made substantial contributions to the field of human-computer interaction.
George Robertson
Lifetime Achievement in Research Award, from the Association for Computing Machinery’s Special Interest Group on Computer-Human Interaction. For outstanding contributions to the study of human-computer interaction.
Moshe Tennenholtz
Allen Newell Award, along with Yoav Shoham. Presented by the Association for Computing Machinery and the Association for the Advancement of Artificial Intelligence. For fundamental contributions at the intersection of computer science, game theory, and economics, most particularly in multiagent systems and social coordination (broadly construed), which have yielded major contributions to all three disciplines.
Victor Bahl
MobiSys 2013 Best Paper Award, Energy Characterization and Optimization of Image Sensing Toward Continuous Mobile Vision.
Andrew Goldberg
Fellow, Society for Industrial and Applied Mathematics. For exemplary research, for outstanding service to the community, and for advancing the fields of applied mathematics and computational science.
Danah Boyd
Inductee, SXSW Interactive Festival Hall of Fame. For essential members of the interactive community who have made numerous contributions to the underlying SXSW goals of creativity, innovation, and inspiration.
Eyal Lubetzky
Rollo Davidson Prize, awarded each year to young probabilists by the Rollo Davidson Trust. For work on the dynamics of the Ising model and for proof of the cut-off phenomenon.
Eric Horvitz
Member, National Academy of Engineering. For computational mechanisms for decision-making under uncertainty and with bounded resources.
Matthew Parkinson
Dahl-Nygaard Junior Prize. For his work on specifying and reasoning about object-oriented programs.
Andrew Blake
Honorary Degree of Doctor of Engineering, The University of Sheffield.
Sudipto Das
Lancaster Dissertation Award. For the best dissertation in mathematics, the physical sciences, and engineering at the University of California, Santa Barbara.
Desney Tan
Kavli Fellow, from the U.S. National Academy of Sciences and The Kavli Foundation. Awarded to top scholars and scientists under the age of 45 working at the “frontiers of science.”
Luca Cardelli
Rozenberg Tulip Award in DNA Computing. For his research contributions to theory and software for programming biomolecular systems.
Andrew Blake
Honorary Degree of Doctor of Science, The University of Edinburgh.
Henrique Malvar
Corresponding member, Brazilian Academy of Sciences. Membership in the Academy recognizes the most important Brazilian researchers who, due to the leadership they perform in the advance of scientific and technological activities of the country, can be considered the most legitimate representatives of the national scientific community.
Jonathan Grudin
Fellow, Association for Computing Machinery. For contributions to human computer interaction with an emphasis on computer supported cooperative work.
Vipul Goyal
Named to Forbes magazine’s 30 Under 30 list, under the Science and Healthcare category. The list celebrates exceptional young people who are reinventing the world.
Jennifer Chayes
Inaugural Fellow of the American Mathematical Society.
Michael Freedman
Inaugural Fellow of the American Mathematical Society.
Yuval Peres
Inaugural Fellow of the American Mathematical Society.
Madhu Sudan
Inaugural Fellow of the American Mathematical Society.
Peter Key
Fellow, Institute of Electrical and Electronics Engineers. For contributions to optimal control of trunk reservations and distributed admission control in communication systems.
Yi Ma
Fellow, Institute of Electrical and Electronics Engineers. For contributions to computer vision and pattern recognition.
Feng Wu
Fellow, Institute of Electrical and Electronics Engineers. For contributions to visual data compression and communication.
Geoffrey Zweig
Fellow, Institute of Electrical and Electronics Engineers. For contributions to advanced speech recognition.
Sudipta Sengupta
Distinguished member, Association for Computing Machinery. For singular impacts on the dynamic computing field.
Yong Rui
Fellow, International Association of Pattern Recognition. For contributions to visual pattern analysis, recognition, and retrieval.
Yong Rui
Fellow, SPIE, the international society for optics and photonics. For achievements in image processing, analysis, and understanding.
Thomas Moscibroda
Swiss NCCR MICS Research on Communications Award, presented by the Swiss National Science Federation’s National Center of Competence in Research for contributions to the area of Mobile Communications & Information Systems (MICS) during the last 10 years.
Rustan Leino
Most Influential PLDI Paper Award 2012, along with Cormac Flanagan, Mark Lillibridge, Greg Nelson, James B. Saxe, and Raymie Stata. For Extended Static Checking for Java, chosen as the most influential paper presented during the Programming Language Design and Implementation conference in 2002.
Moshe Tennenholtz
Economic Theory Fellow, by the Society for the Advancement of Economic Theory. For scientific excellence, originality, and leadership; high ethical standards; and scholarly and creative achievement.
Neeraj Kayal
Indian National Science Academy Medal for Young Scientists. Presented to young scientists of extraordinary promise and creativity who have made notable research contributions in science and technology.
Andrew Blake
Member, U.K. Engineering and Physical Sciences Research Council. For academic and business skills that can help scientific communities address major challenges facing the United Kingdom.
Kevin Schofield
Lifetime Service Award, from the Association for Computing Machinery’s Special Interest Group on Computer Human Interaction (SIGCHI), for extended services to the SIGCHI community at large over a number of years.
Victor Bahl
Distinguished Alumni Award, University of Massachusetts Amherst. For distinguished achievement in the public, business, or professional realms.
Sing Bing Kang
Fellow, Institute of Electrical and Electronics Engineers. For contributions to image-based modeling and rendering.
Jin Li
Fellow, Institute of Electrical and Electronics Engineers. For contributions to multimedia delivery, compression, and storage for real-time communication.
Venkat Padmanabhan
Fellow, Institute of Electrical and Electronics Engineers. For contributions to networked and mobile computing systems.
Jamie Shotton
Microsoft Technical Achievement Award, presented to the Kinect Skeletal Tracking Team, which also included Momin Al-Ghosien, Matt Bronder, Robert Craig, Mark Finocchio, Alex Kipman, Samuel Mann, Parham Mohadjer, and Craig Peeper. For an outstanding and innovative technical achievement that has profoundly transformed the world of software and addressed some of the most urgent technological challenges facing the world today.
Henrique Malvar
Member, National Academy of Engineering. For contributions to multiresolution signal processing and multimedia signal compression and standards.
Neil Dalchau
Tansley Medal, presented by the scientific journal New Phytologist. For outstanding contributions made by scientists early in his or her independent career.
Moshe Tennenholtz
Autonomous Agents Research Award, from the Association for Computing Machinery’s Special Interest Group on Artificial Intelligence. For substantial and sustained contributions to the foundations of multi-agent systems.
2011
Surajit Chaudhuri
Association for Computing Machinery Special Interest Group on Management of Data Edgar F. Codd Innovations Award. For his seminal contributions to research that led to practical tools for automated physical database design.
David Steurer
Honorable Mention, 2011 Doctoral Dissertation Awards from the Association for Computing Machinery. For his dissertation On the Complexity of Unique Games and Graph Expansion, nominated by Princeton University.
Lintao Zhang, Conor Madigan, Matthew Moskewicz, and Sharad Malik
Ten Year Retrospective Most Influential Paper Award, from the International Conference on Computer-Aided Design. For the 2001 paper Efficient Conflict Driven Learning in Boolean Satisfiability Solver.
Tony Hoare
Distinguished Achievement Award, from the Association for Computing Machinery’s Special Interest Group on Programming Languages. For seminal engineering and scientific contributions to programming languages.
Martín Abadi
Fellow, American Association for the Advancement of Science. For distinguished contributions to computer security, verification of computer systems, and object-oriented programming languages.
Tom Ball
Fellow, Association for Computing Machinery. For contributions to software analysis and defect detection.
Baining Guo
Fellow, Association for Computing Machinery. For contributions to computer graphics.
David Heckerman
Fellow, Association for Computing Machinery. For contributions to reasoning and decision-making under uncertainty.
Hugues Hoppe
Fellow, Association for Computing Machinery. For contributions to computer graphics.
Peter Key
Fellow, Association for Computing Machinery. For contributions to network control and routing.
Dahlia Malkhi
Fellow, Association for Computing Machinery. For contributions to fault-tolerant distributed computing.
Jie Liu
Distinguished Member, Association for Computing Machinery. For significant advances in computing technology that have dramatically influenced progress in science, engineering, business, and many other areas of human endeavor.
Ben Zorn
Distinguished Member, Association for Computing Machinery. For significant advances in computing technology that have dramatically influenced progress in science, engineering, business, and many other areas of human endeavor.
Miguel Castro
Mark Weiser Award, from the Association for Computing Machinery’s Special Interest Group on Operating Systems. For an individual who has demonstrated creativity and innovation in operating-systems research.
Victor Bahl and Ming Zhang
Open Internet App Award, from the FCC Open Internet Challenge, along with Z. Morley Mao, Feng Qian, Cheng Chen, Junxiang Huang, Yutong Pei, Zhiyun Qian, Birjodh Tiwanta, Zhaoguang Wang, and Qiang Xu of the University of Michigan. For MobiPerf: Mobile Network Measurement System, an app that furthers the understanding of Internet connectivity and network science.
Victor Bahl and Ming Zhang
People’s Choice App Award, from the FCC Open Internet Challenge, along with Z. Morley Mao, Feng Qian, Cheng Chen, Junxiang Huang, Yutong Pei, Zhiyun Qian, Birjodh Tiwanta, Zhaoguang Wang, and Qiang Xu of the University of Michigan. For MobiPerf: Mobile Network Measurement System, an app that furthers the understanding of Internet connectivity and network science.
Georges Gonthier
EADS Foundation Grand Prize in Computer Science, presented by France’s Académie des sciences. For a scientist in a French laboratory who has made exceptional contributions to the vitality and influence of computer-science research while building outstanding cooperation with industry.
Ken Hinckley, Jeff Pierce, Mike Sinclair, and Eric Horvitz
Lasting Impact Award, presented during the 24th Association for Computing Machinery Symposium on User Interface Software and Technology (UIST). For the authors whose paper appeared in the UIST conference 10 years ago and has been the most influential since then. The award is for the UIST 2000 paper Sensing Techniques for Mobile Interaction.
Susan Dumais
Member, National Academy of Engineering. For innovation and leadership in organizing, accessing, and interacting with information.
Andrew Goldberg
Farkas Prize, from the INFORMS Optimization Society. For his outstanding contributions to the field of optimization.
Phil Bernstein
10-Year Award, along with Jayant Madhavan and Erhard Rahm, presented during the 37th International Conference on Very Large Data Bases (VLDB). For the authors whose paper appeared in the VLDB conference 10 years ago and has had the most impact on database research. The award is for the 2001 VLDB paper Generic Schema Matching with Cupid.
Andrew Phillips
Recipient, TR35 2011. For young innovators whose inventions and research are deemed most exciting by the editors of Technology Review.
Jim Kajiya
Steven Anson Coons Award, from the Association for Computing Machinery’s Special Interest Group on Computer Graphics and Interactive Techniques. For career contribution to computer graphics and interactive techniques.
Richard Szeliski
Computer Graphics Achievement Award, from the Association for Computing Machinery’s Special Interest Group on Computer Graphics and Interactive Techniques. For outstanding achievement in computer graphics and interactive techniques.
Ming Zhang
Co-winner, Federal Communications Commission Open Internet App Award, along with University of Michigan colleagues Zhaoguang Wang, Zhiyun Qian, Qiang Xu, and Z. Morley Mao, for MobiPerf, a lightweight, accurate mobile-network measurement tool.
Abigail Sellen
Fellow, Royal Academy of Engineering. For being internationally recognized as a leading expert in the field of human-computer interaction.
Karin Strauss
Participant, 2011 U.S. Frontiers of Engineering Symposium, sponsored by the National Academy of Engineering. For engineers aged 30-45 who are performing exceptional engineering research and technical work in industry, academia, and government.
Jennifer Chayes
Leadership Award, from Women Entrepreneurs in Science & Technology. For demonstrating extraordinary leadership in science and technology.
Andrew Blake, Andrew Fitzgibbon, Jamie Shotton, Mat Cook, and Toby Sharp
MacRobert Award, from The Royal Academy of Engineering. For machine-learning work on the human-motion capture in Kinect for Xbox 360, enabling controller-free gaming and opening up a whole new future for human interaction with computers.
Bryan Parno
2010 Doctoral Dissertation Award, from the Association for Computing Machinery. For resolving the tension between adequate security protections and the features and performance that users expect in a digitized world.
Christopher M. Bishop
Rooke Medal, by the Royal Academy of Engineering. For contributions to the academy’s aims and work through initiative in promoting engineering to the public.
Leslie Lamport
Member, U.S. National Academy of Sciences. For distinguished and continuing achievements in original research.
Ravi Kannan
Knuth Prize, from the Association for Computing Machinery’s Special Interest Group on Algorithms and Computation Theory. For developing influential algorithmic techniques aimed at solving longstanding computational problems.
Eric Horvitz
Fellow, American Academy of Arts and Sciences. For contributions to academy studies of science and technology policy, global security, social policy and American institutions, the humanities, and education.
danah boyd
Named one of 2011’s Young Global Leaders by the World Research Forum. For outstanding leadership, professional accomplishments, commitment to society, and potential to contribute to shaping the world’s future.
Aishwarya Lakshmi Ratan
Recipient, India TR35. Presented by the editors of Technology Review India for creating a hybrid paper, pen, and digital-slate solution for a low-cost digital record-management system.
Akash Lal
Recipient, India TR35. Presented by the editors of Technology Review India, for improving software quality using automated verification.
Shipeng Li
Fellow, Institute of Electrical and Electronics Engineers. For contributions to the advancement of image and video coding.
Wei-Ying Ma
Fellow, Institute of Electrical and Electronics Engineers. For contributions to multimedia information retrieval.
Abigail Sellen
Member, CHI Academy. Elected by the Association for Computing Machinery’s Special Interest Group on Computer Human Interaction as an individual who has made extensive contributions to the study of human-computer interaction and has led the shaping of the field.
Yuval Peres
David P. Robbins Prize—along with Mike Paterson, Mikkel Thorup, Peter Winkler, and Uri Zwick—from the Mathematical Association of America. For their innovative work reported in two papers appearing in American Mathematical Monthly: Overhang (January 2009) and Maximum Overhang (December 2009).
Victor Bahl
Fellow, American Association for the Advancement of Science. For distinguished contributions to the field of mobile and wireless systems and services and for passionate visionary leadership of the mobile computing community.
Tony Hoare
John von Neumann Medal, Institute of Electrical and Electronics Engineers. For seminal contributions to the scientific foundation of software design.
Sudipta Sengupta
William R. Bennett Prize, from the Institute of Electrical and Electronics Engineers. For the paper Oblivious Routing of Highly Variable Traffic in Service Overlays and IP Backbones, written along with Murali Kodialam, T. V. Lakshman, and James B. Orlin.
2010
David Lomet
Association for Computing Machinery Special Interest Group on Management of Data Contributions Award. For outstanding leadership as editor-in chief of the IEEE Data Engineering Bulletin, a key forum for dissemination of emerging ideas in academia and industry.
Mary Czerwinski
Member, CHI Academy. Elected by the Association for Computing Machinery’s Special Interest Group on Computer Human Interaction, for outstanding contributions to the practice and understanding of human-computer interaction.
Andrew Blake
Elected to the Council of the Royal Society, the oldest scientific academy in continuous existence, by the Society fellows, leading scientists from the United Kingdom and Commonwealth countries.
Mary Czerwinski
Lifetime Service Award, from the Association for Computing Machinery’s Special Interest Group on Computer Human Interaction (SIGCHI), for extended services to the SIGCHI community at large over a number of years.
Doug Burger
Fellow, Association for Computing Machinery. For contributions to distributed microprocessor architectures and memory systems.
Jennifer Chayes
Fellow, Association for Computing Machinery. For contributions to the foundations of dynamic random networks in theoretical computer science.
danah boyd
Communication and Information Technologies Section of the American Sociological Association Award for Public Sociology 2010. For specific achievement in teaching, the development or use of a communication or information technology, or the dissemination of knowledge that advances public understanding or engagement with the sociology of communications or the sociology of information technology.
Wei-Ying Ma
Distinguished member, Association for Computing Machinery. For members with at least 15 years of professional experience who have achieved significant accomplishments or made a significant impact on the computing field.
Ramachandran Ramjee
Distinguished member, Association for Computing Machinery. For members with at least 15 years of professional experience who have achieved significant accomplishments or made a significant impact on the computing field.
Alec Wolman
Distinguished member, Association for Computing Machinery. For members with at least 15 years of professional experience who have achieved significant accomplishments or made a significant impact on the computing field.
Victor Bahl
Outstanding Engineer Award, Region 6 Northwest Area of the Institute of Electrical and Electronics Engineers. Presented for the development of functionally novel, energy-efficient, high-capacity wireless systems for ubiquitous access and services, and for passionate visionary leadership in the mobile computing and communications community.
Milan Vojnovic
The Association for Computing Machinery’s SIGMETRICS Rising Star Researcher Award. Presented for outstanding contributions to the analysis and performance-oriented design of computer systems and services.
Butler W. Lampson
Recipient, SIGOPS Hall of Fame Award, recognizing the most influential operating-systems papers that have appeared at least 10 years previously. Recognized for co-writing “Crash Recovery in a Distributed Data Storage System.”
Roger M. Needham and Michael D. Schroeder
Recipients, SIGOPS Hall of Fame Award, recognizing the most influential operating-systems papers that have appeared at least 10 years previously. Recognized for co-writing “Using Encryption for Authentication in Large Networks of Computers.”
Jim Gray
Recipient, SIGOPS Hall of Fame Award, recognizing the most influential operating-systems papers that have appeared at least 10 years previously. Recognized for co-writing “The Recovery Manager of the System R Database Manager.”
A.J. Bernheim Brush
Recipient, 2010 Borg Early Career Award. Presented annually by the Committee on the Status of Women in Computing Research to a woman in computer science and/or engineering who has made significant research contributions and who has contributed to her profession, especially in the outreach to women.
danah boyd
Recipient, TR35 2010. For young innovators whose inventions and research are deemed most exciting by the editors of Technology Review.
Ranveer Chandra
Recipient, TR35 2010. For young innovators whose inventions and research are deemed most exciting by the editors of Technology Review.
Indrani Medhi
Recipient, TR35 2010. For young innovators whose inventions and research are deemed most exciting by the editors of Technology Review.
Scott Saponas
Recipient, TR35 2010. For young innovators whose inventions and research are deemed most exciting by the editors of Technology Review.
Jian Sun
Recipient, TR35 2010. For young innovators whose inventions and research are deemed most exciting by the editors of Technology Review.
P. Anandan
Inductee, Nebraska Hall of Computing. For individuals with ties to Nebraska who have made significant contributions to one of more of the fields of computer and information science and engineering, the development and utilization of computing technology, and computing education.
Burton Smith
Fellow, American Academy of Arts & Sciences. Elected to join one of the United States’ oldest and most prestigious honorary societies, which includes scholars and practitioners from many disciplines and professions that conducts interdisciplinary, long-term policy research on complex and emerging problems.
Madhu Sudan
Fellow, American Academy of Arts & Sciences. Elected to join one of the United States’ oldest and most prestigious honorary societies, which includes scholars and practitioners from many disciplines and professions that conducts interdisciplinary, long-term policy research on complex and emerging problems.
Hong-Jiang Zhang
Recipient of the Institute of Electrical and Electronics Engineers’ Computer Society Technical Achievement Awards for 2010. For pioneering contributions to multimedia content-analysis systems.
Indrani Medhi
India TR35, for outstanding innovators under the age of 35 from India, as chosen by the Technology Review’s India Edition. For her work in designing text-free user interfaces for illiterate and semi-literate users.
Chuck Thacker
A.M. Turing Award, Association for Computing Machinery. For the pioneering design and realization of the first modern personal computer—the Alto at Xerox PARC—and seminal inventions and contributions to local area networks (including the Ethernet), multiprocessor workstations, snooping cache coherence protocols, and tablet personal computers.
P. Anandan
Distinguished Alumnus Award, Indian Institute of Technology Madras. For Technology Innovation Excellence.
Doug Burger
Edith and Peter O’Donnell Award, from the Academy of Medicine, Engineering and Science of Texas. For Texas-based researchers whose work meets the highest standards of exemplary professional performance, creativity, and resourcefulness.
Andrew Herbert
Appointed an Officer of the Order of the British Empire. For services to computer science.
2009
Alexandre Proutiere
The Association for Computing Machinery’s SIGMETRICS Rising Star Researcher Award. Presented for significant contributions to the analysis and design of distributed control mechanisms in wired and wireless data networks.
Tony Hey
Fellow, American Association for the Advancement of Science. For meritorious efforts to advance science or its applications.
Eric Horvitz
Fellow, American Association for the Advancement of Science. For distinguished contributions to artificial intelligence, especially advances in methods that enable computing systems to learn, reason, and make decisions under uncertainty and bounded resources.
David Lomet
Fellow, American Association for the Advancement of Science. For meritorious efforts to advance science or its applications.
Doug Burger
Fellow, Institute of Electrical and Electronics Engineers, class of 2010. For contributions to memory systems.
Baining Guo
Fellow, Institute of Electrical and Electronics Engineers, class of 2010. For contributions to surface modeling and rendering in computer graphics.
Yong Rui
Fellow, Institute of Electrical and Electronics Engineers, class of 2010. For contributions to image and video analysis, indexing, and retrieval.
Frank Soong
Fellow, Institute of Electrical and Electronics Engineers, class of 2010. For contributions to speech processing.
Madhu Sudan
Fellow, Institute of Electrical and Electronics Engineers, class of 2010. For development of list-decoding algorithms for error-correcting codes and probabilistically checkable proofs.
Yi-Min Wang
Fellow, Institute of Electrical and Electronics Engineers, class of 2010. For contributions to dependable computing and Web security.
Feng Zhao
Fellow, Institute of Electrical and Electronics Engineers, class of 2010. For contributions to networked embedded computing and sensor networks.
Wenwu Zhu
Fellow, Institute of Electrical and Electronics Engineers, class of 2010. For contributions to video communication over the Internet and wireless.
Ratul Mahajan
Rising Star Award 2009, Association for Computing Machinery’s Special Interest Group on Data Communications. For a researcher no older than 35 who has made outstanding research contributions to the field of communication networks during this early part of his or her career.
Andrew V. Goldberg
Fellow, Association for Computing Machinery, for contributions to fundamental theoretical and practical problems in the design and analysis of algorithms.
Chandramohan A. Thekkath
Fellow, Association for Computing Machinery, for contributions to operating systems, distributed systems, and scalable storage.
Mary Czerwinski
Distinguished Scientist, Association for Computing Machinery. For significant accomplishments in the computing field.
Venkat Padmanabhan
Distinguished Scientist, Association for Computing Machinery. For significant accomplishments in the computing field.
Rich Draves
Distinguished Scientist, Association for Computing Machinery. For significant accomplishments in the computing field.
Ganesan Ramalingam
Distinguished Scientist, Association for Computing Machinery. For significant accomplishments in the computing field.
Yong Rui
Distinguished Scientist, Association for Computing Machinery. For significant accomplishments in the computing field.
Ted Wobber
Distinguished Scientist, Association for Computing Machinery. For significant accomplishments in the computing field.
Lintao Zhang
2009 CAV Award, 21st International Conference on Computer Aided Verification. Presented for his contributions to creating high-performance Boolean satisfiability solvers.
Judith Bishop
Outstanding Service Award, International Federation for Information Processing (IFIP). Given for services rendered to IFIP on recommendation of technical-committee chairs and approval by the organization’s Internal Awards Committee.
Andrew Blake
Computer Vision Significant Researcher Award, recognizing individual researchers whose work has had a significant impact and following in Computer Vision and related fields.
Susan Dumais
Gerard Salton Award, presented every three years by the Association for Computing Machinery’s Special Interest Group on Information Retrieval to an individual who has made significant, sustained, and continuing contributions to research in information retrieval.
Rick Rashid
Career Achievement, 2009 Microsoft Technical Recognition Award. Given to an individual for exceptional contributions to the technology industry across the span of a career, for contributions that are of lasting and major importance to the industry. Microsoft career-related achievement is a significant component of this award.
Simon Peyton-Jones
Fellow, British Computer Society. For those who hold a senior IT position or have an established reputation of eminence or authority in the field of IT and who have a minimum of five years’ IT practitioner experience.
Christopher M. Bishop
Corresponding Academician, Real Academia de Ingeniería (Spanish academy of engineering), for outstanding contributions to education in, research on, and applications of learning machines.
Byron Cook
Roger Needham Award, sponsored by Microsoft Research and established in memory of the late Roger Needham, founder of Microsoft Research Cambridge. Presented by the British Computer Society for a distinguished research contribution in computer science by a researcher based in the United Kingdom who has received a Ph.D. within the last 10 years.
Doug Burger
Distinguished Scientist, Association for Computing Machinery. Designates ACM members with at least 15 years of professional experience who have had significant accomplishments or impact in the computing field.
Marc Najork
Distinguished Scientist, Association for Computing Machinery. Designates ACM members with at least 15 years of professional experience who have had significant accomplishments or impact in the computing field.
Martin Abadi
Fellow, Association for Computing Machinery. Cited for contributions to computer security and verification of computer systems.
Bill Buxton
Fellow, Association for Computing Machinery. Cited for contributions to the field of human-computer interaction.
Roy Levin
Fellow, Association for Computing Machinery. Cited for contributions to software and systems.
Rick Szeliski
Fellow, Association for Computing Machinery. Cited for contributions to computational photography.
Doug Terry
Fellow, Association for Computing Machinery. Cited for contributions to distributed computing.
2008
Rick Rashid
Recipient, SIGOPS Hall of Fame Award, recognizing the most influential operating-systems papers that have appeared in the peer-reviewed literature at least 10 years previously. Recognized for co-writing “Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures.”
Rick Rashid
Recipient, Institute of Electrical and Electronics Engineers Emanuel R. Piore Award. For contributions to the design of modern operating systems, and for innovation and leadership in industrial research.
Yuri Gurevich
Member, Academia Europaea. Elected for lifetime achievement in computer science. Academia Europaea is a non-governmental association consisting of scientists and scholars who collectively aim to promote learning, education, and research. Members include leading experts in physical sciences and technology, biological sciences and medicine, mathematics, letters and humanities, social and cognitive sciences, economics, and the law.
Rick Rashid
Fellow, American Academy of Arts & Sciences. Elected, by a broad-based membership of scholars and practitioners, for pre-eminent contributions to the field of computer science and to society at large.
Cynthia Dwork
Fellow, American Academy of Arts & Sciences. Elected, by a broad-based membership of scholars and practitioners, for pre-eminent contributions to the field of computer science and to society at large.
Michael Schroeder
National Information Systems Security Award, from the National Institute of Standards and Technology and the National Security Agency. Presented for scientific or technological breakthroughs, outstanding leadership, highly distinguished authorship, or significant long-term contributions in the computer security field.
Oded Schramm
Foreign Member, The Royal Swedish Academy of Sciences. The Royal Academy announcement stated: “His most important work is probably the introduction and profound study of Stochastic Loewner Evolution, which in a totally new way connects probability theory and complex analysis. This work is one of the biggest advances in probability theory in many years.”
Leslie Lamport
John von Neumann Medal, Institute of Electrical and Electronics Engineers. Presented for establishment of the foundations of distributed and concurrent computing.
Bill Buxton
CHI Lifetime Achievement Award, Association for Computing Machinery’s Special Interest Group on Computer-Human Interaction. Presented for outstanding contributions to the study of human-computer interaction, recognizing the very best work in shaping the field and awarded for a lifetime of innovation and leadership.
Andrew Blake
Fellow, Institute of Electrical and Electronics Engineers. Recognized for contributions to the foundations of segmentation and tracking, and innovation in vision applications.
Cynthia Dwork
Member, National Academy of Engineering. For fundamental contributions to distributed algorithms and the security of cryptosystems.
Jennifer Chayes
Fellow, Fields Institute, for outstanding contributions to the Fields Institute, its programs, and to the Canadian mathematical community.
2007
Desney Tan
Recipient, TR35 2007. Presented by MIT Technology Review to the world’s top 35 innovators under the age of 35, for his work on brain-computer interfaces.
Victor Bahl
Fellow, Institute of Electrical and Electronics Engineers, class of 2008. Recognized for contributions to the design of wireless networks and systems, and leadership in mobile computing and communications.
Martín Abadi
Recipient, SIGOPS Hall of Fame Award, recognizing the most influential operating-systems papers that have appeared in the peer-reviewed literature at least 10 years previously. Recognized for co-writing “A Logic of Authentication.”
Leslie Lamport
Recipient, SIGOPS Hall of Fame Award, recognizing the most influential operating-systems papers that have appeared in the peer-reviewed literature at least 10 years previously. Recognized for writing “Time, Clocks and the Ordering of Events in a Distributed System”.
Andrew Birrell
Recipient, SIGOPS Hall of Fame Award, recognizing the most influential operating-systems papers that have appeared in the peer-reviewed literature at least 10 years previously. Recognized for co-writing “Implementing Remote Procedure Calls”.
Andrew Blake
The Mountbatten Medal from the Institution of Engineering and Technology. For an outstanding individual contribution to the promotion of electronics or information technology and their application.
Christopher M. Bishop
Fellow, Royal Society of Edinburgh. Elected by standing fellows of a multidisciplinary membership encompassing excellence in the sciences, arts, humanities, professions, industry, and commerce.
Martín Abadi
SIGSAC Outstanding Innovation Award, the Association for Computing Machinery’s Special Interest Group on Security, Audit and Control. Presented for outstanding and innovative technical contributions to the field of computer and communication security that have had lasting impact in furthering or understanding the theory and/or development of commercial systems.
Victor Bahl
Distinguished Lecturer, Institute of Electrical and Electronics Engineers Communications Society. To benefit existing members and chapters, in response to a request from at least one chapter chair.
Victor Bahl
Distinguished Speaker, Association for Computing Machinery. Invited to give presentations on various computing and information-technology topics to local communities of practitioners, researchers, and students.
Michael Cohen
Fellow, Association for Computing Machinery. Cited for contributions to computer graphics and computer vision.
Oded Schramm
Ostrowski Prize. Presented for outstanding achievements in pure mathematics and the foundations of numerical mathematics.
John Douceur
Distinguished Engineer, Association for Computing Machinery (ACM). Recognizes ACM members with at least 15 years of professional experience and five years of continuous professional membership who have achieved significant accomplishments or have made a significant impact on the computing field.
Chuck Thacker
Fellow, Computer History Museum. Presented for leading development of the Xerox PARC Alto and for innovations in networked personal-computer systems and laser-printing technologies.
Luca Cardelli
2007 Senior Dahl-Nygaard Prize. Presented annually to a senior researcher with outstanding career contributions.
Cynthia Dwork
Co-winner, 2007 Edsger W. Dijkstra Prize in Distributed Computing. Presented each year to an outstanding paper on the principles of distributed computing, the significance and impact of which on the theory and/or practice of distributed computing has been evident for at least a decade. Recognized for Consensus in the Presence of Partial Synchrony, which was written by Dwork, Nancy Lynch, and Larry Stockmeyer and which appeared in the Journal of the ACM in April 1988.
Andrew Herbert
Fellow, The Royal Academy of Engineering. Recognized for engineering leadership, as director of Microsoft Research Cambridge, and for important contributions to the development of Internet and wireless technology.
Hsiao-Wuen Hon
Fellow, Institute of Electrical and Electronics Engineers. Recognized for contributions to speech-recognition research and product development.
2006
Albert Greenberg
Fellow, Association for Computing Machinery. Recognized for contributions to computing and information technology that are having lasting effects on the lives of people throughout the world, in particular his contributions to Internet measurement and engineering.
Harry Shum
Fellow, Association for Computing Machinery. Recognized for contributions to computing and information technology that are having lasting effects on the lives of people throughout the world, in particular his contributions to computer vision and computer graphics.
Susan Dumais
Fellow, Association for Computing Machinery. Recognized for contributions to computing and information technology that are having lasting effects on the lives of people throughout the world, in particular her research contributions to information retrieval and human-computer interaction.
Tony Hoare
Fellow, Computer History Museum. Presented for his development of the Quicksort algorithm and for lifelong contributions to the theory of programming languages.
Butler Lampson
Fellow, Computer History Museum. Presented for his fundamental contributions to computer science, including networked personal workstations, operating systems, computer security, and document publishing.
Chuck Thacker
2007 John von Neumann Medal. Presented for outstanding achievements in computer-related science and technology.
Jim Larus
Fellow, Association for Computing Machinery. Recognized for contributions to computing and information technology that are having lasting effects on the lives of people throughout the world, in particular his contributions to programming languages, compilers, and computer architecture.
Mike Schroeder
Outstanding Innovation Award, Association for Computing Machinery’s Special Interest Group for Security, Audit and Control, for outstanding and innovative technical contributions to the field of computer and communication security that have had lasting impact in furthering or understanding the theory and/or development of commercial systems.
Feng Zhao
Distinguished Engineer, Association for Computing Machinery
Andrew Blake
Silver Medal, Royal Academy of Engineering, for “outstanding contribution to British engineering and commercial development”
Oded Schramm
George Pólya Prize, from the Society for Industrial and Applied Mathematics
Jim Kajiya
Utah Technology Council Hall of Fame inductee
George Robertson
CHI Academy inductee
John Platt
Technical Achievement Award from the Academy of Motion Picture Arts and Sciences
Harry Shum
Fellow, Institute of Electrical and Electronics Engineers
Tony Hoare
Foreign Associate, National Academy of Engineering
Jennifer Chayes
Fellow, American Association for the Advancement of Science, for meritorious efforts to advance science or its application.
2005
Sumit Gulwani
Outstanding Dissertation Award, Association for Computing Machinery Special Interest Group on Programming Languages. Presented annually to the author of the outstanding doctoral dissertation in the area of programming languages.
Milan Vojnovic
ERCIM Cor Baayen Award (best young European computer-science researcher)
Shuvendu Lahiri
ACM Outstanding Ph.D. Dissertation Award in Electronic Design Automation
2004
Surajit Chaudhuri
Association for Computing Machinery Special Interest Group on Management of Data Contributions Award. For creating and maintaining the conference management tool.
Henrique Malvar
Wavelet Pioneer Award, from the Society of Photographic Instrumentation Engineers. For development of lapped transforms and contributions to multiresolution signal processing.
Leslie Lamport
Recipient, Institute of Electrical and Electronics Engineers Emanuel R. Piore Award. For seminal contributions to the theory and practice of concurrent programming and fault-tolerant computing
Li Deng
Fellow, Institute of Electrical and Electronics Engineers
Rick Szeliski
Fellow, Institute of Electrical and Electronics Engineers
Zhengyou Zhang
Fellow, Institute of Electrical and Electronics Engineers
Luca Cardelli
Fellow of the Association of Computing Machinery
Paul Larson
Fellow of the Association of Computing Machinery
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.
Henrique Malvar
Technical Achievement Award, Signal Processing Society of the Institute of Electrical and Electronics Engineers. Presented to a person who, over a period of years, has made outstanding technical contributions to theory and/or practice in technical areas, as demonstrated by publications, patents, or recognized impact on the field.
Roger Needham
Clifford Paterson Lecture at the Royal Society
George Robertson
Fellow of the Association for Computing Machinery
David Salesin
ACM Fellow
Oded Schramm
Clay Research Award
Gary Starkweather
Inducted into the Industry Hall of Fame
Curtis Wong
NextMedia’s work won an academy award from the British Academy of Film and Television Arts in the Online Learning category
Ya-Qin Zhang
Distinguished Alumni Award, George Washington University
2001
Darko Kirovski
ACM Outstanding PACM Outstanding Ph.D. Dissertation Award in Electronic Design Automation
Victor Bahl
ACM SIGMOBILE Distinguished Service Award
Tony Hoare
Honorary Doctorate of Oxford Brookes University
Kamal Jain
Optimization Award of INFORMS (Institute for Operations Research and the Management Sciences) for his paper “A Factor 2 Approximation Algorithm for the Generalized Steiner Network Problem”
David Lomet
Institute of Electrical and Electronics Engineers Meritorious Service Award, for innovative service as Editor of the IEEE Data Engineering Bulletin, including performing its transformation to highly usable electronic form
Laci Lovasz
Gödel Prize for paper “Interactive Proofs and the Hardness of Approximating Cliques”
Laci Lovasz
Corvin Chain Award
Roger Needham
Commander of the Order of the British Empire (CBE)
Oded Schramm
Salem Prize in Mathematics
Kentaro Toyama
Marr Prize, International Conference on Computer Vision
Ya-Qin Zhang
Best Paper Award in Institute of Electrical and Electronics Engineers Transactions on Circuits and Systems for Video Technology
Wenwu Zhu
Best Paper Award in Institute of Electrical and Electronics Engineers Transactions on Circuits and Systems for Video Technology
2000
Xuedong Huang
Fellow, Institute of Electrical and Electronics Engineers
Jim Blinn
National Academy of Engineering Member
Geoff Davis
Institute of Electrical and Electronics Engineers Leon K. Kirchmayer Prize Paper Award
Yuri Gurevich
Gurevich Symposium (a part of CSL 2000)
Tony Hoare
Kyoto Prize
Tony Hoare
Knight Bachelor
Stephen Robertson
ACM SIGIR Gerard Salton Award
David Wilson
Rollo Davidson Prize, awarded each year to young probabilists by the Rollo Davidson Trust. For work on the dynamics of the Ising model and for proof of the cut-off phenomenon.
David Wilson
2000 INFORMS Award for an Outstanding Publication in the Field of Simulation
Ya-Qin Zhang
Institute of Electrical and Electronics Engineers Jubilee Golden Medal Award
Hongjiang Zhang
ACM Service Award
1999
Jim Blinn
Coons Award — Lifetime Achievement Award for Computer Graphics
Laci Lovasz
Wolf Prize
Laci Lovasz
Knuth Prize
1998
Jennifer Chayes
American Mathematical Society Vice President
Michael Cohen
SIGGRAPH Computer Graphics Achievement Award
Jim Gray
Charles Babbage Award, Institute of Electrical and Electronics Engineers Computer Society
Jim Gray
Presidential Advisory Committee on High Performance Next Generation Internet and Info
Yuri Gurevich
Dr Honoris Causa, University of Limburg, Belgium
David Lomet
ACM SIGMOD Conference Best Paper Award
Roger Needham
Faraday Medal Institution of Electrical Engineers
Roger Needham
U.K. Defense Scientific Advisory Council Register of Independent Members
Stephen Robertson
The Tony Kent Strix Award
Ya-Qin Zhang
Outstanding Young Electrical Engineer of the Year, U.S.
Yuri Gurevich
Research Excellence Award, University of Michigan College of Engineering
1997
Henrique Malvar
Fellow, Institute of Electrical and Electronics Engineers. For extraordinary accomplishments deemed fitting of this prestigious grade elevation.
Yuri Gurevich
Research Excellence Award, University of Michigan College of Engineering
1996
Victor Bahl
Digital Equipment Corp. Doctoral Engineering Fellowship Award
Jim Blinn
MacArthur Fellow
Yuri Gurevich
Faculty Recognition Award, University of Michigan
Yuri Gurevich
Faculty Recognition Award, University of Michigan
1994
Phil Bernstein
Association for Computing Machinery Special Interest Group on Management of Data Edgar F. Codd Innovations Award. For innovative and highly significant contributions of enduring value to the development, understanding, or use of database systems and databases.
Victor Bahl
Digital Equipment Corp. Doctoral Engineering Fellowship Award
Yuri Gurevich
Teaching Excellence Award, University of Michigan EECS Department
