proof of work
A showcase of my work and side projects.
RTC-Core (Project Oort)
Bimodal Resilient Telemetry Codec for high-BER satellite downlinks. 2.08–2.53x bandwidth reduction over 16-bit FITS by trading Shannon coding efficiency for strict transmission resilience.
Exo-Checkmate
Physics-informed exoplanet discovery engine. Implements Hill Stability Criteria (Gladman, 1993) and Box Least Squares to prune unstable orbital candidates before ML classification.
SENTRY
Deterministic verification engine for smart contract exploits. Constructs executable Solidity Test Harnesses to verify AI-generated exploit hypotheses — moving from stochastic auditing to deterministic proof.
Pyre Engine
Open Source Contributor (WoC 5.0). High-performance C++17/OpenGL 4.5 rendering engine. Zero-allocation render loops and cache-friendly entity storage for frame-time stability on integrated graphics.
SENTRY
Deterministic verification engine for smart contract exploits. Constructs executable Solidity Test Harnesses to verify AI-generated exploit hypotheses — moving from stochastic auditing to deterministic proof.
Pyre Engine
Open Source Contributor (WoC 5.0). High-performance C++17/OpenGL 4.5 rendering engine. Zero-allocation render loops and cache-friendly entity storage for frame-time stability on integrated graphics.
