About me
Welcome to Yuxiang Peng’s homepage.
Bio
I will join the Department of Computer Science at the Purdue University in 2025 Fall. I am looking for students that are highly interested in my research directions.
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.
Selected Publications
*: equal contribution
- QHDOPT: A Software for Nonlinear Optimization with Quantum Hamiltonian Decent (paper) (code)
- Samuel Kushnir, Jiaqi Leng, Yuxiang Peng, Lei Fan, Xiaodi Wu
- To appear in INFORMS Journal on Computing, 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.