Research Interest

• Program Analysis, Formal Verification, Model Checking

Education

• Ph.D., Computer Science & Engineering, Indian Institute of Technology Guwahati, 2013-2020.

  • Thesis: Formal Verification and Security Analysis of High-level Synthesis

  • Advisors: Dr. Chandan Karfa

• M.Tech., Computer Science & Engineering, Indian Institute of Technology Guwahati, 2007-09.

  • Thesis: Formal Verification of Access Control Policies

  • Advisor: Prof. Purandar Bahduri

• B.E., Computer Science & Engineering, Samrat Ashok Technological Institute, Vidisha, RGPV Bhopal, 2002-06.

Professional Experience

• Lead Software Engineer (August, 2020-Present)

  • Cadence Digital Systems

• Assistant Professor (July, 2009 - June, 2013)

  • Worked as an Assistant Professor in School of Information Technology & Engineering (SITE), VIT Vellore.