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-
Óscar Ramírez
Project: In-silico Multiscale Optimization of Sustainable Agricultural Crops program (ÓMICAS)
Master Student, 2021-
Hernán Carvajal
Master of Science Student, 2018-
Former Advisees
Daniel Cano
Bachelor in Computer Science, 2020
Kevin Díaz
A Geospatial k-anonymity Method for Hexagonal Indexing Systems
Master of Science Student, 2019-
Arturo Duque
Towards an Algorithmic Selection of Spreaders in Twitter
Master of Science, 2018
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
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
Carlos Pinzón
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