Group
PROSE
The PROSE research and engineering team, led by Sumit Gulwani, develops APIs for program synthesis (programming by examples and natural language) and incorporates them into real products.
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Video
Expanding the possibilities of programming languages with Bosque
The Bosque Programming Language project investigates the implications of explicitly designing a program language with the goal of supporting automated reasoning tools. This webinar, led by Principal Engineer Mark Marron, explains the ideas behind this…
Microsoft Research Blog
Old tools, new tricks: Improving the computational notebook experience for data scientists
As technology has advanced, the way we accomplish things in our lives has shifted. While new tech is influencing such basic human activities as communication, for instance, encouraging us to reconsider what it means to…
Webinar
Expanding the possibilities of programming languages with Bosque webinar
The Bosque Programming Language project investigates the implications of explicitly designing a program language with the goal of supporting automated reasoning tools. This webinar, led by Principal Engineer Mark Marron, explains the ideas behind this project, the exciting…
Video
Harnessing the problem-solving power of quantum computing
Quantum computers are not only set to revolutionize the way we think about computing, but they also hold the potential to change our understanding of the world. The ability to leverage unique quantum phenomena such…
