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.

SPACER and Z3: Accessible, reliable model checking as theorem proving

SPACER and Z3: Accessible, reliable model checking as theorem proving

“How can one check a routine in the sense of making sure that it is right?” asked Alan Turing in 1949, foreshadowing the science of program proving decades before it became a formally accepted field of computer science. Program proving, model checking, theorem solving – this is the terminology occupying the research space of computer science devoted to making sure programs work correctly. In the years since Turing theorized its necessity, the calculus of computation…

October 2018

Microsoft Research Blog

Microsoft Research bringing its best to SIGCOMM 2018

Microsoft Research is actively developing technologies as we continually strive to make our network and online services the most performant and efficient on the planet and this includes openly sharing our progress in advancing the state of the art with the research community. At the upcoming SIGCOMM 2018 – the annual flagship conference organized by Association for Computing Machinery’s Special Interest Group on Data Communications, held this year in Budapest, August 20-24 – Microsoft Research…

August 2018

Microsoft Research Blog

Faculty Summit 2018 – Advancing the future shape of systems toward a global AI supercomputer

The 19th Microsoft Research Faculty Summit yet again demonstrated its unique place in the world of computer science in gathering thought leaders, state-of-the-art ideas, new products and a sense of the possible under one roof as industry and leading academic researchers came together to share vision and purpose. More than 500 leading experts from academia, Microsoft Research and Microsoft gathered in Redmond, Washington August 1-2 to participate in the event, themed this year under the…

August 2018

Microsoft Research Blog

PhD Scholarship Program: Recognizing great research across EMEA

The Microsoft Research PhD Scholarship Program in EMEA (Europe, Middle East, Africa) was launched in 2004 by Microsoft Research Cambridge, United Kingdom and has so far supported more than 200 PhD students from more than 18 countries and 51 institutions. The online submission tool for 2019 projects goes live on September 17 and the deadline for submissions is October 8, 2018. How it works Nominated PhD supervisors from academic institutions in EMEA submit their proposals…

August 2018

Microsoft Research Blog

Three Microsoft fellowship programs support academics and the future of the computer science field

To help academics advance their research, Microsoft has supported hundreds of fellows through the Microsoft Research PhD Fellowship. This year we are expanding our funding support by creating two new fellowships: one designed to support diverse talent earning advanced degrees in computing-related fields, and one designed to support young faculty. Nominations for all three fellowships are now open. Microsoft Research Ada Lovelace Fellowship  The new Microsoft Research Ada Lovelace Fellowship aims to increase diverse talent…

August 2018

Microsoft Research Blog

Watch the live stream of the 2018 Microsoft Research Faculty Summit – Systems/Fueling Future Disruptions

The Systems focused Microsoft Research Faculty Summit is just around the corner on August 1-2, 2018! This year’s summit will highlight how Systems are the infrastructure Fueling Future Disruptions by delivering an engaging program exploring not only the importance of systems and systems research but their fundamental role in fueling the future disruptions that are now becoming evident through artificial intelligence. Immerse yourself in the trends and challenges through the insightful keynotes, sessions and panels.…

July 2018

Microsoft Research Blog

Summer of MakeCode for kids

Microsoft MakeCode is a web-based learning environment for kids and teens to create with technology. MakeCode takes a unique approach to computing education by combining the magic of making with the power of code as a way to make learning about computers and technology more accessible and interesting to a wider audience. We have created easy MakeCode projects that you can do with your kids at home over the summer using a different MakeCode product…

July 2018

Microsoft Research Blog

Microsoft Research Dissertation Grants: Broadening the PhD pipeline to increase innovation

Research shows that diverse teams are more productive teams. Diversity, particularly in the area of computing research, means including unique perspectives that otherwise might not have a voice, fueling innovation. These are some of the key reasons that Microsoft is committed to diversity. One aspect of demonstrating that commitment is that, for the second year in a row, we are awarding Microsoft Research Dissertation Grants to talented PhD candidates from groups that are under-represented in…

June 2018

Microsoft Research Blog

Going beyond the research experience – Exceptional mother in 1970s Romania inspired Stefan Saroiu to know his destiny at a very early age.

“Growing up, my mom was a programmer with a computer science degree at a time when there was no computer science department in Romania,” remembers Microsoft senior researcher Stefan Saroiu with a smile that is palpable over the telephone. As a child in late 1970s – early 1980s Bucharest, accompanying his mother to her job gave him hands-on access to an assortment of what at the time were cutting-edge minicomputers. “She inspired me and I…

June 2018

Microsoft Research Blog

Optimizing Barnes-Hut t-SNE

Ten years ago, while writing a physics engine, I learned about the Barnes-Hut algorithm for the gravitational n-body problem. Normally, computing the Newtonian gravitational forces between n bodies requires evaluations of Newton’s law of universal gravitation, as every body exerts a force on every other body in the system. Barnes-Hut is an approximation that brings that complexity down to , by treating clusters of faraway objects as single particles. An octree is used to subdivide…

May 2018

Microsoft Research Blog

Learning from Source Code

Over the last five years, deep learning-based methods have revolutionised a wide range of applications, for example those requiring understanding of pictures, speech and natural language. For computer scientists, a naturally arising question is whether computers learn to understand source code? It appears to be a trivial question at first glance because programming languages indeed are designed to be understood by computers. However, many software bugs are in fact instances of Do what I mean,…

May 2018

Microsoft Research Blog