Software Engineer | Heliax AG | Ene 2026 - Presente
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.
Research Engineer | Heliax AG | Jun 2025 - Dic 2025
Desarrollé 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.
Distributed Systems Researcher | Heliax AG | Ene 2023 - Jun 2025
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): functional programming usado para las specs, 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.
Compiler Engineer & Product Lead | Heliax AG | Mar 2022 - Dic 2023
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).
Part-time Researcher | Heliax AG | Ago 2021 - Mar 2022
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.
Desarrollé Online-ATPs, una herramienta en Haskell para conectar proof obligations con múltiples automated theorem provers. Contribuí al proyecto de proof reconstruction Apia.