Microsoft Research Lab – Redmond
News & features
In the news | Yahoo Finance
Microsoft has a crazy plan to make your batteries last a lot longer
A new Microsoft Research project could result in a laptop battery that lasts a lot longer.
In the news | Microsoft Blog
A laptop battery system that knows your habits and lasts a lot longer
Microsoft researchers, working with colleagues from academia, have come up with a system that uses multiple kinds of existing batteries, working in tandem with smarter software, to keep laptops and tablets charged much longer than current standards.
Crowd wisdom among many topics examined at top AI event
By George Thomas Jr., Writer, Microsoft Research Researchers have for years sought to understand the way opinions are formed and disseminated throughout social settings. Is there such a thing as the wisdom of the crowd? New research presented at this…
In the news | PNAS
Core Concept: Homomorphic encryption
Homomorphic encryption allows people to use data in computations even while that data are still encrypted.
The 2015 Microsoft Research Faculty Summit breaks records
Walking into the Microsoft Conference Center this morning, I could feel the excitement in the air as 600 academics and researchers started meeting up for the Microsoft Research Faculty Summit in Redmond, Washington. High on the agenda of this, our…
Z3 wins 2015 ACM SIGPLAN Award
On Monday, June 15, Microsoft Research’s Z3 theorem prover received the 2015 ACM SIGPLAN Programming Languages Software Award. This prestigious award honors an institution or individuals for “developing a software system that has had a lasting influence, reflected in contributions…
Awards | Association for Computing Machinery
Nikolaj Bjørner, Leonardo de Moura, and Christoph Wintersteiger win SIGPLAN Programming Languages Software Award
Microsoft Research’s Z3 theorem prover received the 2015 ACM SIGPLAN Programming Languages Software Award (opens in new tab). This prestigious award honors an institution or individuals for “developing a software system that has had a lasting influence, reflected in contributions…
Project Premonition: bringing researchers together to detect diseases before they become an outbreak
Mosquitoes. They can ruin your backyard barbeque and leave you covered with itchy welts. Or, their bites may also transmit dangerous pathogens. The World Health Organization estimates that mosquito-borne diseases kill more than 1 million people annually. In fact, mosquitoes do more…
In the news | Engadget
Microsoft Research project uses drones to track emerging diseases
Project Permonition aims to create a worldwide system for collection and genomic analysis of mosquitoes, capable of detecting potential pathogens and their geographic spread, before they cause disease in the human population.