Projets
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…
Helping communities take evidence-based action in the fight against human rights violations Human rights are universal – every person on the planet is entitled to the same rights and freedoms that enable a life of dignity. In any given society, however,…
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,…
Établi:
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 the University of Michigan. FrodoKEM is a family of conservative yet practical post-quantum key encapsulation mechanisms…
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,…
Établi:
Today’s computing systems can be thought of as interventions in people’s work and daily lives. But what are the outcomes of these interventions, and how can we tune these systems for desired outcomes? In this project we are building methods…
Holoportation is a new type of 3D capture technology that allows high-quality 3D models of people to be reconstructed, compressed and transmitted anywhere in the world in real time. When combined with mixed reality displays such as HoloLens, this technology…