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 self-motivated 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
- 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).