I help teams reason about eUTxO architecture, implement Aiken and Plutus validators, construct off-chain transactions, and document the invariants that make contract behavior reviewable.
I help teams ship Cardano smart contracts with strong correctness guarantees and clean system design.
Invariants, threat modeling, and defensive design—built for audits and real-world edge cases.
Clear types, pure logic, and predictable behavior for on-chain and off-chain components.
Async updates, incremental PRs, and documentation-first handoffs that keep teams moving.
Grouped for fast scanning by recruiters and engineering leads.
Each project includes scope, architecture, and the stack—ideal for take-home style review.
Educational eUTxO application
Make UTxO and extended UTxO concepts concrete through an application that connects contract rules to wallet interactions.
Scope and stack are documented in the downloadable CV. This site does not currently link an implementation repository.
Aiken validation logic with a TypeScript, MeshJS, React, and Next.js off-chain interface.
Cross-stack learning hub
Compare on-chain and off-chain approaches across the Cardano development ecosystem.
Scope and stack are documented in the downloadable CV. This site does not currently link an implementation repository.
Examples spanning Aiken, Haskell, MeshJS, Python, TypeScript, and command-line workflows.
Cardano engineering resources are the primary track. Production delivery notes cover the infrastructure needed to ship and operate technical products.
Start with the Aiken validator review checklist, then use the Lean 4 formal-methods workflow, AI-assisted engineering workflow, and production delivery guides when you need review discipline, deployment, and DNS depth.
Predictable delivery, low ambiguity, and strong documentation.
Align on requirements, encode invariants, and prevent regressions with clear, testable behavior.
Small PRs, measurable checkpoints, and consistent progress that’s easy to review.
Async updates, strong handoffs, and documentation that keeps work moving across time zones.
Available for remote collaboration. Email is the clearest way to start a technical conversation.