Search Results for author: Liyi Li

Found 2 papers, 1 papers with code

Proving Quantum Programs Correct

2 code implementations3 Oct 2020 Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks

As quantum computing progresses steadily from theory into practice, programmers will face a common problem: How can they be sure that their code does what they intend it to do?

Programming Languages Quantum Physics

A Three-step Model for Optimizing Coil Spacings Inside Cuboid-shaped Magnetic Shields

no code implementations25 Aug 2020 Tianhao Liu, Allard Schnabel, Jens Voigt, Zhiyin Sun, Liyi Li

The three-step model is verified both with FEM and measurements of the field of a Helmholtz coil inside an MSR with a superconducting quantum interference device.

Applied Physics

Cannot find the paper you are looking for? You can Submit a new open access paper.