How to (Really) Trust a Mathematical Proof
Mathematicians develop computer proof-checking systems in order to realize century-old dreams of fully precise, accurate mathematics.
Virtual Telescopes Tweaked
Microsoft Research has made a splash in the past couple of weeks with the "Autumnal Equinox Beta" release of its WorldWide Telescope.
Microsoft's Asia Research Lab Turns 10 Years Old
On Nov. 5, Microsoft marked the 10th anniversary of Microsoft Research Asia, its largest such R&D facility outside of the United States, at its annual Innovation Day in Beijing.
Microsoft Research VP Gives a Look into the Process
Microsoft senior vice president Rick Rashid has been the steady hand at the helm of Microsoft Research for nearly 17 years. Under Rashid?s guidance, Microsoft Research has grown into an organization modeled after academia, yet it has also contributed to Microsoft?s bottom line. SD Times sat down with Rashid to learn about what drives research and how projects surface in shipping products.
News 
