Microsoft Research Blog

Nobel Prize

  1. Theorem Prover Sheds New Light on Stem-Cell Behavior 

    June 9, 2014

    Posted by Rob Knies Advances in computer science in recent years have had dramatic effects on how more traditional sciences are conducted in the 21st century. That has become common knowledge by now, but if you require further proof, just turn to the June 6…

  2. Chayes, Lamport Elected Fellows of American Academy of Arts & Sciences 

    April 23, 2014

    Posted by Rob Knies George Washington and Benjamin Franklin, meet Jennifer Chayes and Leslie Lamport. Figuratively speaking, that’s what happened on April 23, when the American Academy of Arts & Sciences announced that Chayes and Lamport, of Microsoft Research, have been elected as Fellows.Chayes and…

  3. Testing Tools at a Conference Week in Zurich 

    July 21, 2011

    The beautiful interior of the Eidgenössische Technische Hochschule’s (ETH, the Swiss Federal Institute of Technology) main building in Zurich is always abuzz with conferences at the end of June, including TOOLS—and this year was no exception. Now in its forty-ninth iteration, TOOLS was a week-long…

  4. Celebrating Richard Feynman at TEDxCaltech 

    February 4, 2011

    One of the responsibilities for us as researchers is to have the courage to challenge accepted "truths" and to seek out new insights. Richard Feynman was a physicist who not only epitomized both of these qualities in his research but also took enormous pleasure in…