MSc Thesis - Completeness for Fault Equivalence of Clifford ZX Diagrams
Thesis Project about a sound and complete diagrammatic rewrite system for quantum computations including a description of their behaviour under noise
Scientific Projects
fault-gadgets - A library to model faults and related constructions for PyZX
A library developed during the masters thesis, facilitating comprehensive modeling of faults on ZX-diagrams. Key features include checking fault-equivalence of rewrites and constructing the tanner graph of diagrams.
BSc Thesis - Numerical bounds on few body sector-lengths
Thesis Project about quantifying quantum correlations in few body systems using sector lengths