Quantum Computing
Microsoft Azure Quantum innovates across every layer of the quantum stack, from software and applications to control and devices. This includes the pursuit of fault-tolerant topological qubits that scale towards a general-purpose quantum computer.
Podcast
News from the front in the post-quantum crypto wars with Dr. Craig Costello
Dr. Craig Costello is in the business of safeguarding your secrets. And he uses math to do it. A researcher in the Security and Cryptography group at Microsoft Research, Dr. Costello is among a formidable…
Microsoft Research Blog
The inner magic behind the Z3 theorem prover
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…
Publication
The Group Structure of Quantum Cellular Automata
Publication
A gate-tunable, field-compatible fluxonium
Publication