I am an incoming 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. My education at Ashoka was supported by the Deutsche Bank Scholarship.
Selected Publications View all
-
AxLaM: Energy-Efficient Accelerator Design for Language Models for Edge Computing
Tom Glint, Bhumika Mittal, Santripta Sharma, and 6 more authors
In Philosophical Transactions A, 2025
Modern language models like BERT have revolutionized natural language processing tasks but are computationally intensive, limiting their deployment on edge devices. This paper presents an energy-efficient accelerator design tailored for encoder-based language models, enabling their integration into mobile and edge computing environments. A dataflow-aware hardware accelerator design for language models inspired by SIMBA, use of Approximate Fixed-Point POSIT (AFPOS) based multipliers, and use of high bandwidth memory achieves significant improvements in computational efficiency, power consumption, area, and latency compared to the hardware-realized scalable accelerator Simba. Compared to SIMBA, AxLaM achieves 9x energy reduction, 58% area reduction and 1.2x improved latency, making it suitable for deployment in edge devices. The energy efficiency of AxLaN is 1.8 TOPS/W, 65% higher than FACT which needs pre-processing of language model before implementing it on the hardware.
-
On the Existence of Balanced Generalized de Bruijn Sequences
Matthew Baker, Bhumika Mittal, Haran Mouli, and 1 more author
In Discrete Mathematics, 2023
A balanced generalized de Bruijn sequence with parameters (n,l,k) is a cyclic sequence of n bits such that (a) the number of 0’s equals the number of 1’s, and (b) each substring of length l occurs at most k times. We determine necessary and sufficient conditions on n,l, and k for the existence of such a sequence.
News
Aug 2026
I’ll be joining the PhD program at GaTech this Fall, and will be advised by Qirun Zhang.
Jul 2026
I will give a talk on the Patākā construction in Gaṇitakaumudī at ICHIM 2026 at the University of Peradeniya, Sri Lanka.
On the Existence of Balanced Generalized de Bruijn SequencesIn Discrete Mathematics, 2023