Publications
- 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. PhD Thesis, University of 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. M.Sc. Thesis, Universidad EAFIT, 2017.
Talks
- Investigations on Graph-Theoretical Constructions in HoTT. Bergen Univalent Foundations Meeting, 18-19 November 2021, Bergen, Norway. [PDF]
- Automatic Theorem Proving, an Act of Trust. ICT Ph.D Forum, 26-27 October 2020, Voss, Norway.
- Pathovers, an Introduction to Dependent Type Theory. Lafayette Topology Seminar, 14 December 2018, Lafayette, USA.
- Proof-Reconstruction in Agda. Agda Implementors’ Meeting XXV, 9-15 May 2017, Gothenburg, Sweden.
- Proof-Reconstruction in Agda. Logic and Computation group seminar, 2017. Universidad EAFIT.
- Model Checking with Alloy. June 20, 2017. Universidad EAFIT.
- Simple Typed Lambda Calculus. 2017. Universidad EAFIT.
- Kripke Semantics. Logic and Computation group seminar, 2016. Universidad EAFIT.
Summer Schools & Conferences
- Midlands Graduate School (MGS) in Cyberspace, 12-16 April 2021.
- UiB ICT Ph.D Forum in Voss, Norway, 26 October, 2020.
- HoTT Summer School in Pittsburgh, USA, August 2019.
- TYPES 2019 in Oslo, Norway, June 2019.
- Midlands Graduate School (MGS) at University of Birmingham, UK, April 2019.
- EUTypes Summer School in Ohrid, Macedonia, 8-12 August 2018.
- Agda Implementors’ Meeting XXVII in Gothenburg, Sweden, 4-9 June 2018.
- Agda Implementors’ Meeting XXV in Gothenburg, Sweden, 9-15 May 2017.
- ZK Summit 2023 in London, UK. The Juvix programming language was presented.
© 2026 Jonathan Prieto-Cubides. Last updated: April 10, 2026.