About
I’m a Qiskit Advocate and an independent contributor to the Qiskit open-source ecosystem. My background is in mathematics — number theory, graph theory, and formal proof in Lean 4 — and I’ve carried that instinct for formal correctness into quantum tooling: circuit libraries and diagnostics built to be verifiably right, not just empirically working.
Recent work includes: Qiberis, a backend-agnostic circuit library spanning Qiskit Aer, Cirq, and PennyLane. Qiskit SQD Dashboard, a live convergence widget for sample-based quantum diagonalization. Both are documented on the projects page.
I’ve also worked through the Qiskit Global Summer School curriculum — GHZ state construction and depth optimization, noise models and dynamic circuits, advanced error mitigation (ZNE, PEC, PNA, SLC, noise learning), and SQD/QAOA applications to molecular simulation and combinatorial optimization.
Outside of Qiskit, I write explainer content on math and quantum topics using Manim, Observable Framework, and Quarto, and I work on original research in graph theory — structures related to modular arithmetic and their component topology.
Elsewhere: