a view of a Cambridge skyline

Microsoft Research Cambridge

新闻与深度文章

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

Today, people around the globe—from teac…

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 (opens in new tab) is a framew…

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…

微软研究院博客

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

In video games, nonplayer characters, bo…

LAMBDA graphic
微软研究院博客

| Andy Gordon 和 Simon Peyton Jones

Ever since it was released in the 1980s,…

奖项 | IEEE

3 Microsoft researchers elevated to IEEE Fellow for 2021 

Steve Hodges, Ivan Tashev and Tom Zimmer…

Image of Dr James Somauroo

新闻报道 | The Health-Tech Podcast

The Health-Tech Podcast: #166: Aditya Nori, Lead in Health Intelligence at Microsoft Research Cambridge 

On this weeks Sunday Session I chat to A…

奖项 | ACM

4 Microsoft Researchers named Fellows of the ACM 

Andy Gordon, Dave Maltz, Meredith Ringel…

image of cells

新闻报道 | The Times

Inner Eye AI identifies tumours to speed up treatment of cancer 

A hospital in Cambridge is the first to …