Personal information

No personal information available

Activities

Employment (3)

Heliax AG: Zug, CH

2021-08-01 to present | Research Engineer (Research)
Employment
Source: Self-asserted source
Jonathan Prieto-Cubides

University of Bergen: Bergen, NO

2018-01-01 to 2022-03-01 | Research Fellow (Informatics)
Employment
Source: Self-asserted source
Jonathan Prieto-Cubides

Universidad EAFIT: Medellín, CO

2016-01-01 to 2017-11-01 | Research Assistant (Mathematics)
Employment
Source: Self-asserted source
Jonathan Prieto-Cubides

Works (4)

On planarity of graphs in homotopy type theory

Mathematical Structures in Computer Science
2024-04 | Journal article
Contributors: Jonathan Prieto-Cubides; Håkon Robbestad Gylterud
Source: check_circle
Crossref

Geb Pipeline

2023-08-21 | Report
Contributors: Artem Gureev; Jonathan Prieto-Cubides
Source: Self-asserted source
Jonathan Prieto-Cubides

On homotopy of walks and spherical maps in homotopy type theory

Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs
2022-01-17 | Conference paper
Contributors: Jonathan Prieto-Cubides
Source: Self-asserted source
Jonathan Prieto-Cubides

Dealing with Missing Data using a Selection Algorithm on Rough Sets

International Journal of Computational Intelligence Systems
2018 | Journal article
Part of ISSN: 1875-6883
Contributors: Jonathan Prieto-Cubides; Camilo Argoty
Source: Self-asserted source
Jonathan Prieto-Cubides