I am a post-doctoral fellow working under Dr. Indranil Saha at Department of Computer Science and Engineering, Indian Institute of Technology (IIT), Kanpur. I completed my PhD under the supervision of Prof. Deepak D'Souza from Department of Computer Science and Automation, Indian Institute of Science (IISc), Bangalore. Prior to that, I completed B.Tech in Computer Engineering from Zakir Husain College of Engineering and Technology, Aligarh Muslim University (AMU), Aligarh in 2013.

My research area is formal methods and its applications in software engineering and cyber-physical systems.