Chao Yan
Senior R&D Engineer at Synopsys
Hillsboro, Oregon, United States
Summary
👤
Senior🎓
Top SchoolChao Yan is a Senior R&D Engineer with 12 years of experience bridging software development and hardware design, currently working on Synopsys' Saber platform in Hillsboro, Oregon. He holds a Ph.D. in Computer Science from UBC and brings deep expertise in formal verification, analog/mixed-signal verification, and algorithm design—having found 100+ bugs during Intel SOC CPU verification and built COHO, a reachability-based analog verification platform with ~50k lines of code. Proficient across languages from C/C++ and Java to Verilog/SystemVerilog and MATLAB, he combines RTL and SPICE-level toolchains with strong mathematical foundations for high-dimensional polyhedral algorithms and interval LP solvers. His background spans industry and academia, including path-finding work on AMS verification and applied research that accelerated circuit simulation at Rambus. Colleagues describe him as a meticulous problem-solver who translates theoretical methods into production-grade verification tools.
12 years of coding experience
10 years of employment as a software developer
Ph.D., Computer Science, Ph.D., Computer Science at The University of British ColumbiaB.Sc, Computer Science, B.Sc, Computer Science at Peking UniversityMancheng Middle School
Chinese
Stackoverflow
21reputation
418reached
2answers
1question
Github Skills (16)
twitter-bootstrap-rails6
reachability6
json-api6
twitter-bootstrap6
tagging6
ruby-on-rails6
api5
rails5
json4
ruby4
crossword3
hotel-booking2
python2
stripe1
spree1
Programming languages (1)
Github contributions (5)
dreamable/cra
Sep 2013 - Jun 2016
Contributions:100 commits, 1 PR, 6 pushes in 2 years 8 months
reachability-analysisreachability
SpriteBox/Sprite.RoR
Aug 2015 - Jun 2016
Contributions:65 pushes, 1 branch in 10 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.