Quantum Computing - Microsoft Research

Microsoft Research Blog

The inner magic behind the Z3 theorem prover

October 16, 2019 | Nikolaj Bjørner, Leonardo de Moura

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…

Microsoft researchers Nikolaj Bjørner (left) and Leonardo de Moura (center) received the 2019 Herbrand Award for Distinguished Contributions to Automated Reasoning in recognition of their work in advancing theorem proving. They’re pictured with Jürgen Giesl (right) of the award committee.

Publication

The Group Structure of Quantum Cellular Automata

Michael Freedman, Jeongwan Haah, Matthew Hastings

October 2019

Publication

A gate-tunable, field-compatible fluxonium

Marta Pita-Vidal, Arno Bargerbos, Chung-Kai Yang, David J. van Woerkom, Wolfgang Pfaff, Nadia Haider, Peter Krogstrup, Leo Kouwenhoven, Gijs de Lange, Angela Kou

Physical review applied | October 2019, Vol 14(6)

Publication

Spectral response of Josephson junctions with low-energy quasiparticles

Anna Keselman, Chaitanya Murthy, Bernard van Heck, Bela Bauer

2019 SciPost Physics | October 2019, Vol 7(4): pp. 50

Publication

On Realizing Modular Data

Parsa Bonderson, Eric C. Rowell, Zhenghan Wang

October 2019

Publication

Cryo-CMOS Band-gap Reference Circuits for Quantum Computing

Yuanyuan Yang, Kushal Das, Alireza Moini, David Reilly

October 2019

Publication

Dispersive sensing in hybrid InAs/Al nanowires

Deividas Sabonis, Eoin O'Farrell, Davydas Razmadze, David M. T. van Zanten, Judith Suter, Peter Krogstrup, Charles Marcus

Applied Physics Letters | September 2019, Vol 115(10): pp. 102601

Publication

Current-phase relations of InAs nanowire Josephson junctions: From interacting to multimode regimes

Sean Hart, Zheng Cui, Gerbold Ménard, Mingtang Deng, Andrey Antipov, Roman Lutchyn, Peter Krogstrup, Charles Marcus, Kathryn A. Moler

Physical Review B | August 2019, Vol 100(6)

Publication

Selective-area chemical beam epitaxy of in-plane InAs one-dimensional channels grown on InP(001), InP(111)B, and InP(011) surfaces

Joon Sue Lee, Sukgeun Choi, Mihir Pendharkar, Daniel J. Pennachio, Brian Markman, Michael Seas, Sebastian Koelling, Marcel A. Verheijen, Lucas Casparis, Karl Petersson, Ivana Petkovic, Vanessa Schaller, Mark J. W. Rodwell, Charles Marcus, Peter Krogstrup, Leo Kouwenhoven, Erik Bakkers, Chris J. Palmstrøm

Physical Review Materials | August 2019, Vol 3(8): pp. 84606

Publication

Ballistic superconductivity and tunable π-junctions in InSb quantum wells

Chung Ting Ke, Christian M. Moehle, Folkert K. de Vries, Candice Thomas, Sara Metti, Charles R. Guinn, Ray Kallaher, Mario Lodari, Giordano Scappucci, Tiantian Wang, Rosa E. Diaz, Geoff Gardner, Professor Michael J Manfra, Srijit Goswami

Nature Communications | August 2019, Vol 10(1): pp. 3764