I am a Masters student at IIT Hyderabad. I work as a research-assistant under Dr. Saurabh Joshi. Prior to this, I completed my Bachelors from Delhi University.

My work focuses primarily in the fields of Formal Methods and Program Verification. I have been involved in the development of a verification tool Pinaka, which has been participating in an international verification competition SVCOMP for the past 2 years. I am currently working towards verification of Golang concurrency primitives.