bhumikamittal @ gatech.edu
CV
Google Scholar
GitHub
Twitter
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.
News
- Oct 26Our papers The Trust a Protocol Needs and Defining Purpose Limited Secrets, joint work with Aalok Thakkar, have been accepted at ICISS 2026.
- Sep 26I will give a talk, Programming Between Math and Machines, as part of the Programming Languages course at Georgia Tech.
- Aug 26I'll be joining the PhD program at Georgia Tech this Fall, and will be advised by Qirun Zhang.
- Jul 26I will give a talk on the Patākā construction in Gaṇitakaumudī at ICHIM 2026 at the University of Peradeniya, Sri Lanka.
- Jun 26In Chennai from June 25 to July 4 for ISLA 2026 and the Formal Methods Update Meeting.