Jan 2026 - Present

• Built Anoma Explorer (Elixir/Phoenix LiveView) and Anoma Envio (TypeScript/GraphQL indexer).
• Co-maintainer of Anoma's EVM settlement layer: helped deploy the Protocol Adapter (pa-evm) and ERC-20 Forwarder (Solidity/Rust), set up Foundry configuration, bridging the Anoma Resource Machine to Ethereum and Arbitrum.

Jun 2025 - Dec 2025

• Co-authored the AVM instruction set specification (formal Agda) and scaffolded the Rust implementation of the Anoma Virtual Machine: interaction-tree-based interpreter, transactional snapshot-restore, Tape IR compiler, CFG analysis, and distributed runtime with TCP transport. (source)
• Formalized actor and mailbox models in Lean 4. Documentation.
• Contributed a Python-like DSL to the GOOSE project (Lean 4).
• Shipped HyperCow, a SPEEDEX-based decentralized exchange on Anoma: Mnesia storage, XYK vault strategy, GenStage batch pipeline, order-book management. 60+ PRs merged.

Jan 2023 - Jun 2025

• Architected and released anoma/engine, an Elixir library: OTP supervision tree, GenStage demand-driven messaging, a compile-time validated DSL, and mailbox-as-actors pattern. Created Tango, a replicated in-memory data structures library in Elixir.
• Co-designed and maintained the Anoma specification website (specs.anoma.net): specification written in Juvix (a functional programming language), CI/CD with per-PR preview deploys, and versioned releases. 100+ PRs merged.
• Created juvix-mkdocs, a Python MkDocs plugin enabling literate programming: Juvix code is typechecked at build time, ensuring spec and implementation cannot drift apart.
• Curated the Anoma Research Topics (ART) index (art.anoma.net): built the LaTeX template, edited research papers, maintained Zenodo publication system.

Mar 2022 - Dec 2023

• Co-authored Juvix, a strongly-typed functional language with eager semantics (general-purpose with dedicated compilation pipelines for Anoma). Contributed to product direction, roadmap, and release process from the first commit through stable releases. Shipped 50+ compiler PRs in Haskell: parser, name resolution, termination and positivity checkers, Core-to-Geb backend with evaluator, literate Markdown support; also built parts of the standard library, CI, and release automation.
• Co-authored and maintained docs.juvix.org; authored the VS Code extension for Juvix: semantic syntax highlighting, REPL integration, CodeLens, hover/typecheck. 50+ extension releases shipped.
• Created and co-maintained the Homebrew tap for macOS distribution; release automation for VampIR zero-knowledge circuit language (Rust).

Aug 2021 - Mar 2022

• Contributed to the PLT seminar series: presented on type theory, compiler design, lambda calculus, and formal methods.

• Graduate courses: Models of Computation, Concurrent Programming, Introduction to Logic, Software Engineering.

• Built Online-ATPs, a Haskell tool connecting proof obligations to multiple automated theorem provers. Contributed to the Apia proof-reconstruction project.

• Algorithms I-II, Discrete Mathematics, C/C++, Python.

• Linear Algebra, Linear Programming.

• Classification and text mining in Mathematica.

• Python (Flask) and C# .NET engineering work.