Research
Citing 25 years of significant impact on software engineering research, the IEEE Computer Society Technical Council on Software Engineering has awarded Microsoft Research the 2016 TCSE Distinguished Synergy Award. The award was presented Thursday, May 19, at the International Conference on Software Engineering in Austin,…
By Judith Bishop, Director of Computer Science, Microsoft Research Throughout his life, Albert Einstein, who pioneered the theory of relativity, was skeptical about quantum computing. He was of the opinion that the quantum mechanical theory was incomplete, and was “spooky action at a distance.” How…
By Judith Bishop (opens in new tab), Director of Computer Science, Microsoft Research A thriving research and development ecosystem relies on connecting innovators with the tools for innovation. When we launched the Microsoft Open Source Challenge (opens in new tab) earlier this year, that’s just…
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 sixteenth annual Faculty Summit, are…
On July 8–9, more than 350 academic researchers and educators will join Microsoft researchers and engineers for the sixteenth annual Microsoft Research Faculty Summit in Redmond, Washington. The annual Faculty Summit is one of those rare events that brings together a cross-disciplinary collection of academic…
Students dream of attending major conferences, where they can present their work and interact with top researchers. For many, however, this dream remains just that, as funds for student attendance are in short supply. Microsoft Research receives many requests to fund conferences each year, and…
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 to concepts, in commercial acceptance,…
Wandering through the streets of Madrid, alive with people socializing until late at night, I was reminded of the importance of networking and collaboration. For Microsoft Research, it is our lifeblood. Through our joint research centers, along with internships, scholarships, fellowships, and visitor programs, we…
Launched a year ago, Code Hunt is a coding game that challenges players first to deduce a hidden problem from clues presented as unit tests and then to write a program to solve it. The game has been enormously successful, attracting more than 150,000 players…
We’re here at the Microsoft Conference Center in Redmond, Washington, where the first day of the 2014 Microsoft Research Faculty Summit is underway. The event kicked off with an opening keynote from Harry Shum, executive vice president of Microsoft’s Development and Research group, during which…
Cybercity—there is no place quite like it. Home to numerous high-tech companies as well as the Microsoft India Development Center (MSIDC), this ever-growing part of Hyderabad, India, is the perfect location for the 36th International Conference on Software Engineering (ICSE). This gathering of 1,200 computer…
Chile is a long way from Microsoft Research Redmond, but its bright, inquisitive students and talented, motivated professors share our fascination in the promise of innovative software technologies. Our shared values were on clear display when representatives from Microsoft Research visited the University of Chile…