Personal information
No personal information available
Activities
Employment (3)
2021-08-01
to
present
|
Research Engineer
(Research)
Employment
Source:
Jonathan Prieto-Cubides
2018-01-01
to
2022-03-01
|
Research Fellow
(Informatics)
Employment
Source:
Jonathan Prieto-Cubides
2016-01-01
to
2017-11-01
|
Research Assistant
(Mathematics)
Employment
Source:
Jonathan Prieto-Cubides
Works (4)
Mathematical Structures in Computer Science
2024-04
|
Journal article
Contributors:
Jonathan Prieto-Cubides;
Håkon Robbestad Gylterud
Source:
check_circle
Crossref
Source:
Jonathan Prieto-Cubides
Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs
2022-01-17
|
Conference paper
Contributors:
Jonathan Prieto-Cubides
Source:
Jonathan Prieto-Cubides
International Journal of Computational Intelligence Systems
2018
|
Journal article
Contributors:
Jonathan Prieto-Cubides;
Camilo Argoty
Source:
Jonathan Prieto-Cubides