Now · August 2026

Building hard boundaries for increasingly capable software.

This page is a current snapshot, not a permanent biography. It changes as the work changes.

Primary focus

MVM and secure agent execution

I’m working on a small, strict runtime for running AI-driven workloads inside isolated microVMs. The important parts are not just booting a guest: capability attenuation, mediated ingress and egress, resource budgets, auditable communication, and preventing a controller from expanding its own blast radius.

Explore MVM

Research and prototypes

Hologram and UOR

I’m exploring object-first runtimes, deterministic execution, content-addressed identity, semantic topology, and what computing looks like when storage layout stops being the primary interface.

Learning

Formal reasoning, Lean, and better specifications

I’m sharpening how I express invariants before code exists—especially around permissions, resource accounting, and systems whose safe behavior matters more than their happy path.

Community

Open source, teaching, and useful conversations

I’m making more of the architecture legible in public, helping builders reason about systems, and staying available to people attempting technically ambitious work with a real point of view.