Experience | Jonathan Prieto-Cubides

Work Experience

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, and contributed codebase improvements bridging the Anoma Resource Machine to Ethereum and Arbitrum.
Built Anoma Explorer (Elixir/Phoenix LiveView), Anoma Envio (TypeScript/GraphQL indexer), and Anoma Swap (Phoenix + Rust ZK-proof backend for RM logic proofs) for the Protocol Adapter ecosystem.

Shipped HyperCow, a SPEEDEX-based decentralized exchange on Anoma: Mnesia storage layer, XYK vault strategy, GenStage batch pipeline, and full order-book management. 60+ PRs merged.
Authored the AVM instruction set specification, defining the execution semantics, state management, and error handling for the Anoma Virtual Machine.
Formalized actor and mailbox models in Lean 4 for the Anoma Virtual Machine.
Contributed a Python-like DSL to the GOOSE project (Lean 4).

Architected and released v0.1.0 of 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.
Built and maintained the Anoma specification website (specs.anoma.net): MkDocs infrastructure, CI/CD with per-PR preview deploys, and versioned releases v0.1.0 to v0.2.0. 100+ PRs merged.
Created juvix-mkdocs, a Python MkDocs plugin enabling literate programming for the spec and docs.juvix.org: 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 and proofread research papers, and maintained the research publication system on Zenodo.

Product lead for Juvix, a language for intent-centric and declarative decentralized applications. Drove product direction, roadmap, and release process from initial commit to stable releases.
Shipped 50+ compiler PRs in Haskell and led major codebase refactors: termination checker, positivity checker, Core-to-Geb backend with evaluator, and literate Juvix Markdown support.
Created and maintained docs.juvix.org from scratch and built the VS Code extension for Juvix: semantic syntax highlighting, REPL integration, CodeLens, hover/typecheck. 50+ extension releases shipped.
Created the Homebrew tap for macOS distribution, the Juvix standard library CI, and release automation for the VampIR zero-knowledge circuit language (Rust).

Built the initial Juvix parser and name-resolution pass (MiniJuvix). Started the first version of the VS Code extension.
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.

Developed ML classification algorithms and text mining pipelines for land-use analysis in Mathematica.

Implemented RSA encryption/decryption API in C# .NET for financial applications.