Yan Peng
Graduate Research And Teaching Assistant
Vancouver, British Columbia, Canada
Summary
👤
Senior🎓
Top SchoolYan Peng is a Ph.D.-trained researcher and teaching assistant at the University of British Columbia with 12 years focused on formal methods, theorem proving, and SMT-based verification. He applies academic rigor to practical problems, including multi-year internships at Oracle Labs where he adapted formal verification techniques to industrial digital circuit challenges. Based in Vancouver, he blends deep theoretical knowledge with hands-on verification work and teaching, mentoring the next generation of formal-methods practitioners. Known for a dry sense of humor ("I'm unsound"), he brings humility and curiosity to complex correctness problems, often exploring the boundaries between provable guarantees and real-world engineering trade-offs.
12 years of coding experience
Master’s Degree, Computer Science, Master’s Degree, Computer Science at The University of British ColumbiaBachelor of Engineering (B.Eng.), Computer Science, Bachelor of Engineering (B.Eng.), Computer Science at Zhejiang University
English, Chinese
Github Skills (33)
formal-methods10
rewriting10
sat-solver10
formal-verification10
coq10
common-lisp10
theorem-proving10
first-order-logic10
logic10
proof-assistant9
melpa9
llc9
spacemacs9
emacs9
theorem9
Programming languages (6)
Github contributions (5)
pennyan/acl2
Jun 2020 - Jun 2022
ACL2 System and Books as Maintained by the Community
Contributions:126 commits, 31 PRs, 334 pushes in 2 years
acl2
pennyan/support-vector-regression
Dec 2014 - Nov 2016
Contributions:16 commits, 1 push, 1 comment in 1 year 11 months
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.