Meng Zhang
Formal Verification Engineer
California, United States
Summary
👤
Senior🎓
Top SchoolMeng Zhang is a Formal Verification Engineer with 10 years of experience specializing in AI ASIC, CPU, and GPU design and verification, currently driving formal methodologies at Meta after seven years in similar roles at Google and NVIDIA. He began his career in design at ARM, giving him a strong hands-on understanding of microarchitecture that complements his verification expertise. Based in California, he pairs technical depth in formal property checking and model-based verification with practical experience scaling flows for complex silicon projects. Meng holds a Master’s in Computer Engineering and an MBA from UC Berkeley Haas, a combination that informs both technical decision-making and cross-functional program leadership. He is known for translating intricate hardware specifications into auditable formal proofs and for bridging verification teams with product and architectural stakeholders. Outside of core verification work, he brings a rare mix of design experience and business acumen that helps accelerate silicon bring-up and risk mitigation.
10 years of coding experience
11 years of employment as a software developer
Master's degree Computer Engineering, Master's degree Computer Engineering at North Carolina State UniversityBachelor's degree Integrated Circuit Design, Bachelor's degree Integrated Circuit Design at Xidian UniversityMaster of Business Administration - MBA, Master of Business Administration - MBA at University of California, Berkeley, Haas School of Business
Chinese, English
Github Skills (56)
pytorch10
python10
acceleration10
machine-learning10
numpy10
deep-learning10
tensorflow10
gpu10
autograd10
neural-network10
jupyter-notebook10
tensor10
gpu-acceleration10
baidu9
keras8
Programming languages (4)
Github contributions (5)
zmsunnyday/tutorials
Feb 2022 - Sep 2022
MONAI Tutorials
Contributions:17 pushes, 1 branch in 6 months
deep-learningmonaimonai-tutorials
zmsunnyday/Cpp-Primer
Jul 2016 - Aug 2016
Contributions:43 pushes, 1 branch in 1 month
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.