I build systems where correctness and performance both matter.

My current focus is MorphIQ Labs: original research, papers, and canonical methods translated into proof-gated, benchmarked Rust infrastructure—and then assembled into products for options research and trade workflows.

The program is not specific to markets. It applies wherever a result has to survive contact with a running system, and where assumptions, tolerances, and edge cases have to hold under real time and real load. Quantitative finance is the least forgiving place to run it, which is why we prove it there first.

We build AI-first, which makes the engineering program more important, not less. Human- and machine-written work passes the same reference checks, proof boundaries, and performance floors before it ships.