I am an upcoming Ph.D. student in the computer science department at the University of Colorado, Boulder, where I will be advised by Gowtham Kaki. Before my Ph.D., I was a consultant with Industry Solutions, Microsoft, overseeing enterprise security. Before Microsoft, I completed my bachelor's at Shiv Nadar University, where I worked under Sweta Mishra.

My intrests are formal methods, and verification.