Yuxiang Peng

Assistant Professor at Purdue University

West Lafayette, Indiana, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Yuxiang 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.
code10 years of coding experience
job1 year of employment as a software developer
bookDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of Maryland
bookBachelor of Engineering - BE, Computer Science, Bachelor of Engineering - BE, Computer Science at Tsinghua University
github-logo-circle

Github Skills (14)

compiler-construction10
intermediate10
coq9
quantum-computing9
quantum-algorithms8
nonlinear-optimization8
euler4
circuit3
simulator2
formal-verification2
python2
qiskit2
quadratic-programming1
quantum-programming-language1

Programming languages (5)

Rocq ProverC++CoqJupyter NotebookPython

Github contributions (5)

github-logo-circle
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Contributions:72 pushes in 3 years 7 months
templategithub-pages-templatemmistakesmistakesjekyll
PicksPeng/SimuQ

Feb 2023 - Mar 2025

Contributions:5 releases, 5 reviews, 15 PRs in 2 years
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.
Request Free Trial