Yuxiang Peng
My research focuses on theoretical and practical explorations of high-assurance software toolchains for quantum computing, including programming languages, compilers, and systems. My research goal is to advance the frontier of and help common users harness the power of modern quantum computers and other emerging computing instruments in various domain problems, such as optimization.
Joined department: Fall 2025
Research Areas
- Computer Architecture
- Programming Languages and Compilers
- Theory of Computing, Algorithms, and Quantum Computing
Education
Ph.D. , University of Maryland, College Park, Computer Science (2024)
M.S., University of Maryland, College Park, Computer Science (2022)
B.E., Tsinghua University, Computer Science (2019)
B.S., Tsinghua University, Mathematics (2019)
My research focuses on theoretical and practical explorations of high-assurance software toolchains for quantum computing, including programming languages, compilers, and systems. My research goal is to advance the frontier of and help common users harness the power of modern quantum computers and other emerging computing instruments in various domain problems, such as optimization.
Selected Publications
Peng Y, Young J, Liu P, et al. SimuQ: A framework for programming quantum Hamiltonian simulation with analog compilation[J]. Proceedings of the ACM on Programming Languages, 2024, 8(POPL): 2425-2455.
Peng Y, Hietala K, Tao R, et al. A formally certified end-to-end implementation of Shor’s factorization algorithm[J]. Proceedings of the National Academy of Sciences, 2023, 120(21): e2218775120.