Selected work across protocol design, language tooling, systems research, and secure deployment infrastructure.
A semantic DSL for CKB cell-based contracts, providing typed constraints, composable verification primitives, and developer-grade tooling for the cell model.
Contribution: Language design, type system architecture, compiler frontend, and semantic specification.
A UTXO-generation and inter-protocol composition layer for CKB, enabling cross-protocol cell generation, state bridging, and modular protocol assembly.
Contribution: Protocol architecture, composition semantics, and interop specification.
Bounded terminal primitives for AI coding agents. A small toolkit reducing accidental context expansion in shell-driven coding workflows by wrapping risky terminal operations with clear bounds and receipts.
Contribution: Design and implementation of bounded command output, code context extraction, file-effect observation, and pipe data-flow inspection primitives.
A semantic execution kernel enforcing typed constraints over cell-based state transitions, enabling verifiable execution traces and deterministic settlement.
Contribution: Execution semantics, type system kernel design, and formal modelling.
A next-generation Lightning-style channel architecture optimised for UTXO-based settlement layers, with emphasis on capital efficiency and minimal on-chain footprint.
Contribution: Channel protocol design, state machine specification, and security analysis.
An Eltoo-inspired payment-channel architecture adapted to the CKB cell model, with a factory pattern for multi-party channel bootstrapping.
Contribution: Protocol adaptation, factory contract design, and cell-model optimisation.
A service capsule system for Redox OS that packages binaries, configuration, permissions, update metadata, rollback policy, and audit rules into signed deployable capsules.
Contribution: Capsule format, permission model, execution policy, update and rollback semantics, and audit-oriented deployment design.
A core-first semantic geometry runtime and native macOS CAD prototype built on DesignCell, OperationGraph, Transaction, and Incremental Evaluation. Every committed modelling action produces stable design objects with identity, provenance, and reproducible export paths.
Contribution: Architecture, Rust geometry kernel, operation engine, C ABI bridge, Swift/AppKit shell, Metal viewport, and semantic document model.
No results found.
Type to search across writing, projects, and publications.