Work

I've spent most of my work life in the space of quantum compilers. This is what I've worked on these past few summers:

  • (2023) I worked @ Quantinuum, where I designed a domain specific language for converting Repeat-Until-Success circuits into QIR.
  • (2024) I worked @ IBM on rewriting their hardware Quantum Assembly compiler in Rust.
  • (2025) I returned to IBM to work on quantum algorithms for combinatorial optimization problems like the Traveling Salesman Problem

I also co-chaired dependently-typed, the compilers and programming languages club @ GT. As a part of the club, I gave talks on MLIR, compiler optimizations for data locality, and program synthesis (among many other things!)

Table of Contents