About me
Hola! I’m a computer scientist from Bogotá with experience in formal methods, compiler engineering, distributed systems, protocol specification, and technical writing. I hold a PhD in Computer Science from the University of Bergen, where I studied formal verification and formalization of mathematics in homotopy type theory, and an M.Sc. in Applied Mathematics (Logic and Algorithms) from Universidad EAFIT. 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