ACM India Doctoral Dissertation Award
Indian Institute of Technology Kharagpur India – 2015
CITATION

For his thesis titled "Formal Methods for Architectural Power Intent Verification and Functional Reliability Analysis", nominated by IIT Kharagpur.