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 (opens in new tab). This prestigious award honors an institution or individuals for “developing a software system that has had a lasting influence, reflected in contributions…
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…
Posted by Allison Linn Researchers representing Microsoft and Google will present their latest advances Friday in automated image captioning, a hot field that could have broad implications for artificial intelligence. The researchers will be speaking at a workshop that is…
In the news | ComputerWorld
Microsoft has has launched an air quality mobile app for users in China.
Mosquitoes. They can ruin your backyard barbeque and leave you covered with itchy welts. Or, their bites may also transmit dangerous pathogens. The World Health Organization estimates that mosquito-borne diseases kill more than 1 million people annually. In fact, mosquitoes do more…
In the news | Engadget
Project Permonition aims to create a worldwide system for collection and genomic analysis of mosquitoes, capable of detecting potential pathogens and their geographic spread, before they cause disease in the human population.