Method
Define the invariant, narrow the boundary, build the smallest deterministic core, and attach evidence that survives the process that produced it.
IDENTITY / WORKING PRINCIPLES
Systems should carry their own evidence.
I work at the boundary between systems programming and data infrastructure: deterministic state transitions, bounded execution, reproducible artifacts, and failure modes that stay explicit.
Current focus
Rust, Apache Arrow, PyO3, WebAssembly, concurrency verification, write-ahead logs, and hierarchical reduction.