Works
Selected projects and engineering work.
Fault-Tolerant Distributed Compute Engine
A distributed compute framework designed around formal correctness guarantees. Built to handle Byzantine failures without sacrificing throughput.
View on GitHub →Quantum Circuit Simulator
High-performance simulator for noisy intermediate-scale quantum circuits. Optimized tensor contraction with GPU acceleration.
View on GitHub →Static Analysis Framework for Correctness Proofs
A lightweight framework for embedding correctness assertions into compiled languages, inspired by CompCert's simulation relations.
View on GitHub →