CS Graduate & Incoming Master's Student
Hope A. Getu
I build systems at the intersection of quantum computing, compiler design, and optimization — translating structures like ZX calculus into executable, verified pipelines.
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.
02
Papers
-
Tracking Pauli Frame Errors Through ZX Diagrams: A Compiler-Level PerspectiveWe present a method for symbolically tracing Pauli error propagation through stabilizer circuits using ZX diagram rewriting. The approach integrates naturally with compiler pipelines, enabling static error analysis without full circuit simulation.
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.