Utkarsh Bhiogade
Sr. Formal Verification Engineer
Karnataka, India
Summary
🎓
Top SchoolUtkarsh Bhiogade is a Senior Formal Verification Engineer with 8 years of experience specializing in building formal models and uncovering corner-case bugs for high-performance GPU designs at NVIDIA. He bridges architecture, design, and verification teams to ensure correctness for systems that power AI, gaming, and next-generation computing. Prior roles at Qualcomm and research internships reflect a strong hardware verification foundation and a consistent trajectory toward complex SoC verification challenges. A VLSI enthusiast and IIIT Nagpur alumnus with leadership experience in student organizations, he combines rigorous academic grounding (8.33/10) with practical industry impact. Notably, his work emphasizes formal methods applied at scale—helping translate theoretical verification techniques into production-ready silicon quality assurance.
7 years of coding experience
3 years of employment as a software developer
Science, A, Science, A at Bharatiya Vidya Bhavans R I L School Mouda NagpurScience, A, Science, A at Reliance Foundation School Mouda NagpurBTech - Bachelor of Technology, Electrical, Electronics and Communications Engineering, 8.33/10, BTech - Bachelor of Technology, Electrical, Electronics and Communications Engineering, 8.33/10 at Indian Institute of Information Technology Nagpur
English, HindiGithub contributions (5)
utkarshb1/Base-and-Treble-Equalizer-on-MATLAB
Dec 2018 - Jul 2021
Contributions:3 commits, 2 pushes, 1 branch in 2 years 6 months
utkarshb1/Interactive-Register-Debugging
Dec 2020 - Jun 2021
Contributions:18 commits, 16 pushes, 1 branch in 5 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.