My research bridges the abstract and the practice in quantum information science. I work across the entire stack — from high-level abstraction to the experimental realities of Noisy Intermediate-Scale Quantum (NISQ) hardware. My current interest lies in making quantum computers scalable, focusing on verification and early fault tolerance.

My past work spans cryptographic protocols, security proofs, verification, quantum algorithms, variational quantum solvers, compilation, HPC techniques, and developed emulator of quantum computers with realistic noise — including those based on trapped ions, nitrogen-vacancy centers, semiconductor quantum dots, and superconducting transmon qubits. Recently, I verified the largest measurement-based quantum computer to date, comprising 52 nodes on a trapped ions QPU.

Personal websitehere.