Bhumika Mittal

Bhumika Mittal

PhD student at GaTech

bhumikamittal @ gatech.edu

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.

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
    Matthew Baker, Bhumika Mittal, Haran Mouli, and 1 more author
    In Discrete Mathematics, 2023

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.

Jun 2026

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