About

I build AI systems, trading infrastructure, formally verified software, and production applications. I train and deploy proprietary local models that beat public baselines — running entirely on your hardware, not in someone else's cloud.

I build the system you need, on the computer you own. Whether that's a single workstation or a multi-node cluster, the result is yours — private, self-contained, and fully operational without an internet connection if that's what you need.

Every system I build is designed to be handed off. You get clean, documented, production-ready infrastructure that your team can own and operate — no long-term dependency on me.

When software correctness matters, I don't just test it — I prove it. Published, machine-checked mathematical proofs across multiple proof assistants.

My approach is direct: understand the problem, build the simplest system that solves it, and ship. No committees, no layers of management, no unnecessary abstraction. You talk to me, I build it.