Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
The increasing ubiquity of devices capable of capturing videos has led to an explosion in the amount of recorded video content. Instead of “eyeballing” the videos for potentially useful information, it has therefore been a…
In a group — Microsoft Research — where most of the researchers have PhDs, what can high school students contribute? How can Microsoft contribute to high school students? Those questions were answered this summer, when…
The 2017 Grace Hopper Celebration of Women in Computing (GHC) is the world’s largest gathering of women technologists, where the best minds in computing convene to highlight the contributions of women to computing. Microsoft is a proud…
Many of the major security problems are caused by small programming errors, which could be avoided by automating menial programming tasks through program synthesis. However, program synthesis is still limited to a few lines of…
