Inicio | Jonathan Prieto-Cubides

Sobre mí

¡Hola! Soy ingeniero de software de Bogotá. Trabajo en functional programming, formal verification, distributed systems y agentic software development. Hice mi PhD en Computer Science en la Universidad de Bergen, donde investigué construcciones de teoría de grafos en homotopy type theory con el proof assistant Agda.

Llevo más de 4 años en Heliax AG (Anoma), donde lideré el compilador Juvix desde el primer commit hasta releases estables, contribuí a la especificación del protocolo y, más recientemente, trabajé en EVM smart contracts y prototipos en Elixir/OTP.

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

Para más detalles, consulta mi CV (PDF).

prieto.jona@gmail.com | GitHub | LinkedIn | ORCID

Destacados

Experiencia – Historial laboral completo desde 2009 hasta hoy
Educación – Doctorado, Maestría y Pregrado
Publicaciones y Charlas – Artículos, charlas y escuelas de verano
Proyectos – Contribuciones open source organizadas por área

Notas e Ideas

PLT notebook | HoTT cheatsheets | DP compendium