Yuxiang Peng
Assistant Professor at Purdue University
West Lafayette, Indiana, United States
Summary
👤
Senior🎓
Top SchoolYuxiang Peng is an incoming Assistant Professor of Computer Science at Purdue University with nine years of research experience focused on building high-assurance software toolchains for quantum computing. Trained with a PhD from the University of Maryland and dual undergraduate degrees in computer science and mathematics from Tsinghua, he blends formal, theoretical methods with practical systems work to make quantum hardware more accessible to everyday users. His recent industry stint at Artephi Computing sharpened applied deployment skills alongside academic rigor, positioning him to bridge prototype toolchains and production-grade quantum software. Yuxiang’s work emphasizes verifiability and usability in quantum workflows, aiming to lower the barrier for domain scientists to leverage quantum advantage.
9 years of coding experience
1 year of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of MarylandBachelor of Engineering - BE, Computer Science, Bachelor of Engineering - BE, Computer Science at Tsinghua University
Github Skills (15)
compiler-construction10
intermediate9
coq9
quantum-computing9
quantum-algorithms7
circuit5
simulator4
euler4
python4
agda3
verification3
sympy3
formal-verification2
theorem-proving1
quantum-programming-language1
Programming languages (4)
Github contributions (5)
PicksPeng/SimuQ
Feb 2023 - Mar 2025
Contributions:5 releases, 5 reviews, 15 PRs in 2 years
PicksPeng/pickspeng.github.io
Mar 2022 - Mar 2025
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Contributions:71 pushes in 3 years
templategithub-pages-templatemmistakesmistakesjekyll
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.