Microsoft Research Blog

The Microsoft Research blog provides in-depth views and perspectives from our researchers, scientists and engineers, plus information about noteworthy events and conferences, scholarships, and fellowships designed for academic and scientific communities.

Most recent

  1. Winning combination: 2019 Microsoft Research Ada Lovelace and PhD Fellowships support top talent

    Microsoft Research is proud to announce the 2019 winners of the Ada Lovelace Fellowship and PhD Fellowship. The Ada Lovelace Fellowship is a new fellowship for Microsoft Research, established to support diverse talent getting doctorates in computing-related fields by providing three years of funding for second-year PhD students from groups underrepresented in computing.

    January 17th, 2019

  2. Microsoft Ability Initiative: A collaborative quest to innovate in image captioning for people who are blind or with low vision

    Microsoft is committed to pushing the boundaries of technology to improve and positively influence all parts of society. Recent advances in deep learning and related AI techniques have resulted in significant strides in automated image captioning. However, current image captioning systems are not well-aligned with the needs of a community that can benefit greatly from them: people who are blind or with low vision. We recently completed a competitive process to find an academic research…

    January 16th, 2019

  3. Building contextually intelligent assistants with Dr. Paul Bennett

    Episode 59, January 16, 2019 - Dr. Bennett brings us up to speed on the science of contextually intelligent assistants, explains how what we think our machines can do actually shapes what we expect them to do, and shares how current research in machine learning and data science is helping machines reason on our behalf in the quest to help us find the right information effortlessly.

    January 16th, 2019

  4. Influencing mainstream software—Applying programming language research ideas to transform spreadsheets

    Spreadsheets are the world’s most widely used programming language, by several orders of magnitude. We asked ourselves whether it would be possible to apply programming language research ideas to make spreadsheets a better programming language? If we could, that would empower a huge user community to do more. One of the joys of working at Microsoft Research is the ability to directly influence mainstream software technologies – in this case, Microsoft Excel. And the Excel…

    January 14th, 2019

  5. Project Everest: Reaching greater heights in internet communication security

    Project Everest is working on a verified, secure communication stack designed to improve the security of HTTPS, a key internet safeguard. This post, about the verification tools and techniques the Everest team is using and developing, is the first in a series exploring the groundbreaking work, which is available on GitHub now. Wouldn’t it be great if a message you sent to your bank over the internet was guaranteed to be safe from tampering and…

    January 14th, 2019

  6. Scaling the Everest of software security with Dr. Jonathan Protzenko

    Episode 58, January 9, 2019 - Dr. Protzenko talks about what’s wrong with software (and why it’s vitally important to get it right), explains why there are so many programming languages (and tells us about a few he’s been working on), and finally, acts as our digital Sherpa for Project Everest, an assault on software integrity and confidentiality that aims to build and deploy a verified HTTPS stack.

    January 9th, 2019

  7. Microsoft Research 2018: 10 memorable blogs topping a year of open source and innovation

    The year’s end is an opportunity to reflect on what was achieved and to resolve to aspire to even greater heights in the one that’s about to begin. Looking back on what was accomplished at Microsoft Research in 2018 brings to mind numerous proud moments, impressive research vision, and a commitment to open source and sharing in research. A growth of new ideas At the CHI conference in April, a team of Microsoft researchers presented…

    December 27th, 2018

  8. Competition win a steppingstone in the greater journey to create sustainable farming

    The cucumber plants, their leaves wide and green and veiny, stood tall in neat rows, basking in the Netherland sunlight shining through the glass panes of their greenhouses. Hopes were high for the plants—a bountiful crop in just four months using as few resources as possible. With the right amount and type of care, they’d produce vegetables for consumers to enjoy. To the casual observer, though, it might have seemed like the plants had been…

    December 18th, 2018

  9. Soundscaping the world with Amos Miller

    Episode 54, December 12, 2018 - Amos Miller is a product strategist on the Microsoft Research NeXT Enable team, and he’s played a pivotal role in bringing some of MSR’s most innovative research to users with disabilities. He also happens to be blind, so he can appreciate, perhaps in ways others can’t, the value of the technologies he works on, like Soundscape, an app which enhances mobility independence through audio and sound.

    December 12th, 2018

  10. First TextWorld Problems—Microsoft Research Montreal’s latest AI competition is really cooking

    This week, Microsoft Research threw down the gauntlet with the launch of a competition challenging researchers around the world to develop AI agents that can solve text-based games. Conceived by the Machine Reading Comprehension team at Microsoft Research Montreal, the competition—First TextWorld Problems: A Reinforcement and Language Learning Challenge—runs from December 8, 2018 through May 31, 2019. First TextWorld Problems is built on the TextWorld framework. TextWorld was released to the public in July 2018…

    December 11th, 2018

  11. A Deep Learning Theory: Global minima and over-parameterization

    One empirical finding in deep learning is that simple methods such as stochastic gradient descent (SGD) have a remarkable ability to fit training data. From a capacity perspective, this may not be surprising— modern neural networks are heavily over-parameterized, with the number of parameters much larger than the number of training samples. In principle, there exist parameters to achieve 100% accuracy. Yet, from a theory perspective, why and how SGD finds global minima over the…

    December 10th, 2018

  12. Fast, accurate, stable and tiny – Breathing life into IoT devices with an innovative algorithmic approach

    In the larger quest to make the Internet of Things (IoT) a reality for people everywhere, building devices that can be both ultrafunctional and beneficent isn’t a simple matter. Particularly in the arena of resource-constrained, real-time scenarios, the hurdles are significant. The challenges for devices that require quick responsiveness—say, smart implants that warn of impending epileptic seizures or smart spectacles providing navigation for low-vision people—are multifold.

    December 6th, 2018