About me
Hola! I’m a software engineer originally from Bogota, with experience in functional programming, formal verification, distributed systems, and agentic software development. I hold a PhD in Computer Science from the University of Bergen, where I researched graph-theoretical constructions in homotopy type theory using the Agda proof assistant.
I have 4+ years at Heliax AG (Anoma), where I led the Juvix compiler from first commit to stable releases, contributed to protocol specification, and more recently worked on EVM smart contracts and Elixir/OTP prototypes.
For the full details, see my CV (PDF).
prieto.jona@gmail.com | GitHub | LinkedIn | ORCID
Highlights
- Experience – Full work history from 2009 to present
- Education – PhD, M.Sc., and B.Sc. details
- Publications & Talks – Papers, conference talks, and summer schools
- Projects – Open-source contributions organized by area
Community
- ICFP 2024 Artifact Evaluation Committee
- Anoma Research Topics index co-curator
- 9th place, ACM-ICPC 2013 South America Regional
Notes & Ideas
PLT notebook | HoTT cheatsheets | DP compendium