Microsoft Research Blog

Z3 wins 2015 ACM SIGPLAN Award 

June 16, 2015
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,…

Recent Posts

  1. Z3 wins 2015 ACM SIGPLAN Award 

    June 16, 2015

    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,…

  2. Microsoft researchers tie for best image captioning technology 

    June 11, 2015

    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 part of CVPR, an annual…

  3. Microsoft’s Rick Szeliski previews CVPR 2015 

    June 8, 2015

    I read through some of the papers to be presented at CVPR 2015 this week and noticed interesting trends emerging. The opening session addresses two of the most exciting and active areas of research within computer vision, namely deep learning and modeling from depth cameras. The…

  4. Exposing young people to linguistics 

    June 5, 2015

    How did you do in your high school linguistics courses? What? Your high school didn’t offer any linguistics classes? Well, you’re not alone; it’s difficult to find any secondary school in the world that formally teaches linguistics. As a scientist, I find that unfortunate. It…

  5. LiveLabs: testing the usefulness of mobile data 

    May 29, 2015

    What if a mobile game maker could determine the “who, when, and where” that lead to the most satisfying gaming experience? What if they knew precise combination of demographics, location, and recent activities—say young men, in their dorm room, after a meal—that yields the highest…

  6. Chain reaction of collaboration 

    May 28, 2015

    Over the years, Microsoft Research Asia has fostered connections among a variety of people in the computer science and technology fields, especially by bringing together Microsoft researchers, interns, and university professors to collaborate on continuing projects. Such was the case when Microsoft Research Asia researcher…

  7. Celebrating the first Microsoft Research Korea • Japan Academic Day 

    May 21, 2015

    Looking out the windows of Microsoft Korea’s headquarters, I enjoy a magnificent sight: Gyeongbok Palace, Seoul’s most recognizable landmark, which spreads below me in its centuries-old splendor. Another inspiring sight adorns the office walls around me: posters describing research projects from Korea and Japan, each…

  8. Microsoft issues RFP for Surface Hub 

    May 19, 2015

    This past January, Microsoft revealed to the world Microsoft Surface Hub, a state-of-the-art, large-format, pen and touch computing device—think of it as a digital whiteboard on steroids—that empowers our enterprise customers to collaborate, brainstorm, and get insight into their data. This product brings together the…

Explore More

  • Events & conferences

    Events & conferences 

    Meet our community of researchers, learn about exciting research topics, and grow your network

  • Podcasts

    Podcasts 

    Ongoing conversations at the cutting edge of research

  • Microsoft Research Forum

    Microsoft Research Forum 

    Join us for a continuous exchange of ideas about research in the era of general AI