I am a PhD student at Georgia Tech advised by Qirun Zhang. My research interests lie at the intersection of cryptography, programming languages, and formal verification, with a current focus on program analysis for finite-field programs.

Before joining Georgia Tech, I worked as a Software Engineer at Amuse Labs. I have also worked with research groups at the Max Planck Institute for Software Systems, IIT Delhi, and IIT Gandhinagar on problems in data systems, cryptography, and hardware-aware optimization.

In 2025, I graduated summa cum laude from Ashoka University with a BSc (Honours) and a Postgraduate Diploma in Computer Science, along with minors in Mathematics and Entrepreneurial Leadership.