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

Jun 2026

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

Dec 2025

In Goa for the FSTTCS Mentoring Workshop, participating in a day-long workshop on theoretical computer science.

Jun 2025

At PLDI 2025 in Seoul for the Programming Languages Mentoring Workshop.