Rohit Dureja

Formal Verification Engineer at AMD

Rohit Dureja is a skilled professional in the field of formal verification with extensive experience at leading technology companies. Currently serving as a Member of Technical Staff at AMD since July 2023, Rohit previously worked at IBM from August 2019 to July 2023 as a Software Engineer specializing in formal verification. Prior to that, Rohit held positions as a Formal Verification Engineer at Apple and at IBM, along with a summer research role at Fondazione Bruno Kessler. Rohit holds a Doctor of Philosophy (Ph.D.) in Computer Science from Iowa State University, a Master of Science (M.S.) in Embedded Systems from the University of Pennsylvania, and a Bachelor of Engineering (B.E.) in Instrumentation and Control Engineering from Netaji Subhas Institute of Technology.

Links

Previous companies

IBM logo

Org chart

This person is not in the org chart


Teams

This person is not in any teams