I vividly remember October 29, 2008. I had invited colleagues from academia and industry to Building 99, home of Microsoft Research, for a daylong meeting to discuss the future of mobile and cloud computing. My friends flew to Redmond, Washington, from different parts of the…
Researchers from Microsoft Research will present their latest advances in computer systems at the USENIX Symposium on Operating Systems Design and Implementation 2018 — the biennial flagship conference for systems research — October 8–10 in Carlsbad, California. These advances cover a broad spectrum of topics,…
“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 –…
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…
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…
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…
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…
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…
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…
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…
“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…
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…
