Rohit Dureja
Member Of Technical Staff, Formal Verification
Austin, Texas, United States
Summary
👤
Senior🎓
Top SchoolRohit Dureja is a formal verification engineer with 11 years of experience applying rigorous analysis to complex hardware and software systems, currently a Member of Technical Staff at AMD in Austin. He holds a Ph.D. from Iowa State and an MS from the University of Pennsylvania, combining deep academic training with industry impact across IBM and Apple. Rohit has repeatedly focused on building verification tools and workflows that scale to real-world silicon projects, transitioning research prototypes into production-strength verification solutions. His career rhythm—alternating between industry stints and advanced research—reflects a pragmatic researcher who prioritizes auditable, automation-first approaches to correctness.
11 years of coding experience
5 years of employment as a software developer
Bachelor of Engineering (B.E.), Bachelor of Engineering (B.E.) at Netaji Subhas Institute of TechnologyDoctor of Philosophy (Ph.D.), Doctor of Philosophy (Ph.D.) at Iowa State UniversityMaster of Science (M.S.), Master of Science (M.S.) at University of Pennsylvania
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (8)
citations4
bibtex4
jekyll-theme4
jekyll4
csl4
ruby3
bibliography3
static-site-generator2
Programming languages (2)
Github contributions (5)
rohitdureja/FuseIC3
Mar 2017 - Jul 2017
Contributions:49 commits, 39 pushes, 1 branch in 3 months
rohitdureja/personal-webpage
Jun 2017 - Aug 2024
Contributions:4 PRs, 71 pushes, 1 branch in 7 years 3 months
reactjavascriptreactjsrohitnextjs
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.