Project: In-silico Multiscale Optimization of Sustainable Agricultural Crops Program (ÓMICAS)

Doctoral Student, 2019-

Project:  Computational Models of Social Networks for Polarization in Valle del Cauca (PROMUEVA)

Doctoral Student, 2022-

Project: In-silico Multiscale Optimization of Sustainable Agricultural Crops Program (ÓMICAS)

Postdoc, 2020-2023

Project: In-silico Multiscale Optimization of Sustainable Agricultural Crops Program (ÓMICAS)

Postdoc, 2021-2023

Dissertation: Identification of Stress-responsive Genes in Differential Co-expression Networks

Ph.D. in Engenineering and Applied Sciences, 2023

Dissertation: Hierarchical Multi-label Classification Methods for Gene Function Prediction 

Ph.D. in Engineering and Applied Sciences, 2022

Master of Science Student

A Geospatial k-anonymity Method for Hexagonal Indexing Systems

Master of Science, 2023

Towards an Algorithmic Selection of Spreaders in Twitter

Master of Science, 2018

Estimating Formation Mechanisms and Degree Distributions in Mixed Attachment Networks [JPhysA , 52 (9)]

Master of Science, 2018

Modelos de optimización del programa de intercambio de riñones con múltiples etapas

Master of Science, 2018

An Approach to Optimal Discretization of Continuous Real Random Variables with Application to Machine Learning

Master of Science, 2020

Modelo de redes complejas y aprendizaje automático para optimización in-silico de la resistencia de Zea mays (maíz) a Puccinia sorghi (roya común del maíz)

Master of Science, 2023

Analítica y asociación de datos para eventos criminales geo-referenciados en la malla vial de Medellín

Bachelor in Computer Science, 2020

Traducción automática a Python de modelos correctos de Event-B en la plataforma Rodin

Bachelor in Computer Science, 2020

Especificación de Modelos de Generación de Redes en Lógica de Reescritura

Bachelor in Computer Science, 2020

EB2Python - Traducción automática de especificaciones Event-B en Rodin a Python

Bachelor in Computer Science, 2018

An approach for estimating real estate market dynamics

Bachelor in Electrical Engineering, 2019

Reconstrucción de interacciones proteína-proteína basada en descomposición de cadenas de aminoácidos

Bachelor in Computer Science, 2022

SCCP Operational Semantics Implementation using the K-Framework

Bachelor in Computer Science, 2019

EventB2Maude: Probabilistic Modeling and Statistical Model Checking for Event-B with Probabilistic Rewrite Theories and MultiVeStA

Bachelor in Computer Science, 2023

Especificación formal y verificación de invariantes para un protocolo de coherencia del caché

Bachelor in Mathematics, 2015

Una semántica ejecutable en lógica de reescritura para programación espacial concurrente por restricciones (SCCP)

Bachelor in Computer Science, 2018

Una semántica formal para Apache Spark en lógica de reescritura

Bachelor in Mathematics, 2018

Analítica y asociación de datos para eventos criminales geo-referenciados en la malla vial de Medellín

Bachelor in Computer Science, 2020