Publicaciones
- J. Prieto-Cubides, H.R. Gylterud. On Planarity of Graphs in Homotopy Type Theory. Mathematical Structures in Computer Science, 2024.
- J. Prieto-Cubides. Artefact: Mechanised Proofs in Agda for “Investigations into Graph-Theoretical Constructions in Homotopy Type Theory”. 2024.
- J. Prieto-Cubides. Investigations into Graph-Theoretical Constructions in Homotopy Type Theory. Tesis doctoral, Universidad de Bergen, 2023.
- J. Prieto-Cubides. On Homotopy of Walks and Spherical Maps in HoTT. CPP 2022, ACM SIGPLAN.
- T. Heindel, J. Prieto-Cubides, A. Hart. Dynamic Effective Timed Communication Systems. Anoma ART, 2025.
- A. Gureev, J. Prieto-Cubides. Geb Pipeline. Anoma ART, 2023.
- J. Prieto-Cubides, C. Argoty. Dealing with Missing Data Using a Selection Algorithm on Rough Sets. IJCIS, 2018.
- J. Prieto-Cubides. Proof-Reconstruction in Type Theory for Propositional Logic. Tesis de maestría, Universidad EAFIT, 2017.
Charlas
- Investigations on Graph-Theoretical Constructions in HoTT. Bergen Univalent Foundations Meeting, 18-19 noviembre 2021, Bergen, Noruega. [PDF]
- Automatic Theorem Proving, an Act of Trust. ICT Ph.D Forum, 26-27 octubre 2020, Voss, Noruega.
- Pathovers, an Introduction to Dependent Type Theory. Lafayette Topology Seminar, 14 diciembre 2018, Lafayette, EE.UU.
- Proof-Reconstruction in Agda. Agda Implementors’ Meeting XXV, 9-15 mayo 2017, Gotemburgo, Suecia.
- Proof-Reconstruction in Agda. Seminario del grupo de Lógica y Computación, 2017. Universidad EAFIT.
- Model Checking with Alloy. 20 junio 2017. Universidad EAFIT.
- Simple Typed Lambda Calculus. 2017. Universidad EAFIT.
- Kripke Semantics. Seminario del grupo de Lógica y Computación, 2016. Universidad EAFIT.
Summer Schools y Conferencias
- Midlands Graduate School (MGS) online, 12-16 abril 2021.
- UiB ICT Ph.D Forum en Voss, Noruega, 26 octubre 2020.
- HoTT Summer School en Pittsburgh, EE.UU., agosto 2019.
- TYPES 2019 en Oslo, Noruega, junio 2019.
- Midlands Graduate School (MGS) en la Universidad de Birmingham, Reino Unido, abril 2019.
- EUTypes Summer School en Ohrid, Macedonia, 8-12 agosto 2018.
- Agda Implementors’ Meeting XXVII en Gotemburgo, Suecia, 4-9 junio 2018.
- Agda Implementors’ Meeting XXV en Gotemburgo, Suecia, 9-15 mayo 2017.
- ZK Summit 2023 en Londres, Reino Unido. Se presentó el lenguaje Juvix.
© 2026 Jonathan Prieto-Cubides. Actualizado: April 13, 2026.