Project
Calc Intelligence
By Calc Intelligence, we mean the research goal of bringing intelligence to end-user programming, and in particular to spreadsheets.
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Publication
The BBC micro:bit: from the U.K. to the world
Project
Coyote
Coyote provides developers a programming framework for confidently building reliable asynchronous software on the .NET platform.
Event
Swiss Joint Research Center Workshop 2020
The 7th annual workshop of the Swiss Joint Research Center, a collaborative engagement between Microsoft Research and ETH Zurich and EPFL, took place January 29-30, 2020 at EPFL in Lausanne. Each of the twelve project teams…
Microsoft Research Blog
2020 Ada Lovelace and PhD Fellowships help recipients achieve broad research and educational goals
In their second and thirteenth years respectively, the Ada Lovelace Fellowship and PhD Fellowship continue a Microsoft Research tradition of providing promising doctoral students in North America with funding to support their studies and research.…
Event
Microsoft @ POPL 2020
The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal…
Video
Microsoft Rocket: Hybrid Edge + Cloud Video Analytics Platform
Today, video cameras are being used at a large scale by public and private enterprises for a variety of reasons—from security surveillance and traffic planning to consumer support in retail and hospitality settings. Thanks to…
