Projects
Kinect for Windows SDK beta
Coming later this spring, the Kinect for Windows SDK is a programming toolkit that will enable researchers and enthusiasts easy access to the capabilities offered by the Microsoft Kinect device connected to computers running Microsoft Windows 7.
Microsoft Tag

Microsoft Tag connects real life with the digital world. Microsoft Tags are small, colorful codes that can be printed, stuck, or displayed just about anywhere. When you snap a Tag with the camera on your internet-enabled phone, additional information or experiences are automatically opened on your phone. There is no fumbling with URLs or texting short codes. Microsoft Tags can make product packages, posters, print-based ads, magazine articles, exhibit signage, billboards, storefronts, business card, or just about anything else, interactive.

Songsmith generates musical accompaniment to match a singer’s voice. Just choose a musical style, sing into your PC’s microphone, and Songsmith will create backing music for you. Then share your songs with your friends and family, post your songs online, or create your own music videos.
The WorldWide Telescope (WWT) is a rich visualization environment that functions as a virtual telescope, bringing together imagery from the best ground- and space-based telescopes in the world to enable seamless, guided explorations of the universe.

Personal Web Site
Contact Info
- Microsoft Research Redmond
One Microsoft Way
Redmond, WA 98052 U.S.
(800) 642-7676
- High School Hackathon: 500 Budding Teen Geeks Learn How to Code
Microsoft Research scientists helped more than 500 students from Seattle schools get an introduction to software development May 23 on the first App Day hackathon.
Fri, 24 May 2013 01:52:00 GMT - Microsoft Showcases New Technologies in D.C.
At the Microsoft Research D.C. TechFair, the software giant displayed some of its most cutting-edge innovations. Here’s a look at the programs and tools on display.
Thu, 23 May 2013 23:00:00 GMT - New Ways to Visualize Your Data
New data-visualization apps from Microsoft Research have been added to Apps for Office, where people can download them for free to obtain new ways to take a look at their data collections.
Thu, 23 May 2013 07:00:00 GMT - Microsoft Brings Cutting-Edge Tech to Washington
Microsoft Research brought a wealth of new technology to show on May 21 during the biennial D.C. TechFair.
Wed, 22 May 2013 16:30:00 GMT - Sharing a Glimpse of the Future of Technology
Microsoft researchers share a look at future trends and technologies changing the face of computing May 21 during the biennial D.C. TechFair.
Tue, 21 May 2013 17:00:00 GMT
- FaST-LMM-Set
FaST-LMM-Set extends the capabilities of FaST-LMM to handle associations between sets of variants and phenotype.
Wed, 22 May 2013 22:53:42 GMT - Verifiable computing
Verifiable computation schemes enable a client to outsource the computation of a function F on various inputs to an untrusted worker, and then verify the correctness of the returned results. Critically, the outsourcing and verification procedures must be more efficient than performing the computation itself. The code included here implements the Pinocchio toolchain, as described in "Pinocchio: Nearly Practical Verifiable Computation" at the IEEE Symposium on Security and Privacy, 2013.
Wed, 15 May 2013 19:27:58 GMT - F*: A Verifying Compiler for ML
F* extends core-ML with a type system based on dependent refinements, higher kinds and affine types. It enables verification of higher-order stateful programs with automation via SMT solving.
Mon, 29 Apr 2013 21:03:03 GMT - Microsoft Research Mood Board
Microsoft Research Mood Board is a Windows application that combines image search, image collection, and sketching to support creative activities.
Wed, 24 Apr 2013 03:53:10 GMT - Microsoft Invisible Computing Platform
Microsoft Invisible Computing consists of compact middleware for constructing embedded web services applications and a small component based Real-Time Operating System with TCP/IP networking to make middleware run straight on the metal on several embedded processors. The goal is to make it easy to build custom smart devices and consumer electronics, especially battery operated; and to support research in invisible computing, operating systems, networking, ubiquitous computing, sensor nets, distributed systems, object-oriented design, and wireless communication.
Tue, 23 Apr 2013 13:47:51 GMT



