Maryam Bagheri
Senior Formal Verification Engineer
San Jose, California, United States
Summary
👤
Senior🎓
Top SchoolMaryam Bagheri is a Senior Formal Verification Engineer with a decade of experience specializing in formal methods for concurrent, timed, and probabilistic systems, now applying that expertise at NVIDIA. She blends deep academic rigor—from a PhD and postdoctoral research—with hands-on tool experience to verify safety-critical hardware and machine-learning–based systems. Her background includes research stints at UC Berkeley and international collaborations, reflecting a track record of translating advanced formal specification logics into practical verification flows. Known for tackling corner-case concurrency and probabilistic safety properties, she bridges theoretical algorithms and industrial-scale verification. Based in San Jose, she brings a researcher’s curiosity to production engineering, speeding up reliable design delivery in complex system architectures.
10 years of coding experience
2 years of employment as a software developer
Bachelor, Computer Engineering, Bachelor, Computer Engineering at Isfahan University of TechnologyPHD, Computer Engineering, PHD, Computer Engineering at Sharif University of TechnologyGithub contributions (5)
maryambagheri1989/stringify.me
Mar 2022 - Mar 2022
Quick and Easy Profiles (No Login Required)
Contributions:6 pushes in 1 day
maryambagheri1989/maryambagheri1989.github.io
Mar 2022 - Mar 2022
Kickstart your personal portfolio with Github Api and blog.
Contributions:5 pushes in 1 day
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.