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.