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.

I am interested in the application of formal methods and AI in software systems and cyber-physical systems.