项目
Cryptography in the era of quantum computers The private communication of individuals and organizations is protected online by cryptography. Cryptography protects our information as it travels over and is stored on the internet—whether making a purchase from an online store,…
Lean is a functional programming language and interactive theorem prover. Our project strives to revolutionize mathematics by empowering anyone with an interest to grow in the field using Lean as their assistant. Lean was developed by Microsoft Research in 2013…
New advances in graph machine learning paired with telemetry unlock a disruptive new ability to measure and reason about how organizations function. The modern workplace has changed the way collaborative work is performed. With the shift to remote and hybrid…
The purpose of this research is to provide an immersive, visually natural videoconferencing experience that is much closer to an in-person, face-to-face meeting than existing conferencing products.
Transitioned | By exploring new biological and chemical circularity pathways, Project Zerix aims to achieve net-zero embodied carbon and net-zero waste in our datacenters and beyond — eliminating environmental impacts that pose threats to the health of our people, ecosystems,…
成立:
Project Freta is a free, cloud-based offering from the New Security Ventures (NSV) team at Microsoft Research that provides automated full-system volatile memory inspection of Linux systems.
The FrodoKEM post-quantum cryptography project is a collaboration between researchers and engineers at CWI, Google, McMaster University, Microsoft Research, NXP Semiconductors, Stanford University, and University of Michigan. FrodoKEM is a family of conservative yet practical post-quantum key encapsulation mechanisms with security…
Transitioned | This project enables molecular-level data storage into DNA molecules by leveraging biotechnology advances in synthesizing, manipulating and sequencing DNA to develop archival storage. Microsoft and University of Washington researchers are collaborating to use DNA as a high density,…
We are investigating AI enabled applications that utilize multiple modalities for passive biosensing, working in conjunction with the Microsoft ecosystem to provide a personalized health and user experience.