Home | Jonathan Prieto-Cubides

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.

Interests: functional programming, formal verification, type theory, compiler design, distributed systems, proof assistants, agentic software development.

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

Notes & Ideas

PLT notebook | HoTT cheatsheets | DP compendium