About me
Hola! I am a computer scientist from Bogotá with experience in formal methods, compiler engineering, distributed systems, and type theory. 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. See the full details on the experience page.
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