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