ai-first software engineer
Building Intelligent,
Production-Grade Systems
10+ years taking ideas from concept to production — embedded machine vision, mobile, AWS cloud, and now autonomous AI that thinks for itself.
// embedded ➞ cloud ➞ autonomous AI ➞ concept ➞ production
featured project · formal verification
An AI that proves.
It hunts. It formalizes. It verifies.
Alethean Research is an autonomous logic engine that discovers mathematical truth and machine-checks every step in Lean 4 — 5,052+ theorems proven, zero shortcuts.
spotlight · autonomous agent
An AI that plays a game.
It plans. It learns. It thinks.
The deepest example of autonomous-agent engineering in the portfolio — a living AI hero on a 1997 roguelike, live in your browser.
selected projects
More ways I build with AI
the stack