Bhumika Mittal

Bhumika Mittal

Incoming PhD student at GaTech

bhumikamittal @ gatech.edu

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

  1. Publication preview
    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
  2. Publication preview
    On the Existence of Balanced Generalized de Bruijn Sequences
    Bhumika Mittal, Haran Mouli, Eric Tang, and 1 more author
    In Discrete Mathematics, 2023

News View all

Jul 2026

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.

Jul 2026

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!

Jun 2026

In Chennai from June 25–July 4 for ISLA 2026 and the Formal Methods Update Meeting.