Browse by Tags

  • Blog Post: Theorem Prover Sheds New Light on Stem-Cell Behavior

    Tweet 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 issue of Science...
  • Blog Post: Microsoft Research Redmond: 2012 in Review

    Posted by Eric Horvitz and Yi-Min Wang, managing co-directors of Microsoft Research Redmond As we look back on the year at Microsoft Research Redmond , a flood of creative efforts and achievements come to mind. These include mission-focused pursuits aimed at solving urgent challenges, the pursuit...
  • Blog Post: Programming Contest Yields Surprising Results

    Tweet Posted by Rob Knies What if they held a programming competition involving hundreds of teams—and everybody won? That might seem improbable, but when viewed through the prism of the contest’s value to its participants, that was precisely what happened during the...