ÂÜÀòÂÒÂ×

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.