Research & Papers
Published work, preprints, and ongoing investigations.
On the Computational Complexity of Real-Time Quantum Error Decoding
arXiv preprint — Quantum Computing
We analyze the computational overhead of syndrome decoding in surface codes and establish a lower bound on decoder latency for fault-tolerant quantum computation at scale.
Consistency Envelopes: A Framework for Honest Distributed Systems Guarantees
Workshop on Principles of Distributed Systems
We propose the consistency envelope as a formal mechanism for documenting the conditions under which a distributed system's safety guarantees hold, and how they degrade under partition.