The recent advances in quantum computing offer many advantages—but also challenge current cryptographic strategies. Learn how FrodoKEM could help strengthen security, even in a future with powerful quantum computers.
In this issue: Microsoft researchers win four more awards; AutoRXN automates calculations of molecular systems; LLM accelerator losslessly improves the efficiency of autoregressive decoding; a frequency domain approach to predict power system transients.
Welcome to Research Focus, a new series of blog posts that highlights notable publications, events, code/datasets, new hires and other milestones from across the research community at Microsoft. Jan P. Unsleber, Hongbin Liu, Leopold Talirz, Thomas Weymuth, Maximilian Mörchen, Adam Grofe, Dave Wecker, Christopher J.…
Technological innovation that enables scaling of quantum computing underpins the Microsoft Azure Quantum (opens in new tab) program. In March of this year, we announced (opens in new tab) our demonstration of the underlying physics required to create a topological qubit—qubits that are theorized to…
Quantum computing promises to help us solve some of humanity’s greatest challenges. Yet as an industry, we are still in the early days of discovering what’s possible. Today’s quantum computers are enabling researchers to do interesting work. However, these researchers often find themselves limited by…
Quantum computing offers the promise of solutions to previously unsolvable problems, but in order to deliver on this promise, it will be necessary to preserve and manipulate information that is contained in the most delicate of resources: highly entangled quantum states. One thing that makes…
Microsoft researchers pursue the big questions about what the world will be like in the future and the role technology will play. Not only do they take on the responsibility of exploring the long-term vision of their research, but they must also be ready to…
While there has been a focus in the quantum computing industry on growing the number of qubits in a quantum computer, the reality is there are many important factors when building an overall system to bring quantum solutions to fruition. Hardware scaling, temperature control, software…
One of the goals of quantum computing research is to understand which problems quantum computers can solve faster than classical (non-quantum) computers and how big the speedup can be. Grover’s algorithm and Shor’s algorithm are two famous quantum algorithms that yield a polynomial speedup and…
It’s not uncommon for us to hear that the Z3 theorem prover is magical, but the frequency of such complimentary feedback doesn’t make it any less unexpected—or humbling. When we began work on Z3 in 2006, the design was motivated by two emerging use cases:…
Microsoft Research is proud to announce the 2019 winners of the Ada Lovelace Fellowship and PhD Fellowship. The Ada Lovelace Fellowship is a new fellowship for Microsoft Research, established to support diverse talent getting doctorates in computing-related fields by providing three years of funding for…
Burton J. Smith, an internationally recognized leader in high performance computer architecture, a co-founder of Cray, Inc. and a Microsoft technical fellow who innovated in the field of parallel computing and devoted his life to helping others, died April 3 at Regional Hospital in Highline…
Meet our community of researchers, learn about exciting research topics, and grow your network
Ongoing conversations at the cutting edge of research
Join us for a continuous exchange of ideas about research in the era of general AI
