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
- 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 - ‘Science and Nature Are Borderless, Classless’
The excitement of breaking barriers and discovering frontiers: This is how P. Anandan, managing director, Microsoft Research India, described "research," a path less travelled by students in India.
Mon, 20 May 2013 21:00:00 GMT - Realizing Practical Benefits from Research
The Software Analytics Group at Microsoft Research Asia offers a data-driven approach to improving Microsoft products and services.
Mon, 20 May 2013 16:00:00 GMT - Audio: Troubling Trends in Scientific Software Use
In this podcast, Lucas Joppa of Microsoft Research Cambridge argues that modeling and the software that enables modeling, but scientific software can create problems for the scientific community.
Mon, 20 May 2013 07:00:00 GMT - Data Points to Denmark Win, Claims Microsoft Expert
Forget the sequins. Cold, hard data predicts that Europe will vote for Denmark at the Eurovision song contest on Saturday, says a top researcher at Microsoft.
Fri, 17 May 2013 20:04:00 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 - 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.
Mon, 22 Apr 2013 23:40:35 GMT
