I am a PhD student at the Department of Computer Science and Engineering at the Indian Institute of Technology Kanpur under Dr. Indranil Saha. I am a recipient of the Prime Minister Research Fellowship since December-2020. I am working on synthesis of safe and robust controllers for safety-critical Cyber Physical Systems (CPSs). During MS, I worked on development of an automated debugging tool for CPS models. I have worked in the area of distributed systems at OptumSoft, Bangalore.