Current Advisees
Nicolás López
Project: In-silico Multiscale Optimization of Sustainable Agricultural Crops Program (ÓMICAS)
Doctoral Student, 2019-
Juan Fernando Paz
Project: Computational Models of Social Networks for Polarization in Valle del Cauca (PROMUEVA)
Doctoral Student, 2022-
Former Advisees
PostDoc
Mauricio Peñuela
Project: In-silico Multiscale Optimization of Sustainable Agricultural Crops Program (ÓMICAS)
Postdoc, 2020-2023
Mauricio Ramírez
Project: In-silico Multiscale Optimization of Sustainable Agricultural Crops Program (ÓMICAS)
Postdoc, 2021-2023
Ph.D.
Camila Riccio
Dissertation: Identification of Stress-responsive Genes in Differential Co-expression Networks
Ph.D. in Engenineering and Applied Sciences, 2023
Miguel Romero
Dissertation: Hierarchical Multi-label Classification Methods for Gene Function Prediction
Ph.D. in Engineering and Applied Sciences, 2022
Master
Hernán Carvajal
Master of Science Student
Kevin Díaz
A Geospatial k-anonymity Method for Hexagonal Indexing Systems
Master of Science, 2023
Arturo Duque
Towards an Algorithmic Selection of Spreaders in Twitter
Master of Science, 2018
Jan Medina
Rocío Pérez
Modelos de optimización del programa de intercambio de riñones con múltiples etapas
Master of Science, 2018
Carlos Pinzón
Bachelor
Daniel Cano
Bachelor in Computer Science, 2020
Juan Escobar
Traducción automática a Python de modelos correctos de Event-B en la plataforma Rodin
Bachelor in Computer Science, 2020
Norbey Gallego
Especificación de Modelos de Generación de Redes en Lógica de Reescritura
Bachelor in Computer Science, 2020
Hernán Losada
EB2Python - Traducción automática de especificaciones Event-B en Rodin a Python
Bachelor in Computer Science, 2018
Daniela Martínez
An approach for estimating real estate market dynamics
Bachelor in Electrical Engineering, 2019
Carlos Mera
Reconstrucción de interacciones proteína-proteína basada en descomposición de cadenas de aminoácidos
Bachelor in Computer Science, 2022
Juan Méndez
SCCP Operational Semantics Implementation using the K-Framework
Bachelor in Computer Science, 2019
Daniel Osorio
Bachelor in Computer Science, 2023
Sergio Ramírez
Especificación formal y verificación de invariantes para un protocolo de coherencia del caché
Bachelor in Mathematics, 2015
Miguel Romero
Bachelor in Computer Science, 2018
Mateo Sanabria
Una semántica formal para Apache Spark en lógica de reescritura
Bachelor in Mathematics, 2018
Mateo Valencia
Bachelor in Computer Science, 2020