CS Graduate & Incoming Master's Student
Hope A. Getu
I like building things at the intersection of quantum computing and software systems, exploring compiler tooling, optimization, and a growing obsession with ZX-calculus and diagrammatic reasoning.
01
Projects
-
SpiderTrace Traces Pauli error propagation in stabilizer circuits using ZX diagrams — bridging quantum error correction with graphical calculus.
-
Rust → QASM Transpiler Minimal transpiler converting a quantum assembly-like language to OpenQASM 2.0.
-
Pauli Algebra Tool Backend tooling for quantum compilers — frame tracking and algebraic manipulation of Pauli operators for QEC pipelines.
-
ZXScope ZX calculus circuit optimization with visual/web tooling for interactive graph rewrite exploration.
-
Quantum Classifier Quantum-classical hybrid classification using variational circuits for supervised learning tasks.
-
Bin Packing (QUBO) Bin Packing Problem formulated as QUBO optimization, exploring quantum-ready problem encodings.
-
SpiderTrace-Decoder Neural decoder trained on ZX error propagation traces, extends SpiderTrace with ML-based logical flip prediction for d=3 and d=5 surface codes
02
Papers
No published papers yet — check back soon.
03
Writing
-
What is ZX calculus, and why should compiler writers care? A ground-up introduction to the ZX graphical calculus — why it is a natural intermediate representation for quantum circuits, and how its rewrite rules expose optimization opportunities invisible to gate-level passes.Apr 2025
-
Pauli frames and why they matter for fault-tolerant compilation An explanation of Pauli frame tracking — the lightweight bookkeeping trick that lets a quantum compiler defer error corrections to measurement time rather than inserting physical gates mid-circuit.Feb 2025
04
Contact
Open to research collaborations, graduate opportunities, and interesting problems at the intersection of quantum compilation and systems programming.