Courses (at Pontificia Universidad Javeriana - Cali)

• ADA - Análisis y Diseño de Algoritmos
• 2016-1, 2016-2, 2017-1, 2017-2, 2018-1

• BFOM - Bases Formales de la Computación
• 2017-2

• DFS - Desarrollo Formal de Software
• 2018-1

• FAP - Fundamentos de Algoritmos y Programación
• 2017-1, 2018-1

• INMO - Introducción al Modelado de Sistemas
• 2016-2, 2017-1, 2017-2

• INPR - Introducción a la Programación
• 2016-1

Courses (at Escuela Colombiana de Ingeniería)

• ALGO - Algoritmos
• 2014-1, 2015-1

• FMEF - Fundamentos en Métodos Formales
• 2017-2

• LCAL - Lógica Calculativa
• 2013-2, 2014-1, 2014-2, 2015-1, 2015-2

• LMAT - Lógica Matemática
•  2013-2, 2014-2, 2015-2

• PIMO - Programación Imperativa Modular
• 2013-1, 2013-2, 2014-1, 2014-2, 2015-1, 2015-2

• TPRO - Teoría de la Programación
• 2013-1