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

I work on applying formal methods to security, specifically cryptography.