Sobre mí
¡Hola! Soy un computer scientist de Bogotá con experiencia en formal methods, compiler engineering, distributed systems, especificación de protocolos y technical writing. Hice mi PhD en Computer Science en la Universidad de Bergen, donde estudié formal verification y formalización de matemáticas en homotopy type theory, y mi M.Sc. en Matemáticas Aplicadas (Lógica y Algoritmos) en la Universidad EAFIT. Los detalles completos están en la página de experiencia.
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