I am an incoming PhD student in Computer Science at Georgia Tech, where I will be advised by Qirun Zhang. My research interests are in cryptography, programming languages, and formal verification, with a current focus on program analysis for finite-field programs.
Previously, I worked as a software engineer at Amuse Labs. I graduated summa cum laude from Ashoka University with a degree in Computer Science and Mathematics. During my undergraduate studies, I 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.
Selected Publications View all
-
AxLaM: Energy-Efficient Accelerator Design for Language Models for Edge ComputingIn Philosophical Transactions A, 2025 -
On the Existence of Balanced Generalized de Bruijn SequencesIn Discrete Mathematics, 2023
News View all
I will present our work, “The Patākā in the Gaṇitakaumudī of Nārāyaṇa Paṇḍita”, at ICHIM 2026 at the University of Peradeniya.
Aalok Thakkar and I started Project Brahmagupta, an archive of problems in mathematics and computation, drawn from and inspired by the works of Indian mathematicians. Do try the problems and let me know which one you enjoyed the most — we are also open to contributions!
In Chennai from June 25–July 4 for ISLA 2026 and the Formal Methods Update Meeting.