a view of a Cambridge skyline

Microsoft Research Cambridge

新闻与深度文章

新闻报道 | Microsoft Worklab

How teams from across Microsoft worked together to help remote and in-person workers see eye to eye. It began with a couple of folding tables from Costco. In November, Greg Baribault, a product leader for Microsoft Teams, and his colleague…

Career Award | The Royal Society

Abigail Sellen is elected as one of the most highly cited and influential scientists in the field of Human-Computer Interaction. Her career has spanned both academia and industrial research with many of the world’s leading technology companies, and her seminal…

Advancing Excel as a programming language with Andy Gordon and Simon Peyton Jones on the Microsoft Research Podcast
微软研究院播客

Today, people around the globe—from teachers to small-business owners to finance executives—use Microsoft Excel to make sense of the information that occupies their respective worlds, and whether they realize it or not, in doing so, they’re taking on the role…

An animation showing an example of a high-level language message format specified by EverParse. From the message, two arrows labeled “EverParse” point to a rectangle labeled “formal specification” and a rectangle labeled “low-level implementation,” respectively, inside a larger rectangle labeled “F* code.” The figure represents EverParse’s ability to automatically generate safe, correct, and fast F* parsing code. “Correctness” is defined as “Correctness: ​parse (serialize msg) = msg​” and “valid msg ==> serialize (parse msg) = msg​.” The F* logo appears with the description that F* is a type theory–based programming language and proof assistant that can prove theorems about programs​. From the “F* code” rectangle, arrows point from the “low-level implementation” rectangle and a rectangle labeled “verified libraries for combinators” to a rectangle labeled “Safe high-performance C code.”
微软研究院博客

| Tahina Ramananandro, Aseem Rastogi, 和 Nikhil Swamy

EverParse is a framework for generating provably secure parsers and formatters used to improve the security of critical code bases at Microsoft. EverParse is developed as part of Project Everest, a collaboration between Microsoft Research labs in Redmond, Washington; India;…

Figure 2: A flowchart depicting unstructured text being processed though a query engine, a probabilistic parser, and probabilistic clustering to produce a unified knowledge base
微软研究院博客

| Sanil Rajput , John Winn, Naomi Moneypenny, Yordan Zaykov, 和 CJ Tan

Project Alexandria is a research project within Microsoft Research Cambridge dedicated to discovering entities, or topics of information, and their associated properties from unstructured documents. This research lab has studied knowledge mining research for over a decade, using the probabilistic…

微软研究院博客

| Batu Aytemiz, Mikhail Jacob, Sam Devlin, 和 Katja Hofmann

In video games, nonplayer characters, bots, and other game agents help bring a digital world and its story to life. They can help make the mission of saving humanity feel urgent, transform every turn of a corner into a gamer’s…

LAMBDA graphic
微软研究院博客

| Andy Gordon 和 Simon Peyton Jones

Ever since it was released in the 1980s, Microsoft Excel has changed how people organize, analyze, and visualize their data, providing a basis for decision-making for the millions of people who use it each day. It’s also the world’s most…

奖项 | IEEE

Steve Hodges, Ivan Tashev and Tom Zimmermann were elevated to the level of IEEE Fellow for 2021. The accomplishments that are being honored are a result of important contributions that led to the advancement or application of engineering, science and…

Image of Dr James Somauroo

新闻报道 | The Health-Tech Podcast

On this weeks Sunday Session I chat to Aditya Nori, lead of the Health Intelligence theme at Microsoft Research Cambridge, where their mission is to transform the practice of medicine via trusted and human-centred AI. In the past, Aditya has…