Selected work
A recurring pattern: systems you can verify.
Four domains, one through-line — deterministic, verifiable systems taken from applied research all the way to working, adversarially-tested implementations. Each comes with real evidence you can open and check.
Distributed Trust
FlagshipCairn
Serverless trust for disconnected systems — post-quantum end to end.
Every production trust system depends on a server that is always reachable. Cairn removes that assumption: devices and agents admit and revoke each other directly — offline, post-quantum, with a signed and replayable audit of every decision. Validated live as a 4-node mesh across Toronto, New York, and London, and on real NATO battalion-mobility data.
Exact & Numerical Computing
VLA — exact arithmetic
Computation that carries its own proof.
Floating-point silently accumulates error and gives different answers on different hardware. VLA replaces it with exact, error-free arithmetic — bit-identical on any GPU, at production speed, every result shipping with a receipt a third party can reproduce. It is correct on problems where the standard tools are demonstrably wrong.
Deterministic Memory
Neruva — internal R&D
Memory you can replay.
The reproducible memory substrate I built and run across my own projects: deterministic recall (same query, same answer, every time), enforce-deny corrections, provenance and citations on every result, and snapshot/replay audit of memory state. Not a commercial product — internal tooling, shown here as evidence of the same verifiable-systems pattern applied to AI memory.
Simulation & Risk Modeling
SimFire · Mixture LDT
Physics-grounded models, validated against real events.
Physical-systems and tail-risk modeling tested against what actually happened — including a megafire the standard model under-predicted by more than 4×, ember transport beyond what conventional spotting models predict, and catastrophe tail losses that standard actuarial models badly understate.
How it's proven
Every result is produced with sound, audited tools on real public data, with a documented test method — the evidence, not just claims. See the full stack, datasets, and red-team methodology on the Cairn Technical Validation page.
Results shown · mechanism protected
Cairn's design, source, and formal proofs are proprietary and available under NDA. VLA and Neruva are internal tooling, shown here as evidence rather than as products for sale.
Want to go deeper?
Open to senior / principal roles, research collaborations, design partnerships, and funding discussions.
Start a conversation