Qianyang Peng is a Senior Software Engineer with 11 years of experience, currently working on Client Infrastructure and Core Workflow for Google Display & Video 360. He moved up through Google since 2019, bringing deep engineering rigor from a strong academic foundation in programming languages and formal methods (MS, UIUC) and a CS BS from Shanghai Jiao Tong. His background blends production-scale adtech infrastructure with formal-methods thinking, enabling reliable, auditable workflows in complex distributed systems. Prior internship experience at Runtime Verification reflects an early focus on correctness and tooling for software assurance. Based in Seattle, he pairs pragmatic product shipping with a research-minded approach to design and automation. Colleagues would note his knack for turning formal concepts into scalable engineering solutions behind the scenes.
11 years of coding experience
6 years of employment as a software developer
Master of Science - MS Programming Languages Formal Methods and Software Engineering, Master of Science - MS Programming Languages Formal Methods and Software Engineering at University of Illinois Urbana-Champaign
Bachelor of Science (B.Sc.) Computer Science & Technology (IEEE Honor Class), Bachelor of Science (B.Sc.) Computer Science & Technology (IEEE Honor Class) at Shanghai Jiao Tong University
Contributions:6 PRs, 21 pushes, 5 branches in 1 year 10 months
game
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
Qianyang Peng - Senior Software Engineer at Google