About me

Welcome to Yuxiang Peng’s homepage.

Bio

I am an Assistant Professor at the Department of Computer Science at the Purdue University. My research focuses on theoretical and practical explorations of high-assurance software toolchains for quantum computing, including programming languages, compilers, systems, and architectures. My research goal is to help common users harness the power of modern quantum computers in various domain problems. Very recently, I am interested in building optimization solvers with emerging technologies.

I am actively looking for self-motivated students 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. 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).