Microsoft Research

Traditional software development activities (like editing, testing, debugging, and others) often need to be carried out by individuals who are not typical software developers.

The Bosque Programming Language project investigates the implications of explicitly designing a program language with the goal of supporting automated reasoning tools.

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.

Developer Velocity Lab (DVL) is a research initiative from Microsoft, its research labs, and GitHub. Our mission is to discover, improve, and amplify developer work and well-being.

Originally a discipline limited to academic circles, machine learning is now increasingly mainstream, being used in more visible and impactful ways.

A large-scale quantum computer would break the public key cryptography that is currently used to secure the internet.

As the world prepares for the advent of the quantum computer, the security community must also prepare to defend against it. Most of the cryptography currently in use succumbs to quantum attacks.

Auditing natural language processing (NLP) systems for computational harms remains an elusive goal.

Microsoft, Guide Dogs UK, and Future Cities Catapult launch the results of the first phase of an exciting project which will revolutionize how people with sight loss, and the sighted, experience the

Cities Unlocked is a unique collaboration between Guide Dogs UK and Microsoft, which explores the potential technology has to enable people living with sight loss to get out and about, independently

Inspired by fatherhood, Amos corralled a group of people at the Guide Dogs for the Blind and Microsoft and together they set out on a quest to reimagine independence and mobility of blind people

The Platform for Situated Intelligence Workshop took place on April 27-28, 2021.

The Platform for Situated Intelligence Workshop took place on April 27-28, 2021.

The audio-visual immersion of game engines and virtual reality/mixed reality has a vast range of applications, from entertainment to productivity.

More accurate machine learning models often demand more computation and memory at test time, making them difficult to deploy on CPU- or memory-constrained devices.

Software is becoming increasingly more distributed, making asynchronous programming the norm, yet programming languages and tools have been slow to provide the help needed to really address all the

Episode 008 |

Join global thought leaders at the intersections of health, wellbeing, medical and scientific innovations and their impacts on society.

In this talk we will discuss the general architecture of speech enhancement pipelines for the needs of hands-free telecommunication and distant speech recognition.

Join global thought leaders at the intersections of health, wellbeing, medical and scientific innovations and their impacts on society.

Watch the extended version: youtu.be/mi5b142WEmw Recent work on Neural Radiance Fields (NeRF) showed how neural networks can be used to encode complex 3D environments that can be rendered

Sequential Decision Analytics: A unified framework Warren Powell is Professor Emeritus at Princeton University and Chief Analytics Officer of Optimal Dynamics.

Privacy-Preserving Federated Analytics at Scale Andreas Haeberlen is an Associate Professor at the University of Pennsylvania.

Image retrieval systems allow individuals to find images that are semantically similar to a query image.

The latest trend in AI is that larger natural language models provide better accuracy; however, larger models are difficult to train because of cost, time, and ease of code integration.

The audio-visual immersion of game engines and virtual reality/mixed reality has a vast range of applications, from entertainment to productivity.

Project Arno team has implemented an accelerated packet gateway for 4G cellular networks using Microsoft Catapult FPGA platform.

Optimization of many deep learning hyperparameters can be formulated as a bilevel optimization problem.

Sustaining growth in storage and computational needs is increasingly challenging.

Most relational database engines allow users to express their intent with both declarative SQL and imperative functions/procedures, and practitioners often combine the two in database applications.