Current Advisees
Mauricio Peñuela
Project: In-silico Multiscale Optimization of Sustainable Agricultural Crops program (ÓMICAS)
Postdoc, 2020-
Nicolás López
Project: In-silico Multiscale Optimization of Sustainable Agricultural Crops program (ÓMICAS)
Doctoral Student, 2019-
Camila Riccio
Project: In-silico Multiscale Optimization of Sustainable Agricultural Crops program (ÓMICAS)
Doctoral Student, 2019-
Miguel Romero
Project: In-silico Multiscale Optimization of Sustainable Agricultural Crops program (ÓMICAS)
Doctoral Student, 2019-
Hernán Carvajal
Master's Student, 2018-
Kevin Díaz
Master's Student, 2019-
Carlos Pinzón
An Approach to Optimal Discretization of Continuous Real Random Variables with Application to Machine Learning
Master's Student, 2018-
Daniel Cano
Bachelor's Student, 2018-
Juan Quintero
Bachelor's Student, 2018-
Mateo Valencia
Bachelor's Student, 2018-
Former Advisees
Arturo Duque
Towards an Algorithmic Selection of Spreaders in Twitter
Master of Science, 2018
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
Jan Medina
Juan Méndez
SCCP Operational Semantics Implementation using the K-Framework
Bachelor in Computer Science, 2019
Rocío Pérez
Modelos de optimización del programa de intercambio de riñones con múltiples etapas
Master of Science, 2018
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