Explore research at Microsoft, a site featuring the impact of research along with publications, products, downloads, and research careers.

Following fast on the heels of its original BLINK app for Windows Phone 8 —which captures a burst of images when you take a photo so you can select the best shot— Microsoft Research Redmond is ...

VCC is a tool that proves correctness of annotated concurrent C programs or finds problems in them. VCC extends C with design by contract features, like pre- and postcondition as well as type ...

Kodu provides an end-to-end creative environment for designing, building, and playing your own new games. The core of the Kodu project is the programming user interface. The language is simple and ...

By Douglas Gantenbein, Senior Writer, Microsoft News Center People love their smartphones—and they love to play games on them. On common smartphone software platforms, including Windows Phone, games ...