Barney's Blog

Blog archive

Twenty Years of Microsoft Research

Microsoft Research recently turned 20. And while it is still not able to drink legally in the U.S., I'm sure nearly 100 percent of its employees can.

Five years ago I wrote a couple of pieces on Microsoft Research, found here and here.

I don't know what made me do it but I started looking through all the research projects at Microsoft -- there were hundreds, and most I couldn't fathom at all.

Do you know what Self-Certification: Bootstrapping Certified Typecheckers in F* with Coq or Null dereference verification via overapproximated weakest precondition analysis? I sure don't.

After going through tens of dozens of projects and papers, what I did find is much of Microsoft's research is aimed at solving very human problems: hunger, disease, understanding the universe.

I spent a lot of time digging and found that Microsoft pays its brainiacs to work with other top researchers around the globe on all these issues. And this is all gratis.

There is another reason Microsoft Research exists -- to help build products. One of its biggest items to come out of this department in recent time was the Kinect.

Xconomy in Seattle recently interviewed Rich Rashid, long-time chief at MS Research who remembers fondly all the great stuff his group has done.

Also, Keith Ward, editor in chief of Visual Studio magazine did a similar interview some time ago.

Posted by Doug Barney on 10/12/2011 at 1:18 PM


Featured

  • Microsoft Offers More Help on Windows Server 2008 Upgrades

    Microsoft this week published additional help resources for organizations stuck on Windows Server 2008, which fell out of support on Jan. 14.

  • Microsoft Ups Its Carbon Reduction Goals

    Microsoft on Thursday announced a corporatewide carbon reduction effort that aims to make the company "carbon negative" by 2030.

  • How To Dynamically Lock Down an Unattended Windows 10 PC

    One of the biggest security risks in any organization happens when a user walks away from their PC without logging out. Microsoft has the solution (and it's not a password-protected screensaver).

  • First Stable Chromium-Based Microsoft Edge Browser Released

    Microsoft on Wednesday announced the first release of its Chromium-based Microsoft Edge browser at the "stable" commercial-release stage.

comments powered by Disqus

Office 365 Watch

Sign up for our newsletter.

Terms and Privacy Policy consent

I agree to this site's Privacy Policy.