__________

Enabling Quantum Algorithms in the Presence of Noise — Emerging quantum computing applications need theoretical efficiency guarantees and practical noise-resilient implementations in order to show their advantage over classical algorithms. We are exploring quantum circuit designs that achieve high accuracy for problems such as Hamiltonian simulations, optimizations, and machine learning tasks.

Designing Efficient Compiling Software — Traditional quantum compilation typically seeks universality, in that it decomposes any target unitary into a sequence of instructions from a set of basis gates. We are developing systems software that takes advantage of device connectivity and ancillary qubits to better understand the conditions for efficient universality.

Architectural Support for Quantum Noise Mitigation and Error Correction — We are recently developing application- and device-adapted error correction methods and exploring the role of architecture in enabling efficient detecting and decoding of errors.