Experiencia | Jonathan Prieto-Cubides

Experiencia Laboral

Co-maintainer de la capa de settlement EVM de Anoma: participé en el deploy del Protocol Adapter (pa-evm) y ERC-20 Forwarder (Solidity/Rust), configuré Foundry y contribuí mejoras al codebase que conecta la Anoma Resource Machine con Ethereum y Arbitrum.
Desarrollé Anoma Explorer (Elixir/Phoenix LiveView), Anoma Envio (indexador en TypeScript/GraphQL) y Anoma Swap (Phoenix + backend en Rust con ZK proofs para la lógica RM) dentro del ecosistema del Protocol Adapter.

Lancé HyperCow, un decentralized exchange basado en SPEEDEX sobre Anoma: storage layer con Mnesia, estrategia de vault XYK, batch pipeline con GenStage y gestión completa del order book. Más de 60 PRs mergeados.
Escribí la especificación del instruction set del AVM, definiendo la semántica de ejecución, manejo de estado y error handling para la Anoma Virtual Machine.
Formalicé modelos de actors y mailboxes en Lean 4 para la Anoma Virtual Machine.
Contribuí un DSL tipo Python al proyecto GOOSE (Lean 4).

Diseñé y lancé la v0.1.0 de anoma/engine, una biblioteca en Elixir con supervision tree OTP, messaging demand-driven vía GenStage, un DSL validado en compile time y un patrón de mailbox-as-actors. También creé Tango, una biblioteca de estructuras de datos replicadas in-memory en Elixir.
Armé y mantuve el sitio de especificaciones de Anoma (specs.anoma.net): infraestructura con MkDocs, CI/CD con preview deploys por PR y releases versionados de v0.1.0 a v0.2.0. Más de 100 PRs mergeados.
Creé juvix-mkdocs, un plugin en Python para MkDocs que habilita literate programming para la spec y docs.juvix.org: el código Juvix se typecheckea en build time, garantizando que la spec y la implementación no diverjan.
Curé el índice de Anoma Research Topics (ART) (art.anoma.net): armé el template en LaTeX, edité y revisé papers de investigación y mantuve el sistema de publicación en Zenodo.

Product lead de Juvix, un lenguaje para aplicaciones descentralizadas intent-centric. Dirigí la visión de producto, el roadmap y el proceso de release desde el primer commit hasta versiones estables.
Envié más de 50 PRs de compiler en Haskell y lideré refactors importantes: termination checker, positivity checker, backend Core-to-Geb con evaluator y soporte para literate Juvix Markdown.
Creé y mantuve docs.juvix.org desde cero y desarrollé la extensión de VS Code para Juvix: semantic syntax highlighting, integración con REPL, CodeLens, hover/typecheck. Más de 50 releases de la extensión.
Creé el Homebrew tap para distribución en macOS, el CI de la standard library de Juvix y la automatización de releases para VampIR, un lenguaje de zero-knowledge circuits (Rust).

Desarrollé el parser inicial de Juvix y el paso de name resolution (MiniJuvix). Inicié la primera versión de la extensión de VS Code.
Participé en la serie de seminarios de PLT: presenté sobre type theory, compiler design, lambda calculus y formal methods.

Cursos de posgrado: Models of Computation, Concurrent Programming, Introduction to Logic, Software Engineering.

Desarrollé Online-ATPs, una herramienta en Haskell para conectar proof obligations con múltiples automated theorem provers. Contribuí al proyecto de proof reconstruction Apia.

Desarrollé algoritmos de clasificación con ML y pipelines de text mining para análisis de uso de suelo en Mathematica.

Desarrollé una plataforma de reservas y landing page en Python con Flask y SQLite.

Implementé una API de cifrado/descifrado RSA en C# .NET para aplicaciones financieras.