Rohit Dureja, PhD
Formal Methods · Model Checking Hardware Verification · Design Automation
Biography
Dr. Rohit Dureja is a computer scientist specializing in formal methods, model checking, and hardware verification. He works at AMD in Austin on formal verification of microprocessor designs, scalable verification flows, and industrial CPU verification tooling.
Previously, he worked at IBM on formal hardware verification algorithms and model-checking engines for industrial applications.
He received his PhD in Computer Science from Iowa State . His doctoral thesis focused on scalable model checking for large design spaces. He also holds a master's degree in Embedded Systems from Penn and a bachelor's degree in Control Engineering from Delhi University .