Research
Below please find an index of news and awards that recognize Microsoft researchers’ contribution to scientific research and commitment to advancing computer science.
The intelligent edge represents those devices from factory floor equipment to fitness trackers or smartphones and more that connect to the cloud but are closest to and directly interacted with by users.
Traditional metrics on performance of the AI component are not sufficient when the AI technology is used by people to accomplish tasks.
Project Everest is a large, collaborative research effort that aims to verify and deploy a new, secure HTTPS stack. All of our code is verified using the F* programming language. Using KreMLin, a dedicated compiler,…
Microsoft today announced that it has acquired Citus Data, a company that focused on making PostgreSQL databases faster and more scalable. Citus’ open-source PostgreSQL extension essentially turns the application into a distributed database and, while…
Microsoft announced plans to transfer the research and technology behind Code Jumper, a physical programming language that is designed to be inclusive of children who are blind or low vision, to the American Printing House…
John Thornhill talks to Chris Bishop, director of Microsoft’s Cambridge research lab, about the potential for exponential growth in the development of software, thanks to machine learning.
WORCESTER, United Kingdom — It’s a warm day in early June and a group of students have gathered in the IT classroom at New College Worcester to show off their coding skills. But instead of…