Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Microsoft Research: Pushing the Boundaries of What’s Possible
Whether it’s computer vision or data visualizations, wearable computing or ways to improve our health and well-being, Microsoft Research pursues a wide variety of scientific investigations to push the boundaries of what technology can do.…
Automated Problem Generation for Education
Intelligent Tutoring Systems (ITS) can significantly enhance the educational experience, both in the classroom and online. A key aspect of ITS is the ability to automatically generate problems of a certain difficulty level and that…
Flash Fill Gives Excel a Smart Charge
By Douglas Gantenbein, Senior Writer, Microsoft News Center In December 2009, Sumit Gulwani, a senior researcher at Microsoft Research Redmond, was flying home from a seminar after presenting his work devising ways to synthesize complex…