At Pontificia Universidad Javeriana - Cali

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

• AGRA - Árboles y Grafos
• 2018-2, 2019-1, 2019-2

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

• DIA - Diseño e Implementación de Algoritmos
• 2019-1

• DFS - Desarrollo Formal de Software
• 2018-1

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

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

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

At Escuela Colombiana de Ingeniería - Bogotá

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

• FMEF - Fundamentos en Métodos Formales
• 2017-2, 2018-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