Arrivederci, Roma: As the 40th ACM Principles of Programming Languages conference (POPL 2013) drew to a close on Friday, January 25, 2013, I was struck by how much it was a celebration of excellence, and I was pleased that Microsoft Research could play a big…
Building verifiably reliable and trustworthy software is one of the ultimate objectives of software engineering. With this goal in mind, academics, scientists, and researchers gathered in Shanghai, China, for the second Verified Software Workshop and Summer School. The event, which took place from August 23 to…
Almost 90 PhD students convened for the seventh PhD Summer School The first week of July was an exciting one for us here at Microsoft Research Cambridge, as we hosted the seventh PhD Summer School. Each year, we invite scholars in the Microsoft Research PhD…
Posted by Tony Hoare, winner of the A.M. Turing Award in 1980 Can computers understand their own programs? From my earliest days as a student of philosophy and classics at Merton College, Oxford, I was attracted into computing by the prospect that it would shed…
Posted by Andrew Blake, managing director of Microsoft Research Cambridge The latest in a series of posts from the directors of Microsoft Research’s labs worldwide, this one from Andrew Blake from Microsoft Research Cambridge.It’s been quite a year, not least because it was my…
There is a saying dating back to the days of punched cards that "the software is in the holes"—and therefore invisible. At the recent Microsoft Research Software Summit in Paris, software was anything but invisible. It was all around us and manifest in the smartphones, gadgets,…
Computers have increased the reach of biological science, altering the path of medicine with such revolutions as human genome sequencing—which is already causing a shift in treatment approach from epidemiological (based on patterns in the general population) to care that is tailored to individuals. Researchers…
Over the years, Microsoft Research has attracted experienced researchers at the top of their fields, as well as fresh new talent that achieves significant results right out of the gate. And the research community has rewarded many of them with some of its highest honors.…
