Undergraduate at the University of Maryland, studying Computer Science (Quantum Information Science track) and Physics. I work on classical representation and simulation systems for quantum phenomena, and build production software for niche industry applications.

Currently:

• Undergraduate researcher at the FloQuET Lab (PI: Prof. Avik Dutt), deriving a low-cost error proxy for quantum-embedding simulation of large strongly correlated molecules.
• Building ArchytasZX, a certified symbolic rewriting engine for the qufinite ZXW-calculus with qudit dimension and system size kept symbolic.
• Building DiracULA, a Dirac-notation language that derives closed-form quantum algorithm results for every system size and qudit dimension.

ArchytasZX — Python engine for the qufinite ZXW-calculus that rewrites and proves diagram identities with qudit dimension and system size kept symbolic. Exact symbolic algebra, a constraint-guarded subgraph matcher, and a certificate-emitting rewrite engine, all written from scratch. Qudit identity families are proven for all dimensions and sizes by induction over bang-box multiplicity, and each proof is exported as a Lean 4 theorem that Lean checks with no unproved axioms.

DiracULA — Dirac-notation language, REPL, and Python API that derives quantum algorithm results by symbolic path-sum rewriting, never by simulation, so every state and measurement distribution is one closed form valid for all system sizes and qudit dimensions. Closed forms for GHZ, Deutsch-Jozsa, Grover, and Shor order finding, each certifiable against a mirrored Lean 4 normaliser.

Quantum embedding error proxy — Using ML trained on HPC procured sample geometry and error data to learn about and predict the relation between fundamental molecular properties, embedding cut-offs, and the produced boundary error.

Full-stack accounting and management platform — Production system serving approximately one hundred employees at Beeline Group, built with PostgreSQL, Express, React, and Next.js, including audits of accounting calculation correctness and encrypted storage against several international compliance standards.

Rare books collection database — Web application digitizing a catalog of three hundred or more rare volumes, with search and filtering by title, author, date, and catalog identifier, built from requirements gathered with faculty and visiting researchers.

Research and scientific computing: Python, Qiskit (Pulse, Dynamics, Experiments), Lean 4/Mathlib, ZXW-calculus, symbolic path sums, e-graphs (equality saturation), Stim, PyMatching, PySCF, block2 (DMRG), RDKit, ASE/tblite, NumPy, SciPy, SymPy, Matplotlib, scikit-learn, XGBoost, GPyTorch, SISSO/PySR, SLURM, MKL/BLAS

Systems and languages: C, C++, Java, Assembly, Bash, MATLAB, Linux, Docker, Git, pytest, mypy

Web and data: TypeScript, JavaScript, React, Next.js, Express, PostgreSQL, SQL, Pandas

Quantum algorithms and compilation, quantum state representation and its mechanization, quantum photonics, quantum networking.

Email · LinkedIn · Handshake · ForagerOne