Project
TouchDevelop
Create apps everywhere on all your devices! For Windows Phone and the web. In the TouchDevelop programming environment you write scripts by tapping on the screen. You do not need a separate PC or keyboard.…
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Video
Sho: Scientific Computing on .NET Steroids Tutorial
Sumit Basu of Microsoft Research presents this tutorial at Faculty Summit 2011. Sho, based on Microsoft’s IronPython, is a dynamic programming environment that connects seamlessly to Microsoft .NET, making a broad set of languages, libraries,…
Microsoft Research Blog
Researchers Cherish University Roles
By Janie Chang, Writer, Microsoft Research For the past 11 years, the Microsoft Research Faculty Summit has brought academic and government research professionals together to share perspectives on new research, the challenges facing the research…
Event
Faculty Summit 2011
The twelfth Microsoft Research Faculty Summit provided a forum for lively debate of the development, application, and funding of technologies in the environmental, medical, and educational spheres over a long period of time. The program…
Video
2011 Design Expo
The Faculty Summit 2011 Design Expo showcased the best student design solutions related to this year’s theme: “Get Connected and Stay Connected.” Curtis Wong of Microsoft Research hosted this session. The schools that participated in…
Publication
Quantitative Synthesis for Concurrent Programs
Publication
Logic of Infons: the Propositional Case
Publication