At Pontificia Universidad Javeriana - Cali (2016-current)
At Pontificia Universidad Javeriana - Cali (2016-current)
ADA - Análisis y Diseño de Algoritmos
AGRA - Árboles y Grafos
BFOM - Bases Formales de la Computación
DIA - Diseño e Implementación de Algoritmos
DFS - Desarrollo Formal de Software
FAP - Fundamentos de Algoritmos y Programación
INMO - Introducción al Modelado de Sistemas
INPR - Introducción a la Programación
At Escuela Colombiana de Ingeniería (2013-2015)
At Escuela Colombiana de Ingeniería (2013-2015)
ALGO - Algoritmos
FMEF - Fundamentos en Métodos Formales
LCAL - Lógica Calculativa
LMAT - Lógica Matemática
PIMO - Programación Imperativa Modular
TPRO - Teoría de la Programación