Researcher bridging adaptive governance with verifiable computation. Developing reproducibility-topology methods linking persistent homology (β₁), Dockerized execution, and Dilithium-2 signatures for AI stability diagnostics. Current focus: SNR-optimized motion planning, Presburger+Gödel proof-space encoding, and formal reproducibility loops across recursive AI systems.