His research interests are in the design and verification of reactive hardware and software systems. He received the President's Gold Medal from IIT, Kanpur, the Leon O. Chua award from UC Berkeley, and an NSF CAREER award.