The published research generated by the global research community constitutes a diary of humankind’s scientific achievements. As this output grows year after year, it creates new opportunities for further inquiry—and new challenges in dealing with the volume and complexity of…
Standing atop the tallest educational edifice in the world—the 240-meter (787-foot) tower of Lomonosov Moscow State University (MSU)—really makes you think about the impact of education and research. This is home to some of the brightest minds in the world,…
A special report in the April 19, 2014, issue of The Economist predicted that 70 percent of China’s population—some 1 billion people—will live in cities by 2030. While China’s urban growth offers a higher standard of living to many citizens,…
Posted by George Thomas Jr. Microsoft researcher Vasilis Syrgkanis and two colleagues this week unveiled a new approach to understanding and optimizing online bidding and auctions, with implications far beyond the online advertising marketplace in which their study was based.…
Posted by Allison Linn When Jeannette Wing wrote what would prove to be a seminal paper on the topic of computational thinking, many of her colleagues were in the doldrums. It was the mid-2000s, the dot-com boom had recently busted…
As described during a press conference on April 23, Yonsei University and Microsoft Research have joined hands to develop the first computational thinking (CT) curriculum in Korea. Designed to nurture innovation and problem-solving, the curriculum aims to prepare talented students…
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…
Awards | Association for Computing Machinery
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…
Posted by Allison Linn Microsoft researcher Johannes Kopf Johannes Kopf, a Microsoft researcher who specializes in computer graphics and was key to the development of Microsoft Hyperlapse, has been awarded the 2015 ACM SIGGRAPH Significant New Researcher Award. The award honors…