PhD Proposal: Program Synthesis for Quantum Applications
Haowei Deng
Friday, May 5, 2023, 3:00-5:00 pm 
Abstract
Quantum Computing leverages the quantum properties of subatomic matter to enable algorithms faster than those possible on a regular computer. Quantum Computers have become
increasingly practical in recent years, with some small-scale machines available for
public use. However, quantum programs are notoriously difficult to code and verify due to the unintuitive quantum knowledge associated with quantum programming. Automated tools that relieve the tedium and errors associated with low-level quantum details are highly desirable.
My research focuses on developing theoretical and practical tools to automatedly synthesize desired quantum programs in the different quantum application domains. I first present QSynth, a quantum
program synthesis framework that initiates the study of program synthesis for unitary quantum programs. Then I present MQCC, the first general-purpose quantum meta-programming framework which helps programmers balance trade-offs among a large number of factors specific to the targeted application and quantum hardware. I also present ongoing projects for synthesizing quantum error correction code with a low probability of an undetected error and synthesizing Variational Quantum Eigensolvers Ansatz with high trainability.
increasingly practical in recent years, with some small-scale machines available for
public use. However, quantum programs are notoriously difficult to code and verify due to the unintuitive quantum knowledge associated with quantum programming. Automated tools that relieve the tedium and errors associated with low-level quantum details are highly desirable.
My research focuses on developing theoretical and practical tools to automatedly synthesize desired quantum programs in the different quantum application domains. I first present QSynth, a quantum
program synthesis framework that initiates the study of program synthesis for unitary quantum programs. Then I present MQCC, the first general-purpose quantum meta-programming framework which helps programmers balance trade-offs among a large number of factors specific to the targeted application and quantum hardware. I also present ongoing projects for synthesizing quantum error correction code with a low probability of an undetected error and synthesizing Variational Quantum Eigensolvers Ansatz with high trainability.
Examining Committee
Bio
| Haowei Deng is a Phd Student working on quantum computing and program synthesis with Professor Xiaodi Wu. |
This talk is organized by Tom Hurst