IEEE Fellow for contributions to applied probabilistic model checking for system design

PECASE (Presidential Early CAREER Award for Scientists and Engineers, 2003) and NSF CAREER Award (2003-2008)

Friedrich Wilhelm Bessel Research Award from the Alexander Humboldt Foundation of Germany, 2008. (A Life time achievement award for Scientists for their achievements within 12 years of their Doctoral Degree)

ACM Distinguished Scientist, 2012

Dr. Deep Singh and Daljeet Kaur Faculy Fellow, Indian Institute of Technology Kanpur, 2015-2018

Poonam and Prabhu Goel Chair, Indian Institute of Technology, Kanpur, 2015-2019

Ramanujan Fellowship, Department of Science and Technology -- Science and Engineering Research Board (DST-SERB), Government of India, 2015

Alumni Award, State University of New York at Albany, 2007

Invited by the National Academy of Engineering for the Frontiers of Engineering Conference in 2005

Invited by the National Academy of Sciences for the Frontiers of Science Conference in 2007 (Only 100 Scientists below age of 45 were invited)

Invited by the National Academy of Engineering for US-German Frontiers of Engineering Conference in 2009 (only 60 scientists and engineers from US and Germany together were invited)

Virginia Tech College of Engineering Faculty Fellow (2004)

Involved in raising a total of $6,990,447external funding at Virginia Tech and UC Irvine.

ACM Distinguished Speaker (2007- 2014)

Involved in raising a total of approx. INR 20 crores from various mural and extra-mural funding sources in 2015-17.