Publications

• J. Prieto-Cubides, H.R. Gylterud. On Planarity of Graphs in Homotopy Type Theory [doi:10.1017/S0960129524000100]. Mathematical Structures in Computer Science, 2024.
• J. Prieto-Cubides. Artefact: Mechanised Proofs in Agda for "Investigations into Graph-Theoretical Constructions in Homotopy Type Theory" [doi:10.5281/zenodo.11092174]. 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 [doi:10.1145/3497775.3503671]. CPP 2022, ACM SIGPLAN.
• T. Heindel, J. Prieto-Cubides, A. Hart. Dynamic Effective Timed Communication Systems [doi:10.5281/zenodo.14984148]. Anoma ART, 2025.
• A. Gureev, J. Prieto-Cubides. Geb Pipeline [doi:10.5281/zenodo.8262747]. Anoma ART, 2023.
• J. Prieto-Cubides, C. Argoty. Dealing with Missing Data Using a Selection Algorithm on Rough Sets [doi:10.2991/ijcis.11.1.97]. IJCIS, 2018.
• J. Prieto-Cubides. Mailbox Actors. Work in progress.
• J. Prieto-Cubides. Proof-Reconstruction in Type Theory for Propositional Logic [doi:10.5281/zenodo.1127672]. M.Sc. Thesis, Universidad EAFIT, 2017.

Talks

• Investigations on Graph-Theoretical Constructions in HoTT. Bergen Univalent Foundations Meeting, 18-19 November 2021, Bergen, Norway.
• 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 and 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, London, UK. Presented the Juvix programming language.