Yuxiang Peng

Yuxiang Peng

Graduate Student at University of Maryland, College Park

About me

Welcome to Yuxiang Peng’s homepage.

Bio

I obtained my Ph.D. at the Department of Computer Science, University of Maryland, College Park in Spring 2024. I was also affiliated with the Joint Center for Quantum Information and Computer Science. I was advised by Prof. Xiaodi Wu. My research focuses on theoretical and practical explorations of high-assurance software toolchains for quantum computing. My research goal is to help common users harness the power of modern quantum computers in various domain prblems. Very recently, I am interested in building optimization solvers with emerging technologies.

In 2019, I received a Bachelor of Engineering from the Institute for Interdisciplinary Information Science, Tsinghua University, and a Bachelor of Science (double major) from the Department of Mathematical Science, Tsinghua University. In 2022, I received a Master of Science from the Department of Computer Science, University of Maryland, College Park.

I will join Purdue University Department of Computer Science. I am looking for students that are highly interested in my research directions.

Selected Publications

*: equal contribution

  • QHDOPT: A Software for Nonlinear Optimization with Quantum Hamiltonian Decent (code)
    • Samuel Kushnir, Jiaqi Leng, Yuxiang Peng, Lei Fan, Xiaodi Wu
    • Manuscript, 2024.
  • SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Compilation (paper) (website) (code)
    • Yuxiang Peng, Jacob Young, Pengyu Liu, Xiaodi Wu
    • In Proceedings of the ACM on Programming Languages, 8 (POPL), 2425-2455, 2024.
  • A Formally Certified End-to-End Implementation of Shor’s Factorization Algorithm (paper) (code)
    • Yuxiang Peng, Kesha Hietala, Runzhou Tao, Liyi Li, Robert Rand, Michael Hicks, Xiaodi Wu
    • In the Proceedings of the National Academy of Sciences (PNAS) 120 (21) e2218775120, 2023.
  • Differentiable Analog Quantum Computing for Optimization and Control (paper) (code)
    • Jiaqi Leng*, Yuxiang Peng*, Yi-Ling Qiao*, Ming Lin, Xiaodi Wu
    • In the 36th Conference on Neural Information Processing Systems (NeurIPS 2022).
  • Algebraic Reasoning of Quantum Programs via Non-idempotent Kleene Algebra (paper)
    • Yuxiang Peng, Mingsheng Ying, Xiaodi Wu
    • In Proceedings of the 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2022).
About me | Yuxiang Peng @ UMD