Curriculum Vitae

I design execution models, developer tooling, and deployment architectures for systems that need to be verifiable, composable, and operationally serious. My work sits at the intersection of protocol semantics, systems engineering, and public digital infrastructure.

I am particularly interested in typed cell models, UTXO-based execution semantics, and the developer experience required to make these systems accessible without sacrificing rigour.

• Execution semantics for UTXO and cell-based state machines
• Typed constraints and verifiable state transitions
• Payment channel architectures and layer-two settlement
• Reproducible deployment and operational hardening
• Developer infrastructure for protocol-grade systems

Contributions to protocol tooling, developer libraries, and infrastructure projects across the CKB, Bitcoin, and broader open digital infrastructure ecosystems. See the Projects page for selected work.