I am a Ph.D. candidate at the University of Missouri - Columbia, under the supervision of Prof. Rohit Chadha. I am broadly interested in formal methods, privacy, and security. My research is all about making systems trustworthy: I work to ensure that privacy guarantees are verified, so that users and developers alike can rely on algorithms without blind trust. I aim to push the boundaries of what’s possible while keeping privacy at the core.